Хто з математиків довів існування Бога?

Математичні аргументи існування Бога Більш розгорнуту версію надав Готфрід Лейбніц

Готфрід Лейбніц

Ґотфрід Вільгельм Лейбніц (1 липня 1646 [O.S. 21 червня] – 14 листопада 1716) був німецьким ерудитом, активним математиком, філософом, ученим і дипломатом, який винайшов обчислення на додаток до багатьох інших галузей математики, таких як двійкова арифметика та статистика.

https://en.wikipedia.org

на початку ХVІІІ ст. Курт Гедель

Курт Гедель

У математичній логіці це нумерація Геделя функція, яка присвоює кожному символу та правильно сформульованій формулі деякої формальної мови унікальне натуральне число, називається його числом Геделя. Концепція була розроблена Куртом Геделем для доказу його теорем про неповноту. (Гедель 1931)

https://en.wikipedia.org

створив формалізацію версії Лейбніца, відому як онтологічний доказ Геделя.

Онтологічний доказ Геделя є формальним аргументом математика Курт Гедель (1906–1978) за існування Бога.

Онтологічна аргументація була сформульована в тому числі філософами Св. Ансельм і Рене Декарти. Аргумент припускає, що існування Бога є самоочевидним.

Гедель справді зміг довести, що існування чогось, що він визначав як божественне, з необхідністю випливає з певних припущень. Але чи виправдані ці припущення, можна поставити під сумнів.

Декарт у п'ятій медитації Декарт пропонує доказ існування Бога, використовуючи лише розум.');})();(function(){window.jsl.dh('7n7TZs3-EJ-TwbkPoOGJ8Ag__41','

Докази Його існування оточують нас, від зору, який ми сприймаємо як належне, до законів нашого дивовижного світу. Ми маємо єдність один з одним і всесвітом, яка може вийти лише від всемогутнього Творця. Самоаналіз і спостереження щедрого творіння Бога це все, що потрібно, щоб знайти Його.