Доказательство теоремы ошибочно - Великая теорема Ферма

Едва Уайлс закончил свою лекцию в Кембридже, как комиссию Вольфскеля известили о том, что Великая теорема Ферма, наконец, доказана. Премия не могла быть вручена немедленно, так как, по правилам конкурса, ясным и четким, требовались подтверждение правильности доказательства со стороны других математиков и официальная публикация доказательства. Королевское научное общество в Геттингене в свое время официально уведомило всех о том, что "к рассмотрению допускаются только математические мемуары, представленные в виде статей в периодических изданиях или имеющиеся в книжных лавках... Премия присуждается Обществом не ранее, чем через два года после опубликования мемуара, удостоенного премии. Двухлетний промежуток времени необходим для того, чтобы немецкие и иностранные математики имели возможность высказать свое мнение по поводу опубликованного решения".

Доказательство представляло собой гигантскую цепочку рассуждений, весьма хитроумно выстроенных из сотен математических вычислений, склеенных воедино логическими связями. Если всего лишь одно вычисление оказалось бы ошибочным, или одно звено разорвалось, то все доказательство могло бы обесцениться. Уайлс, вернувшийся в Принстон, с беспокойством ждал, когда рецензенты завершат свою работу. "Мне не хотелось праздновать победу до тех пор, пока проверка не будет закончена. Я занимался, в основном, ответами на вопросы, которые получал по электронной почте от рецензентов. У меня была уверенность, что ни один из этих вопросов не доставит мне особых хлопот". Прежде чем предоставить доказательство референтам, Уайлс проверил и перепроверил его сам, и поэтому был уверен, что те вряд ли сумеют обнаружить в его рукописи что-нибудь, кроме математического эквивалента грамматических ошибок или опечаток -- тривиальных ошибок, которые он сможет легко исправить.

"Вопросы возникали вплоть до августа, -- вспоминает Катц, -- пока я не наткнулся на нечто, показавшееся еще одной небольшой проблемой. Где-то около 23 августа я отправил Эндрю запрос по электронной почте. Проблема оказалась несколько более сложной, поэтому ответ Эндрю прислал по факсу. Меня этот ответ не удовлетворил, поэтому я еще раз направил Эндрю запрос по электронной почте и получил еще один ответ по факсу, который меня также не удовлетворил".

Уайлс поначалу предполагал, что очередная ошибка столь же несерьезна, как и предыдущие, но настойчивость Катца вынудила отнестись к ней серьезнее: "Я не мог немедленно ответить на заданный мне вопрос, который выглядел вполне невинно. Мне казалось, что вопрос того же порядка, что и другие, но где-то в сентябре я начал понимать, что речь шла не о какой-то незначительной трудности, а о фундаментальном пробеле. Это была ошибка в решающей части рассуждения, связанного с использованием метода Колывагина-Флаха, но настолько тонкая, что я заметил ее только после того, как мне ее указали. Описать, в чем суть ошибки в простых терминах невозможно: для этого она слишком абстрактна. Даже для того, чтобы объяснить ее математику, от последнего потребовалась бы готовность затратить два-три месяца для тщательного изучения рукПо существу, проблема сводилась к тому, что метод Колывагина-Флаха мог не сработать так, как было необходимо Уайлсу. Предполагалось, что доказательство, полученное для первых элементов E-рядов эллиптических кривых, и M-рядов модулярных форм, допускает обобщение на все элементы E - и M-рядов, что и позволяло применять принцип математической индукции. Первоначально метод Колывагина-Флаха был применим только при определенных ограничительных условиях, но Уайлс полагал, что ему удалось усилить метод настолько, что тот удовлетворял всем необходимым требованиям. По словам Катца, в действительности это было не так, и последствия были драматическими и опустошительными. Обнаруженная ошибка не обязательно означала, что доказательство Уайлса нельзя спасти, но одно было несомненно: Уайлсу было необходимо восполнить существенный пробел в доказательстве. Абсолютизм математики требовал, чтобы Уайлс дал не оставляющее ни малейших сомнений доказательство того, что предложенный им метод применим к каждому элементу любого E-ряда и любого M-ряда.

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

Уайлс признался Питеру Сарнаку, что ситуация становится отчаянной и он готов признать поражение. Сарнак был склонен думать, что трудности Уайлса отчасти обусловлены его одиночеством: у Уайлса не было надежного человека, с которым он мог бы "перебрасываться" идеями, который вдохновлял бы Уайлса исследовать не столь прямые подходы. Сарнак посоветовал Уайлсу довериться кому-нибудь и попытаться еще раз восполнить пробел. Уайлсу был необходим специалист, свободно владеющий методом Колывагина-Флаха и способный, к тому же, хранить тайну. По зрелом размышлении Уайлс решил пригласить к себе в Принстон для совместной работы Ричарда Тейлора, ученого из Кембриджского университета.

Тейлор был одним из рецензентов, проверявших доказательство. Кроме того, он был бывшим аспирантом Уайлса, поэтому Уайлс питал к нему двойное доверие.

В январе Уайлс с помощью Тейлора снова без устали исследовал метод Колывагина-Флаха, пытаясь найти выход из создавшегося затруднения. Иногда, после нескольких дней упорнейших усилий, Уайлс и Тейлор вступали на новую территорию, но неизбежно возвращались к исходному пункту. Проникая все дальше и дальше вглубь неизвестной территории и возвращаясь каждый раз туда, откуда они выходили, Уайлс и Тейлор осознали, что находятся в самом центре невообразимо огромного лабиринта. Больше всего они боялись, что этот лабиринт бесконечен, что из него нет выхода и они обречены бесцельно блуждать до скончания времени.

Весной 1994 года, когда казалось, что ситуация не может быть хуже, на экраны компьютеров всего мира поступило следующее сообщение по электронной почте:

Похожие статьи




Доказательство теоремы ошибочно - Великая теорема Ферма

Предыдущая | Следующая