Принцип неопределенности Гейзенберга проявляется только на атомных масштабах, когда измерения с высокой точностью приобретают решающее значение. Следовательно, значительная часть физики может продолжать развиваться по-прежнему, в то время как квантовые физики занимаются изучением глубоких вопросов относительно пределов знания. То же самое происходит и в мире математики. В то время как логики ведут доступные пониманию лишь посвященных дискуссии о неразрешимости, остальная часть математического сообщества продолжает свои исследования, не обращая внимание на то, что происходит у логиков. Хотя Гёдель доказал, что существуют некоторые недоказуемые утверждения, в математике существует предостаточно доказуемых утверждений, и его открытие не обесценило доказанных в прошлом теорем. Кроме того, многие математики были убеждены в том, что неразрешимые утверждения Гёделя существуют только в самых «темных» областях математики, находящихся где-то на ее периферии, и что такие неразрешимые утверждения, возможно, никогда не встретятся ни одному математику. Ведь Гёдель утверждал лишь, что такие утверждения существуют, но не привел ни одного из них в качестве примера. Но в 1963 году предсказанный Гёделем теоретический кошмар стал реальностью.
Пауль Коэн, двадцатидевятилетний математик из Стэнфордского университета, разработал метод, позволяющий проверять разрешимость того или иного вопроса. Метод Коэна работает в некоторых весьма специальных случаях, но тем не менее Коэн был первым, кому удалось обнаружить конкретные неразрешимые вопросы. Совершив это открытие, Коэн немедленно вылетел в Принстон. Он хотел, чтобы правильность его работы проверил сам Гёдель. К тому времени Гёдель был тяжело болен (диагноз медиков гласил: паранойя). Он лишь слегка приоткрыл дверь, вырвал из рук Коэна бумаги и захлопнул дверь. Через два дня Коэн получил приглашение в дом Гёделя на чай — знак того, что маэстро скрепил доказательство печатью своего авторитета. Особый драматизм ситуации придало то обстоятельство, что некоторые из неразрешимых вопросов занимают в математике центральное место. По иронии судьбы, Коэн доказал неразрешимость одной из двадцати трех проблем Гильберта — гипотезы континуума.
Работа Гёделя, дополненная неразрешимыми проблемами Коэна, стала тревожным посланием всем математикам, профессионалам и любителям, которые продолжали свои попытки доказать Великую теорему Ферма. А что, если Великая теорема Ферма неразрешима?! А вдруг Пьер де Ферма заблуждался, когда утверждал, что располагает доказательством? Если так, то доказательство Великой теоремы Ферма может оказаться не просто трудным, а невозможным. Если Великая теорема Ферма неразрешима, то математики столетиями пытались найти доказательство, которое не существует.
Интересно заметить, что если бы Великая теорема Ферма оказалась неразрешимой, то отсюда следовало бы, что она истинна. Причина заключается в следующем. Великая теорема Ферма утверждает, что уравнение
xn + yn = zn
при n, бóльших 2, не имеет решений в целых числах. Если бы Великая теорема Ферма оказалась ложной, то доказать ее было бы можно, предъявив решение (контрпример). Это означало бы, что Великая теорема Ферма разрешима. Итак, если бы теорема была ложной, то это противоречило бы ее неразрешимости. Но если бы Великая теорема Ферма была истинной, то столь определенный способ ее доказательства не обязательно существовал бы, т. е. она могла бы быть неразрешимой. Следовательно, может оказаться, что Великая теорема Ферма истинна, но не существует способа доказать ее.
Заметка на полях «Арифметики» Диофанта, сделанная рукой Пьера де Ферма, породила одну из самых трудных головоломок в истории математики. Несмотря на триста лет блистательных провалов и предположение Гёделя о том, что возможно, охота идет за несуществующим доказательством, проблема Ферма по-прежнему неудержимо привлекала некоторых математиков. Великая теорема Ферма была математической сиреной, манившей гениев только для того, чтобы вдребезги разбить их надежды. Всякий математик, решивший заняться Великой теоремой Ферма, рисковал напрасно потратить свои наиболее активные годы. Но тот, кому удалось бы совершить решающий прорыв, вошел бы в историю, как человек, нашедший решение самой трудной задачи в мире.
Великая теорема Ферма захватила помыслы поколений математиков по двум причинам. Во-первых, ими двигало неудержимое желание продемонстрировать свое превосходство. Великая теорема Ферма была неоспоримым критерием, и всякий, кто сумел бы ее доказать, добился бы успеха там, где потерпели неудачу Коши, Эйлер, Куммер и многие другие математики. Подобно тому, как сам Ферма получал величайшее удовольствие от решения задач, ставивших в тупик его современников, тот, кому удалось бы найти доказательство Великой теоремы Ферма мог бы порадоваться тому, что сумел решить проблему, которая несколько веков возвышалась неприступной крепостью перед математическим сообществом. Во-вторых, каждый, кому удалось бы ответить на вызов Ферма, мог бы испытать чувство неслыханного удовлетворения от того, что сумел решить труднейшую головоломку. Восторг, получаемый от решения сложнейшей проблемы теории чисел, доступной только пониманию посвященных, мало чем отличается от простой радости от решения тривиальных головоломок Сэма Лойда. Один математик как-то поведал мне, что удовольствие, получаемое им от решения математических проблем, имеет много общего с удовольствием, получаемым от решения кроссвордов. Заполнение последних пустых клеточек особенно трудного кроссворда всегда приносит удовлетворение — но какую же радость должен испытывать тот, кто после многих лет безуспешных попыток решить головоломку, которую до него не удавалось решить никому в мире, все-таки сумел найти решение.
По этим же самым причинам Эндрю Уайлс оказался околдованным волшебными чарами Великой теоремы Ферма: «Те, кто занимаются чистой математикой, любят вызов. Они в восторге от нерешенных проблем. Когда Вы занимаетесь математикой, Вами овладевает это великое чувство. Вы начинаете с проблемы, которая представляет для вас полную загадку. Вы не можете ее понять — настолько она сложна, Вы не имеете ни малейшего понятия о том, как к ней подступиться. Но вот, наконец, Вам удается решить ее, и Вас охватывает непередаваемое ощущение ее красоты, изящества и соразмерности деталей и целого. Самыми коварными следует считать те задачи, которые кажутся простыми, но на самом деле оказываются необычайно трудными. Великая теорема Ферма — самый прекрасный пример такого рода проблем. Она выглядит так, будто доказательство должно существовать, и к тому же обладает особенной загадочностью: Ферма утверждал, что нашел ее доказательство».
Математика находит многочисленные приложения в науке и технике, но не они служат главным стимулом развития. Ученых вдохновляет радость открытия. Г. Г. Харди в своей книге «Апология математика» попытался объяснить эту особенность науки и оправдать свою деятельность чистого математика:
«Я только хочу сказать, что если шахматная задача, грубо говоря, «бесполезна», то столь же бесполезна и значительная часть самой лучшей математики… Я никогда не делал ничего «полезного». Ни одно из моих открытий ни на йоту не изменило (и вряд ли изменит), прямо или косвенно, в лучшую или в худшую сторону, прелести мира. Если судить по практическим меркам, то ценность моей математической жизни равна нулю, но в любом случае вне математики она и вовсе бессодержательна. У меня только один шанс избежать вердикта полной бесполезности — если люди сочтут, что мне удалось создать нечто, достойное быть созданным. То, что я создал кое-что, не подлежит сомнению, — вопрос лишь в том, насколько ценно то, что я создал».
В основе стремления решить любую математическую проблему лежит главным образом любопытство, а наградой служит простое, но огромное удовлетворение. Математик Э.Ч. Титчмарш однажды сказал: «От того, что мы знаем, что некоторое число иррационально, нет никакой практической пользы, но если мы можем знать нечто, то не знать этого становится невыносимо».
В случае Великой теоремы Ферма недостатка в любопытстве не было. Работа Гёделя о неразрешимости внесла элемент сомнения в вопрос о том, разрешима ли проблема Ферма, но истинных фанатиков Великой теоремы Ферма это ничуть не разочаровало. Гораздо более разочаровывающим было то, что с 30-х годов математики исчерпали все имевшиеся у них методы, а новых методов появилось явно недостаточно.
Вторая мировая война обусловила гигантский скачок в развитии со времен изобретения логарифмической линейки. И следующим этапом в направлении доказательства теоремы Ферма стало развитие вычислительной техники и криптографии.
