Дилогия атеизма

Бог недоказуем

Неопровержимые доказательства бытия божия люди искали с давних пор.

Но поняли тщетность поисков довольно рано. Господствующей в среде богословов стала позиция, при которой принципиальное отсутствие таких доказательств связано со свободой воли, дарованной богом человеку. Мол, каждый вправе самостоятельно — без прямых божьих указаний — решать, идти ли ему к богу или остаться во тьме.

Философы упорнее богословов. Например, Иммануил Кант раскритиковал и опроверг пять наиболее убедительных и стройных доказательств бытия божия, выдвинутых до него. Но это не помешало ему в свою очередь создать шестое доказательство — увы, в скором времени также опровергнутое.

Математика позволяет взглянуть на дело несколько иначе. Непротиворечивость аксиоматики означает: в ее рамках невозможно вывести пару утверждений, противоречащих друг другу. Гипотеза бога делает любую аксиоматику полной. По первой теореме Гёделя полнота гарантирует противоречивость. Следовательно, гипотезу бога нельзя вывести ни из какой непротиворечивой системы аксиом. Она сама — аксиома и может быть только принята на веру.

Видный деятель раннего христианства Тертуллиан вошел в историю словами credo quia absurdum est — верую, ибо это нелепо. Богословский смысл заявления «Сын божий был распят — не стыдимся этого, ибо это постыдно. Сын божий умер — вполне верим этому, ибо это нелепо. Погребенный воскрес — это верно, ибо это невозможно» — мне не вполне понятен (да и богословов смущает: не зря Тертуллиан, хотя и за иные рассуждения, признан еретиком). Но в житейском смысле я с ним согласен: представления о боге заведомо приводят если не к явным нелепостям, то к неустранимым противоречиям. А потому их нельзя доказать — в них можно только верить.