Апостолос Доксиадис - Дядюшка Петрос и проблема Гольдбаха

– Да, профессор, но вопреки ожиданиям всех – в том числе Гильберта и Рассела – он ее решил в отрицательном смысле! Он доказал, что арифметика и все математические теории не полны!

Петрос не настолько был знаком с концепциями формальной логики, чтобы сразу оценить все вытекающие следствия.

– Простите?

Тьюринг опустился на колени рядом с креслом Петроса и стал тыкать пальцами в хитросплетения символов в статье Гёделя.

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

– То есть, вы хотите сказать, ложные предложения?

– Нет, я хочу сказать – истинные предложения; истинные, но такие, которые невозможно доказать!

Петрос вскочил на ноги.

– Это невозможно!

– Но это так, и доказательство тому здесь, на этих пятнадцати страницах: «Истина не всегда доказуема»!

У моего дяди внезапно закружилась голова.

– Но этого… этого не может быть!

Он принялся лихорадочно листать журнал, пытаясь сразу постигнуть изощренные рассуждения статьи, и бормотал про себя, начисто забыв о молодом человеке:

– Мерзость… аномалия… извращение… Тьюринг довольно улыбнулся.

– Все математики поначалу так реагируют. Но Рассел и Уайтхед проанализировали доказательство Гёделя и объявили его безупречным. На самом деле они употребили слово «совершенство».

– «Совершенство»? – скривился Петрос. – Но если он это доказал – то есть действительно доказал, во что я отказываюсь верить, то это – конец математики!

Много часов Петрос пропотел над кратким, но донельзя насыщенным текстом. Он переводил, а Тьюринг объяснял незнакомые ему концепции формальной логики, лежащие в основе рассуждений Гёделя. Закончив перевод, они снова начали сначала, разбирая доказательство шаг за шагом. Петрос отчаянно искал погрешность в рассуждениях.

Это стало началом конца.

Было уже за полночь, когда Тьюринг ушел. Петрос не мог заснуть. Первое, что он сделал утром – пошел к Литлвуду. К его величайшему удивлению, тот уже знал теорему Гёделя о неполноте.

– И как же вы могли ни разу о ней не сказать? – спросил его Петрос. – Как вы можете знать о существовании чего-то подобного и быть таким спокойным?

Литлвуд не понял.

– А чего вы так расстроились, старина? Гёдель изучает некоторые весьма специальные случаи, он ищет парадоксы, очевидно, присущие всем аксиоматическим системам. Какое до этого дело нам, окопным солдатам математики?

Но Петроса нельзя было так легко успокоить.

– Как вы не понимаете, Литлвуд? Отныне, встречаясь с каждым до сих пор не доказанным утверждением, мы должны будем спрашивать себя, а не является ли оно случаем применимости теоремы Гёделя. Ведь любая нерешенная проблема, любая недоказанная гипотеза могут быть априори нерешаемы и недоказуемы! Слова Гильберта «В математике нет ignorabimus » более не применимы. Саму почву, на которой мы стояли, вышибли у нас из-под ног! Литлвуд пожал плечами.

– Не вижу смысла расстраиваться из-за парочки недоказуемых истин, если есть миллионы доказуемых, с которыми можно работать.

– Да, черт побери, но как узнать, кто из них кто?

Хотя реакция Литлвуда должна была бы успокоить – нота оптимизма после катастрофы вчерашнего вечера, – она не дала Петросу ответа на единственный, отравляющий, пугающий вопрос, который возник сразу, как он услышал о результате Гёделя. Вопрос этот был так ужасен, что дядя еле отваживался его сформулировать: что, если теорема Гёделя о неполноте применима к его задаче? Что, если утверждение проблемы Гольдбаха недоказуемо?

От Литлвуда он пошел прямо к Алану Тьюрингу в его колледж и спросил, есть ли продолжающие работы по теореме Гёделя о неполноте. Тьюринг не знал. Было ясно, что только один человек на свете может ответить на его вопрос.

Петрос послал Харди и Литлвуду записку, что некое срочное дело заставляет его ехать в Мюнхен, и в тот же вечер уже был на пароходе, пересекающем Ла-Манш. На следующий день он оказался в Вене. Нужного человека он нашел через знакомых в академических кругах. Они созвонились и, поскольку Петрос не хотел, чтобы его видели в университете, договорились встретиться в кафе отеля «Захер».

Курт Гёдель прибыл точно вовремя – худощавый молодой человек среднего роста, с близорукими глазками за толстыми стеклами очков.

Петрос не стал терять времени.

– Я хочу кое-что у вас спросить, герр Гёдель, причем строго конфиденциально.