Прошлое в настоящем

Для представителя европейской культуры, воспитанного на Аристотелевой логике, на первый взгляд кажется естественным полагать, что высказывания об абсолютной истине должны быть сформулированы в некоторой всеобъемлющей системе непротиворечивых суждений. Но из теоремы Гёделя мы знаем, что всякая достаточно богатая логическая система неполна, если она непротиворечива [Нагель, Ньюмен, 1970], [Успенский, 1974]. Сколь угодно большое, но финитное расширение системы аксиом не спасает положение дел. Оба исходных требования теоремы Гёделя – финитность аксиом и детерминированность правил вывода – представляются вполне естественными в Аристотелевой логике, но как раз они и приводят к теореме о неполноте.

Несмотря на все свое громадное эпистемологическое значение, теорема Гёделя не оказала никакого влияния на развитие экспериментальных наук, поскольку последние имеют дело с гипотезами – истинами локальными и временными, не связанными с построением богатых логических систем. На развитие математики теорема Гёделя оказала определенное влияние, указав на границы формализма, – потеряла всякий смысл программа Гильберта, направленная на то, чтобы найти абсолютное доказательство непротиворечивости математических структур; пришлось отказаться от формального определения термина «доказательство в математике». Еще большее влияние теорема Гёделя должна была бы, наверное, оказать на те философские системы, которые, рассуждая о науке, говорят о непрерывном приближении человеческого познания к абсолютной истине. Если формулируемая абсолютная истина42

существует, то это значит, повторяем еще раз, что существует язык, на котором эта истина может быть выражена. Но как в этом случае обходятся гёделевские трудности? Сама постановка этого вопроса почему-то оказалась запрещенной!

Но если опять-таки оставаться в рамках европейской культуры, то с наибольшей определенностью утверждение о владении истиной во всей ее полноте мы находим в христианстве. И здесь естественно поставить все тот же вопрос: на каком языке эта истина выражена? Удивительно, но четкий ответ на этот вопрос мы находим в книге П. Флоренского43 Столп и утверждение истины. Опыт православной феодицеи в двенадцати письмах [1914]. Ее автор поразительным образом совмещал знания математики и логики, с одной стороны, и православного богословия и философии, с другой стороны. Его книга написана задолго до появления теоремы Гёделя, но, видимо, какой-то гениальной интуицией он предвидел принципиальные трудности в построении достаточно богатых внутренне непротиворечивых систем. Может быть, и более того – он внутренне осознавал, говоря нашими словами, что истина – это считывание с континуальных потоков, и чем обширнее эта истина, тем труднее ее выражать в системе непротиворечивых построений дискретного языка.

Вот подборка высказываний о языке, на котором выразима религиозная Истина, из главы VII его книги: