В этом отношении характерен афоризм знаменитого датского физика Нильса Бора, который, выступая на обсуждении одной новой теории, сказал: «Все согласны с тем, что предполагаемая теория безумна. Вопрос в том, достаточно ли она безумна, чтобы оказаться еще и верной». Иными словами, противоречие гипотезы со «здравым смыслом» расценивается теперь учеными не как ее дефект, а скорее как достоинство
47
Не случайно французский философ Анри Бергсон называл нашу привычную логику «логикой твердых тел»
48
49
По словам английского физика Поля Дирака, квантовая теория строится главным образом на таких понятиях, которые «не могут быть объяснены с помощью известных понятий и даже не могут быть объяснены адекватно словами вообще»
50
51
Нильс Бор подчеркивал, что в исследовании микромира наука ориентируется одновременно на «две взаимоисключающие установки»
52
дополнительностиАнтиномии религиозных символов напоминают «дополнительное» описание реальности у физиков. Именно это имел в виду немецкий богослов Денцер, когда утверждал, что «теоретико-познавательные следствия из атомно-физической ситуации выходят за рамки физики и далеко вторгаются в современное богословие»
53
* * *
Столь же неуютно почувствовал себя рационализм и в своей старейшей крепости – математике, которую с античных времен считали каркасом естествознания. В начале нашего века математику потряс своеобразный «кризис основ», вызванный обнаружением парадоксов и противоречий, к которым привели, казалось бы, бесспорные методы традиционной логики. Преодолению этого кризиса были посвящены работы Б. Рассела, Д. Гильберта, А. Колмогорова и П. Новикова. Результатом кризиса явилось разделение математики на несколько ветвей, несколько «математик», в зависимости от употребляемых средств доказательства. Так, теорема, бесспорно доказанная в рамках классической математики, оказывается неверной в рамках математики интуиционистской. А в тридцатых годах нашего века венский логик Курт Гёдель в своей знаменитой теореме о неполноте показал, что даже среди простейших суждений об арифметике целых чисел имеются утверждения, которые в принципе нельзя ни доказать, ни опровергнуть. Иными словами, оставаясь в рамках математической, строго формальной логики, невозможно построить единую непротиворечивую систему утверждений даже о простейших свойствах чисел.
Приведем еще один пример. В 1922 году петроградский математик А. Фридман на основании решения уравнений Эйнштейна пришел к выводу, что Вселенная должна иметь замкнутую форму и что при этом она, по-видимому, непрерывно расширяется
54
Примечания
1
См. ниже, глава III.
2
Ср.: Мк 16, 15.
3
Ср.: Лк 19, 40.
4
См. ниже, главы III, V.
5
См. Приложение 2.
6
См. Приложение 4.