Кстати, тот же Раушенбах нашел и другие проявления математики в религии. Так, странная на взгляд современного человека обратная перспектива древних икон не только соответствует некоторым психофизиологическим особенностям восприятия пространства на малых расстояниях, но еще и намекает на то, что картина пишется с точки зрения бога.
Другие видимые противоречия религии с математикой (и физикой) исследованы не столь глубоко. Поэтому я не могу однозначно утверждать, что они также не мешают применять выкладки Гёделя к религии. Но в самих святых писаниях достаточно примеров их согласия с арифметикой. Что и не удивительно.
Религия претендует на описание реального мира, а он сплошь арифметичен.
Так, в главе 24 Второй книги Царств Давид организует перепись подвластного населения. Согласно инструкциям Давида его посланцы последовательно переходят из города в город, подсчитывают тамошних жителей и в конце концов представляют царю суммарный результат (по тому времени довольно внушительный). Очевидно, последовательный подсчет жителей по городам – действие вполне арифметическое.
Сам Давид, получив итог, счел свое деяние грешным. Бог согласился с ним, предложил три кары на выбор и по согласованию с Давидом устроил трехдневную эпидемию на семьдесят тысяч жертв. Уж не потому ли, что всемогущий и всеведущий бог предвидел: применение арифметики позволит в дальнейшем доказать противоречивость самой веры в него?
Не чужд арифметики и Новый Завет. В “Откровении” апостола Иоанна сказано: “Кто имеет ум, сочти число зверя”. Несомненная арифметика с неизбежными аксиомами.
В первоначальных версиях “Апокалипсиса” были два значения числа: 616 и 666. Дело в том, что имя “Нерон” допускает и написание “Неро”. В первом случае сумма числовых значений соответствующих греческих букв дает 666, во втором 616. Иоанн считал именно императора Нерона – рьяного гонителя христиан – Антихристом.
Осознанная необходимость
Полноту религиозного описания мира тоже зачастую оспаривают. Скажем, если человек наделен свободной волей (в Моисеевых религиях свобода воли считается одним из важнейших отличий человека от животных, действующих только в силу необходимости), как однозначно предсказать бытие и развитие?
Тем не менее свобода воли человека вовсе не противоречит детерминизму (полной определенности) мира. Всеведение якобы позволяет богу предвидеть все наши действия, а свобода человека заключается лишь в его способности постигать причины этих действий. Не зря Маркс называл свободу осознанной необходимостью.
Более того: даже если поведение отдельного человека не просто свободно, а произвольно или случайно, – это еще не доказывает произвольность и случайность мира в целом. Каждая микрочастица движется случайным образом, но поведение достаточно большого числа таких частиц предсказуемо по законам квантовой механики с точностью, вполне достаточной для любых разумных нужд.
Каждый человек покупает вещи (при прочих равных условиях), руководствуясь собственными произвольными желаниями. Но экономическая наука неплохо описывает (на достаточно больших промежутках времени) поведение всего мирового хозяйства. И уж по меньшей мере божьему замыслу все это не противоречит.
Бог недоказуем
Неопровержимые доказательства бытия божия люди искали с давних пор.
Но поняли тщетность поисков довольно рано. Господствующей в среде богословов стала позиция, при которой принципиальное отсутствие таких доказательств связано со свободой воли, дарованной богом человеку. Мол, каждый вправе самостоятельно – без прямых божьих указаний – решать, идти ли ему к богу или остаться во тьме.
Философы упорнее богословов. Например, Иммануил Кант раскритиковал и опроверг пять наиболее убедительных и стройных доказательств бытия божия, выдвинутых до него. Но это не помешало ему в свою очередь создать шестое доказательство – увы, в скором времени также опровергнутое.
Математика позволяет взглянуть на дело несколько иначе. Непротиворечивость аксиоматики означает: в ее рамках невозможно вывести пару утверждений, противоречащих друг другу. Гипотеза бога делает любую аксиоматику полной. По первой теореме Гёделя полнота гарантирует противоречивость. Следовательно, гипотезу бога нельзя вывести ни из какой непротиворечивой системы аксиом. Она сама – аксиома и может быть только принята на веру.
Видный деятель раннего христианства Тертуллиан вошел в историю словами credo quia absurdum est – верую, ибо это нелепо. Богословский смысл заявления “Сын божий был распят – не стыдимся этого, ибо это постыдно. Сын божий умер – вполне верим этому, ибо это нелепо. Погребенный воскрес – это верно, ибо это невозможно” – мне не вполне понятен (да и богословов смущает: не зря Тертуллиан, хотя и за иные рассуждения, признан еретиком). Но в житейском смысле я с ним согласен: представления о боге заведомо приводят если не к явным нелепостям, то к неустранимым противоречиям. А потому их нельзя доказать – в них можно только верить.
Аксиоматика и культура
Многие (в том числе и я) воспринимают религию не как логическую и тем более не как аксиоматическую структуру. Религия – не столько система, основанная на формальной технологии описания, сколько явление культуры. Вроде… модернизма, Высокого Возрождения или чайной церемонии.
Но религия качественно отличается от прочих феноменов культуры по меньшей мере в одном отношении – она стремится обязывать.
Возрождение не пытается предписывать человеку ничего за своими пределами: “человек эпохи Возрождения” – просто (как показано в одноименном американском фильме) всесторонне развит, стремится охватить все достижения человечества. Чайная церемония учит скромности и восприятию красоты, но вовсе не требует, чтобы и за пределами чайной комнаты гордый самурай был столь же скромен и восприимчив к красоте, как в ее стенах.
Религия же, ссылаясь на божественный авторитет, претендует на контроль всех сторон деятельности человека и человечества. И в этом смысле выходит за пределы чисто культурного феномена.
Почти всякая религия в момент зарождения напоминает то, что ныне принято именовать тоталитарными сектами. И только по мере развития и притирки к реальному миру обучается компромиссам.
Самые ходовые формы религии сегодня не претендуют на тотальный контроль всех сфер жизни. Но взгляд на их историю убеждает: это не столько внутренне присущее им свойство, сколько результат векового опыта выявления противоречий, порождаемых подобными претензиями.
Правда, в наши дни эти противоречия далеко не так очевидны, как в эпоху становления христианства или ислама. Поэтому нынешние предостережения против религиозного тоталитаризма зачастую напоминают старый анекдот: идет человек по Невскому и через каждые пять шагов прищелкивает пальцами над головой. Некий попутчик, наблюдающий это зрелище довольно долго, в конце концов не выдерживает, догоняет его и спрашивает:
– Если не секрет, что именно вы делаете?
– Крокодилов отгоняю.
– Но на Невском же нет крокодилов!
– Вот потому и нет.
Действительно, есть множество причин того, почему возникает желание ограничить амбиции религии, как зачастую и любые другие амбиции. В обществах, где религия претендует на тоталитарность, многие проблемы возникают и развиваются гораздо быстрее, чем в обществах с иной ролью религии. И этого уже достаточно для возникновения антирелигиозных настроений.
Математика и религия – изначально разные предметные области. В той мере, в какой религия не вмешивается в происходящее за пределами храма, ее можно не считать полной системой. Но если она вмешивается в реальный мир, то и на нее распространяются все его законы – включая гёделевы.
Теоремы Гёделя неприменимы к религии, только если она сама нереальна.
Аксиомой единой
Предположение о существовании бога – именно аксиома. Сделать его теоремой – вывести из каких-то наборов утверждений, описывающих наблюдаемый мир, – пока никому не удалось. И, похоже, не удастся. Ведь это предположение заведомо (по Гёделю) делает всю систему противоречивой. Реальный мир логических противоречий не содержит: всему рано или поздно находится объяснение.
При выборе аксиоматики немаловажно, насколько она красива, технически удобна и соответствует наблюдаемым данным. Об изяществе аксиомы бога не мне судить. Как опора для рассуждений она необычайно удобна: в противоречивой системе с равной легкостью выводится любое утверждение. Отсюда же – и несомненное соответствие любым фактам.
Итак, введя аксиому бога, можно уже совершенно не беспокоиться обо всех остальных опорах наших рассуждений: бог – залог тотального соответствия.
