Теренс Тао лучше разбирается в математике, чем в компьютере (Image & colon; Steve Jennings / Getty Images for Breakthrough Prize)
Читать дальше & двоеточие; Нажмите здесь, чтобы прочитать оригинальную, более длинную версию этой истории ,
Проблема MATHS, ранее решавшаяся с помощью компьютера, который создавал чудовищное доказательство размером с Википедию, теперь стала управляемой человеком. Хотя это вряд ли имеет практическое применение, результат подчеркивает различия между двумя современными подходами к математике и двоеточию; краудсорсинг и компьютеры.
Теренс Тао из Калифорнийского университета в Лос-Анджелесе опубликовал доказательство проблемы несоответствия Эрда, головоломку о свойствах бесконечной случайной последовательности +1 и -1.
Реклама
В 1930-х годах венгерский математик Пауль Эрдос задавался вопросом, всегда ли такая последовательность будет содержать шаблоны и структуру в случайности. Один из способов измерить это - вычислить значение, известное как расхождение. Это включает в себя суммирование всех +1 и -1 в каждой возможной подпоследовательности. Вы могли бы подумать, что плюсы и минусы отменили бы до нуля, но Эрдос сказал, что по мере увеличения ваших подпоследовательностей эта сумма должна возрастать. На самом деле, он сказал, что расхождение будет бесконечным, то есть вы должны будете добавить навсегда.
В прошлом году Алексей Лисица и Борис Конев из Университета Ливерпуля, Великобритания, использовали компьютер, чтобы доказать, что расхождение всегда будет больше двух. Получившимся доказательством стал файл размером 13 гигабайт - размером с весь текст Википедии - который никто не мог проверить.
Тао, с помощью краудсорсинга, использовал более традиционную математику, чтобы доказать, что Эрдо был прав и двоеточен; расхождение бесконечно, независимо от того, какую последовательность вы выбираете ( arxiv.org/abs/1509.05363 ).
Лисица хвалит Тао за то, что он не смог сделать его алгоритм. «Это типичный пример человеческой математики высокого класса», - говорит он. Но математики все чаще обращаются к машинам за помощью, и эта тенденция, вероятно, сохранится.
Эта статья появилась в печати под заголовком «Математическая задача размером с Википедию»
Похожие
Графическая студия Michał Bąk | Познакомьтесь с нами с лучших сайтовВаш браузер не поддерживает тег видео. Я предлагаю вам обновить свой браузер. Ваш браузер не поддерживает тег видео. Я предлагаю вам обновить свой браузер. Познакомьтесь с нами с лучших сайтов Наше предложение Мы проводим комплексную, разнонаправленную маркетинговую деятельность. Мы реализуем проекты, подчиненные Что такое реклама одежды и для чего она нужна?
... реклама одежды, не осознавая этого факта. Одежда, помеченная логотипом или рекламным слоганом как форма продвижения и укрепления отношений с брендом, используется уже много лет. Хотя одежда для компаний также имеет множество других применений, главная цель - привлечь внимание нынешних и потенциальных клиентов компании. Есть несколько категорий, все менее и более популярных, одежда с логотипом компании, на которые стоит обратить внимание, это рекламные футболки, фирменные