Статья Халес's [автор показал, что гипотеза Кеплера] состоит из примерно 120 страниц обычной математике. Но это компьютерная программа, которая анализирует около 5000 остальных случаях, для которых нужно оптимизировать функции более чем 200 переменных. После нескольких лет работы Комитета экспертов, которые Annals [Математика] поручил пересмотреть статью выбросил в ринг полотенце, чувствуя себя не в состоянии тщательно изучить каждую деталь в разумные сроки, задача, которая по сравнению с сборе, одно одна, точность всех данных из телефонной книги Нью-Йорке.

Но комитет осуществил соответствующие количества проверок для поддержания их вера в правильность испытаний, скажем, с 99% вероятностью. Но достаточно ли этого?

Математическое доказательство цепь рассуждений, иногда очень долго, принимая нас от отправной гипотезы в теорию заезда, которые, вероятно, будет связана всеми, кто имеет время и соответствующей подготовки. Но это не является испытанием Халес. Летопись является огромной дилеммой, и ее решение не может удовлетворить эклектических многое: издает архетип, что соответствует традиционному, но добавляет, предупредив, что редакционные испытания, зависит от программы, которая появляется на другом компьютере журнала. Редакторы отмечают, что это тот случай приближения математики к практике экспериментальная наука, как проверка на компьютере должна быть сделано с критериями, в которой подтверждает опыт, но не с традиционными Математика.

Летописи многовекового раз в два месяца журнал опубликовал в Принстоне (США) совместно с университетом и Институтом перспективных исследований. Требования к их отображение на страницах очень строгие: она должна быть соответствующим результат, показанный с оригинальными методами. Неудивительно, что является предметом опубликованы в Annals желания для математиков и стремиться к их достижению лучших результатов.

Задержка между прибытием и публикация статьи, составляет около двух лет, но это факт, что Annals совместно с другими журналы, которые уже не столько средство коммуникации, так как результаты циркулирующего чистой перед , но гарантия качества. Это сейчас основная причина лучшие журналы. Но это меньшинство, большинство из них гораздо более расслабленной критериям: таким образом, что их публикации нередко простого шума и длительный.

В отличие от доказательства теоремы Ферма, которая требовала плодовитый современный математический гений, я думаю, что доказательство гипотезы Кеплера, не отвлекая тем самым от работы Халес, были проведены на протяжении веков имели Расчет инструментов, которые мы теперь находятся в пределах нашей досягаемости. Означает ли это показать, что мы находимся на пороге новой эры, когда машина будет отвечать за доказательства теорем? Математиков Endangered Species?

Честно говоря, я думаю, что ответом будет решительное "нет", хотя общеизвестно, что компьютер является бесценным инструментом, почти незаменимым помощником в текущем исследовании. Но это возможно, и я бы сказал, весьма желательно, чтобы машины в будущем заботиться о рутине и много много событий демонстрации клонические слишком заняты сохранением математиками, которые неустанно Банальность после Банальность опубликован. Заполнение продолжается, с взаимным ссылок, регистрации этого гротескного публичный которая базируется в Филадельфии. Дата выхода на машинах, могли эти художники, после хорошего примера Уайлс и Халес, направить свои усилия на решении действительно сложных и интересных проблем, которые состоятся позднее в "Трудах математики.