Аксиомой единой

Предположение о существовании бога — именно аксиома. Сделать его теоремой — вывести из каких-то наборов утверждений, описывающих наблюдаемый мир, — пока никому не удалось. И, похоже, не удастся. Ведь это предположение заведомо (по Гёделю) делает всю систему противоречивой. Реальный мир логических противоречий не содержит: всему рано или поздно находится объяснение.

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

Итак, введя аксиому бога, можно уже совершенно не беспокоиться обо всех остальных опорах наших рассуждений: бог — залог тотального соответствия.

Загрузка...