»более не применимы. Саму почву, на которой мы стояли, вышибли у нас из-под ног! Литлвуд пожал плечами.
– Не вижу смысла расстраиваться из-за парочки недоказуемых истин, если есть миллионы доказуемых, с которыми можно работать.
– Да, черт побери, но как узнать, кто из них кто?
Хотя реакция Литлвуда должна была бы успокоить – нота оптимизма после катастрофы вчерашнего вечера, – она не дала Петросу ответа на единственный, отравляющий, пугающий вопрос, который возник сразу, как он услышал о результате Гёделя. Вопрос этот был так ужасен, что дядя еле отваживался его сформулировать: что, если теорема Гёделя о неполноте применима к его задаче? Что, если утверждение проблемы Гольдбаха недоказуемо?
От Литлвуда он пошел прямо к Алану Тьюрингу в его колледж и спросил, есть ли продолжающие работы по теореме Гёделя о неполноте. Тьюринг не знал. Было ясно, что только один человек на свете может ответить на его вопрос.
Петрос послал Харди и Литлвуду записку, что некое срочное дело заставляет его ехать в Мюнхен, и в тот же вечер уже был на пароходе, пересекающем Ла-Манш. На следующий день он оказался в Вене. Нужного человека он нашел через знакомых в академических кругах. Они созвонились и, поскольку Петрос не хотел, чтобы его видели в университете, договорились встретиться в кафе отеля «Захер».
Курт Гёдель прибыл точно вовремя – худощавый молодой человек среднего роста, с близорукими глазками за толстыми стеклами очков.
Петрос не стал терять времени.
– Я хочу кое-что у вас спросить, герр Гёдель, причем строго конфиденциально.
Гёдель, стеснительный от природы, почувствовал себя еще более неловко.
– Это личный вопрос, герр профессор?
– Вопрос профессиональный, но относится к моей личной работе, и я был бы очень признателен – нет, я настаиваю! – чтобы это осталось строго между нами. Пожалуйста, сообщите мне, герр Гёдель: существует ли процедура, позволяющая определить, относится ли ваша теорема к какой-либо наперед заданной гипотезе?
Гёдель дал ответ, которого он страшился:
– Нет.
– И на самом деле вы не можете определить априори, какие утверждения доказуемы, а какие нет?
– Насколько мне известно, герр профессор, любое недоказанное утверждение может в принципе быть недоказуемым.
Тут у Петроса перед глазами поплыла красная тьма. Его охватил неудержимый порыв схватить отца теоремы о неполноте за тощую шею и бить головой о блестящую поверхность стола. Но он сдержался, только перегнулся через стол и стиснул руку Гёделя выше локтя.
