Через несколько лет Рассел и Уайтхед выпустили свой монументальный труд «Principia Mathematica», впервые предложив абсолютно строгий способ рассуждений о дедукции: теорию доказательств. И хотя это новое средство много обещало в смысле окончательного ответа на вызов Гильберта, двум английским логикам не удалось фактически доказать критическое свойство. Полнота математических теорий (то есть тот факт, что в них любое истинное утверждение доказуемо) еще не была доказана, но уже ни у кого не оставалось ни малейших сомнений ни в уме, ни в сердце, что когда-нибудь – и очень скоро – такое доказательство появится. Математики продолжали верить, как верил Евклид, что обитают в Царстве Абсолютной Истины. Победный клич, произнесенный на Парижском конгрессе – «Мы должны знать, мы будем знать, в математике нет
ignorabimus»,- составлял предмет нерушимой веры любого работающего математика.
Я перебил это увлеченное историческое отступление:
– Дядя, я это все знаю. Раз ты заставил меня ознакомиться с теоремой Гёделя, то очевидно, что я знаю и её предысторию.
– Это не предыстория, – поправил меня дядя, – а психология. Ты должен понять тот эмоциональный климат, в котором работали математики в те счастливые дни до Курта Гёделя. Ты меня спросил, как я набрался духу продолжать работу после такого огромного разочарования. Так вот как это было…
Несмотря на то что дядя еще не смог достичь своей цели и решить проблему Гольдбаха, он твердо верил, что эта цель достижима. И вера его, как духовного внука Евклида, была абсолютна. Так как утверждение Проблемы почти наверняка верно (в этом никто всерьез не сомневался, если не считать Рамануджана с его неясным «предчувствием»), ее доказательство где-то существует в каком-то виде. Дядя пояснил примером:
– Представь себе, что твой друг куда-то засунул в доме ключ и просит тебя помочь его найти. Если ты веришь, что память его не подводит, и абсолютно доверяешь его честности, что это значит?
– Это значит, что он действительно потерял ключ где-то в доме.
– А если он тебя еще и заверяет, что больше никто в дом не входил?
– То мы можем предположить, что ключ не был вынесен из дома.
– Эрго
[21]?
– Эрго, ключ находится в доме, и после достаточно долгих поисков – в предположении, что дом конечен, – мы его рано или поздно найдем.
Дядя зааплодировал.
– Превосходно! Именно эта уверенность питала мой возрожденный оптимизм. Когда первое потрясение прошло, я однажды утром поднялся и сказал себе: «Какого черта – ведь доказательство же где-то есть!»
