Математическое доказательство существования Бога: что стоит за формулами и спорами
Идея математически доказать существование Бога периодически появляется в новостях — то как сенсация, то как академический казус. За ней стоит многовековая философская традиция, несколько серьёзных попыток формализации и много недоразумений при пересказе. Разберёмся, что именно делалось, что из этого следует и чего не следует.
Онтологический аргумент: откуда всё началось
Первую попытку доказать существование Бога логически, без обращения к опыту, предпринял архиепископ Ансельм Кентерберийский в XI веке. Суть аргумента сводилась к следующему: Бог определяется как «нечто, превыше чего нельзя помыслить»; существование в реальности — свойство более совершенное, чем существование только в уме; следовательно, Бог существует в реальности, иначе можно было бы помыслить нечто более совершенное. Этот ход рассуждений называется онтологическим аргументом.
Иммануил Кант в XVIII веке подверг его критике: существование — не свойство вещи, которое можно добавить к определению. Спор продолжается в философии по сей день.
Что сделал Гёдель
Курт Гёдель — один из величайших математиков XX века, создатель теорем о неполноте, — в 1940-х годах составил формальный вариант онтологического аргумента на языке модальной логики. В его системе «Богоподобные» свойства аксиоматически определяются как позитивные, и из аксиом выводится, что существо, обладающее всеми позитивными свойствами, необходимо существует в рамках системы модальной логики.
При жизни Гёдель не публиковал эту работу, опасаясь неверного истолкования. Рукопись стала известна после его смерти в 1987 году, а в 2014 году два немецких компьютерных учёных — Кристоф Бензмюллер и Бруно Паулин-Мориц Вольтценлогель — верифицировали корректность логического вывода с помощью программы автоматического доказательства теорем.
Что именно было доказано — и что нет
Верификация 2014 года показала: из аксиом Гёделя логически следует вывод о существовании «Богоподобной» сущности в рамках модальной системы S5. Это математически корректный результат.
Но здесь критически важно различить несколько вещей.
Логическая непротиворечивость не равна истинности применительно к реальному миру. Из аксиом A и B следует вывод C — если аксиомы приняты. Вопрос в том, верны ли сами аксиомы: например, аксиома «существование является позитивным свойством» — философское допущение, а не эмпирический факт.
Математическое доказательство работает внутри формальной системы. Если мы договорились, что числа ведут себя определённым образом, можно доказывать теоремы. Но числа — не физические объекты: математика описывает структуры, а не гарантирует их воплощение в реальности.
Эмпирическое доказательство — совсем другое. Оно требует наблюдаемых, воспроизводимых, опровергаемых данных. Существование Бога — метафизический вопрос, выходящий за рамки того, что эмпирическая наука может верифицировать или фальсифицировать.
Связь с Гарвардом и история публикации
Публикации об «учёном из Гарварда», «доказавшем существование Бога», нередко содержат ошибки атрибуции. Сам Гёдель работал в Институте перспективных исследований в Принстоне, а не в Гарварде. Верификация 2014 года была проведена немецкими исследователями, не связанными с Гарвардом. Важно отличать место работы автора от институциональной позиции: Гёдель лично разработал аргумент, но Принстонский институт и тем более Гарвард не занимали позицию в вопросе существования Бога.
Позиция философского сообщества
Философы, занимающиеся аналитической теологией и философией религии, хорошо знакомы с онтологическими аргументами. Стэнфордская энциклопедия философии подробно излагает варианты аргумента и возражения к ним. Консенсуса о том, что онтологический аргумент доказывает существование Бога, в философии нет: существуют убедительные возражения, начиная с кантовской критики и заканчивая современными дискуссиями о правомерности аксиом модальной логики в данном контексте.
Почему тема остаётся интересной
Независимо от выводов, онтологический аргумент — замечательный пример того, как философская интуиция формализуется на языке логики. Работа Гёделя демонстрирует возможности модальной логики и поднимает глубокие вопросы о природе необходимости, существования и аксиоматических систем. Это делает её ценным объектом для изучения — в философии, логике и теологии — вне зависимости от того, убеждает ли вас аргумент.
Читайте также: CERN и параллельные миры: что реально ищут в коллайдере и чего там нет
Граница между «логически связным аргументом» и «доказательством реальности» — принципиальная. Именно её размытие приводит к сенсационным заголовкам.