Был конец дня. Дядя весь день пробыл у себя, склонившись в кресле и рассматривая выложенные на полу прямоугольники бобов, уйдя в свои мысли, когда в дверь постучали.
– Профессор Папахристос?
Появилась белокурая голова. У Петроса была хорошая зрительная память, и он сразу узнал молодого бегуна, который рассыпался в извинениях, что побеспокоил.
– Вы меня простите ради Бога за такое вторжение, – сказал молодой человек, – но мне отчаянно нужна ваша помощь.
Петрос сильно удивился – он считал, что его присутствие в Кембридже мало кем замечено. Он не был знаменит, не был даже известен и, если не считать его почти ежевечерних посещений шахматного клуба, ни с кем, кроме Харди и Литлвуда, не обменялся и двумя словами.
– Моя помощь – в чем?
– А, в расшифровке трудного немецкого текста – математического текста. – И молодой человек снова пустился в извинения, что растрачивает время профессора на такие мелочи. Но эта статья так для него важна, и, когда он услышал, что в Тринити-колледже есть его старший коллега из Германии, он не мог удержаться и не попросить его помощи в этом крайне необходимом ему переводе.
В его манере было что-то настолько подкупающее детское, что профессор Папахристос не смог ему отказать.
– Буду рад вам помочь, если это в моих силах. Из какой области статья?
– Формальная логика, профессор.
Петрос был рад услышать, что не из теории чисел, – он было испугался, что молодой коллега хочет выпытать секреты его работы над Проблемой, использовав статью как предлог. Поскольку Петрос уже более или менее закончил свою дневную работу, он предложил молодому посетителю кресло.
– Как, вы сказали, вас зовут? Алан Тьюринг, профессор. Я студент. Тьюринг протянул ему журнал со статьей, открытый на нужной странице.
– A, «Monatshefte fur Mathematik und Physik», сказал Петрос. – «Ежемесячный обзор математики и физики» – издание весьма почтенное. Так, название статьи, как я вижу, «Uber formal unentscheidbare Satce der Principia Mathematica und verwandter Systeme». В переводе это будет… так, минутку… «О формально неразрешимых предложениях
Тьюринг поднял на дядю удивленные глаза.
– Разве вы никогда не слышали об этой статье, профессор?
Петрос улыбнулся:
– Дорогой мой, математика тоже заражена этой современной чумой – сверхспециализацией. Боюсь, что понятия не имею о современных достижениях формальной логики, да и других областей математики, если на то пошло. Увы, за пределами теории чисел я полный профан.
– Но, профессор, – возразил Тьюринг, – теорема Гёделя интересна всем математикам, а специалистам по теории чисел – особенно! Ее первые приложения относились к самым основам арифметики, аксиомам Пеано-Дедекинда.
К полному изумлению Тьюринга, Петрос и об аксиомах Пеано-Дедекинда имел довольно смутное представление. Как и любой работающий математик, он считал формальную логику – дисциплину, основным предметом которой является сама математика, – занятием с явно раздутой репутацией, если вообще не бесполезным. Бесконечные попытки строгих обоснований и пересмотра основных принципов он воспринимал как пустую трату времени. Его отношение к этим вопросам лучше всего иллюстрировала народная мудрость «не чини то, что не сломано». Дело математика – доказывать теоремы, а не постоянно жевать мысли о состоянии их невысказанных и не подвергаемых сомнению основ.
Но горячность, с которой говорил молодой посетитель, возбудила любопытство дяди Петроса.
– А что такое доказал этот юный мистер Гёдель, что представляет интерес для теории чисел?
– Он решил проблему полноты, – доложил Тьюринг с горящими глазами.
Петрос улыбнулся. Проблема полноты – не что иное, как стремление формально доказать, что все истинные утверждения в конце концов доказуемы.
– Это хорошо, – вежливо согласился Петрос. – Я вам должен сказать тем не менее – никак не желая оскорбить мистера Гёделя, конечно, – что для работающего ученого полнота математики всегда была очевидной. Все же приятно знать, что кто-то наконец сел и ее доказал.
Но Тьюринг уже неистово мотал головой, и лицо его раскраснелось от возбуждения.
– Вот в том-то и дело, профессор Папахристос! Гёдель ее не доказал!
Петрос не понял.
– Извините, мистер Тьюринг… Вы только что сами сказали, что этот молодой человек решил проблему полноты? Я ведь не ослышался?
– Да, профессор, но вопреки ожиданиям всех – в том числе Гильберта и Рассела – он ее решил в отрицательном смысле! Он доказал, что арифметика и все математические теории не полны!
Петрос не настолько был знаком с концепциями формальной логики, чтобы сразу оценить все вытекающие следствия.
– Простите?
Тьюринг опустился на колени рядом с креслом Петроса и стал тыкать пальцами в хитросплетения символов в статье Гёделя.
– Вот: этот гений доказал – окончательно доказал! – что какие бы аксиомы ни принять, теория чисел с необходимостью будет содержать недоказуемые предложения!
– То есть, вы хотите сказать, ложные предложения?
– Нет, я хочу сказать – истинные предложения; истинные, но такие, которые невозможно доказать!
Петрос вскочил на ноги.
– Это невозможно!
– Но это так, и доказательство тому здесь, на этих пятнадцати страницах: «Истина не всегда доказуема»!
У моего дяди внезапно закружилась голова.
– Но этого… этого не может быть!
Он принялся лихорадочно листать журнал, пытаясь сразу постигнуть изощренные рассуждения статьи, и бормотал про себя, начисто забыв о молодом человеке:
– Мерзость… аномалия… извращение… Тьюринг довольно улыбнулся.
– Все математики поначалу так реагируют. Но Рассел и Уайтхед проанализировали доказательство Гёделя и объявили его безупречным. На самом деле они употребили слово «совершенство».
– «Совершенство»? – скривился Петрос. – Но если он это доказал – то есть действительно доказал, во что я отказываюсь верить, то это – конец математики!
Много часов Петрос пропотел над кратким, но донельзя насыщенным текстом. Он переводил, а Тьюринг объяснял незнакомые ему концепции формальной логики, лежащие в основе рассуждений Гёделя. Закончив перевод, они снова начали сначала, разбирая доказательство шаг за шагом. Петрос отчаянно искал погрешность в рассуждениях.
Это стало началом конца.
Было уже за полночь, когда Тьюринг ушел. Петрос не мог заснуть. Первое, что он сделал утром – пошел к Литлвуду. К его величайшему удивлению, тот уже знал теорему Гёделя о неполноте.
– И как же вы могли ни разу о ней не сказать? – спросил его Петрос. – Как вы можете знать о существовании чего-то подобного и быть таким спокойным?
Литлвуд не понял.
– А чего вы так расстроились, старина? Гёдель изучает некоторые весьма специальные случаи, он ищет
