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