Математическое доказательство бога

В 1970 году Курт Гёдель, человек доказавший пределы математики, написал в блокноте несколько строк символической логики. Спрятал блокнот в сейф. Завещал вскрыть только после смерти. Когда в 1978 году математики открыли записи, обнаружили онтологическое доказательство существования бога. Формальное, логически безупречное, построенное на аксиомах модальной логики. Доказательство, которое невозможно опровергнуть математически. Философы до сих пор спорят, что с этим делать.

Онтологический аргумент существует с 11 века. Ансельм Кентерберийский сформулировал его так: бог — это существо, совершеннее которого невозможно помыслить. Существование в реальности совершеннее существования только в мысли. Значит, бог должен существовать реально. Философы веками критиковали этот аргумент: игра слов, логический трюк, подмена понятий. Гёдель взял эту идею и перевёл на язык математической логики, где словами играть нельзя.

Доказательство Гёделя состоит из пяти аксиом, трёх определений и двух теорем. Первая аксиома: позитивное свойство остаётся позитивным во всех возможных мирах. Вторая: если свойство позитивно, его отрицание не позитивно. Третья: бог — существо, обладающее всеми позитивными свойствами. Четвёртая: позитивные свойства необходимы (существуют во всех возможных мирах). Пятая: необходимое существование — позитивное свойство.

Из этих аксиом через цепочку логических шагов следует теорема: возможно существование бога. А из модальной логики известно: если существование необходимого существа возможно хотя бы в одном мире, оно необходимо во всех мирах. Включая наш. Вывод: бог существует. Quod erat demonstrandum.

Математики проверили доказательство компьютерными программами верификации логики. Программа Isabelle подтвердила: формально доказательство корректно. Нет логических ошибок. Если принять аксиомы, выводы следуют неизбежно. Философы атеисты пришли в ярость. Но опровергнуть формально не могли. Остаётся только атаковать аксиомы.

Критика фокусируется на определении «позитивного свойства». Гёдель говорит: позитивное свойство — это свойство, которое «чисто позитивно» в моральном или метафизическом смысле. Но что это значит? Критики говорят: определение расплывчато. Можно подставить любое наполнение и получить любой результат. Если позитивность произвольна, вся конструкция рушится.

Гёдель предвидел критику. В записях он уточняет: позитивное свойство — это свойство, которое логически влечёт только улучшение. Всемогущество позитивно, потому что дарует возможности. Всезнание позитивно, потому что устраняет невежество. Существование позитивно, потому что бытие лучше небытия. Определения становятся чётче, но спор переходит в метафизику: кто решает, что считать улучшением?

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

Физик и философ Кристоф Бенцмюллер с коллегами в 2013 году перевёл доказательство Гёделя на язык компьютерной верификации высшего порядка. Программа подтвердила: логика безупречна. Более того, они показали: можно упростить доказательство, убрав одну из аксиом — результат остаётся. Это означает: конструкция устойчива, минималистична, фундаментальна.

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

Сам Гёдель был теистом, но скрывал доказательство десятилетиями. Почему? В переписке он признавался: боялся, что люди подумают, будто он всерьёз пытается доказать бога математикой, и это разрушит его научную репутацию. Он видел доказательство как демонстрацию силы формальной логики, способной касаться вопросов метафизики.

Философ Роберт Адамс написал: «Доказательство Гёделя показывает, что понятие бога логически когерентно. Существо с атрибутами всемогущества, всезнания и необходимого существования не содержит внутренних противоречий. Это уже результат — атеистам часто утверждают, что само понятие бога логически невозможно».

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

Телеграм: t.me/ainewsline

Источник: vk.com

Комментарии: