Учёные математически доказали существование Бога

Ученые умы многие века бьются над проблемой «доказательства Бога». Приводились аргументы как в пользу существования высшего существа, так и обратного. Кто-то из классиков сказал, что «вы можете найти страны, в которых нет чеканных монет, нет каменных зданий, нет кодифицированных законов, нет письменности, но вы не найдете страны, в которой нет религии». Теперь же исследователи Кристоф Бенцмюллер (Christoph Benzmuller), работающий в Берлине, и Бруно Вольценлогель (Bruno Woltzenlogel Paleo) из Вены смогли доказать теорему Геделя, из которой следует, что некое высшее существо действительно есть, сообщает информационно-аналитический портал Inpress.ua.

«В конце 1930-х Гедель предположил, что по определению не может существовать ничего более масштабного, чем высшее существо, и выдвинул тезис существования Бога, опираясь на логико-математическую аргументацию», - цитирует InoPressa Voz de Galicia. Гедель был намерен доказать так называемый «онтологический аргумент» существования Бога.

Теорема Геделя в формате математики выглядит чрезвычайно сложно. Но в словесном выражении его уравнение сводится к тому, что «Бог — это то, больше которого нельзя постичь. Бог существует в понимании. Если бог существует в понимании, мы можем представить его высшим, существующим в реальности. Следовательно, Бог должен существовать!» Вот дословная формулировка самого Геделя в общепринятом переводе (http://novosti-ru.ru/science/7910-sensatsiya-v-mire-chisel-uchyonyie-matematiche...).

«И вот теперь ученые, используя обычный компьютер MacBook, продемонстрировали, что аргументы Геделя были математически верными», - говорится в статье. Сами ученые говорят, что скорее хотели показать, как высокие технологии помогают науке, чем включаться в споры о существовании Бога.


Справка

Теорема Геделя о неполноте и вторая теорема Геделя — две теоремы математической логики о принципиальных ограничениях формальной арифметики и, как следствие, всякой формальной системы, в которой можно определить основные арифметические понятия: натуральные числа, 0, 1, сложение и умножение.

Первая теорема утверждает, что если формальная арифметика непротиворечива, то в ней существует невыводимая и неопровержимая формула.

Вторая теорема утверждает, что если формальная арифметика непротиворечива, то в ней невыводима некоторая формула, содержательно утверждающая непротиворечивость этой арифметики.

Эти теоремы были доказаны Куртом Геделем в 1930 году (опубликованы в 1931) и имеют непосредственное отношение ко второй проблеме из знаменитого списка Гильберта.

http://inpress.ua/ru/society/19277-plokhaya-novost-dlya-ateistov-bog-est