Наибольший математическое доказательство в истории

Венгерский математик Пол Эрдос, один из крупнейших в XX веке, нетерпеливо рассказывал о книге книг, в которой Бог сохраняет совершенные доказательства математических теорем. И это выглядит как доказательство одного из утверждений Эрда, известного как проблема последовательности ± 1, что, видимо, происходит из той книги, только представленной учеными из Ливерпульского университета, Алексеем лисицы и Борисом Конева. Это потому, что доказательств больше, чем Википедия, и ровно «весит» аж 13 гигабайт на диске.

Для ученых это не только запись о "размер" математического доказывания, но и превышение пределов "математики человека". Лисица говорит об этом открыто, называя аргумент, который они опубликовали, чем "бесчеловечным" со своим коллегой. Они сами использовали компьютер с большой вычислительной мощностью для проведения доказывания, для анализа последовательности цифр понадобилось 6:00, а результат — доказательство в виде документа на три гигабайта, больше все Википедию, объем которой оценивается в 10 гигабайт.

Проверка доказательств теоремы Эрда человеком это займет много лет и, видимо, не является вариантом. Поэтому вам нужен еще больший компьютер & # 39; Компьютер, который будет генерировать еще больше файл для этого. Поэтому мысли о "нечеловеческую" математику, вероятно, оправданы.

Logo