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