Учёные доказали существование Бога
1. Формула Леонарда Эйлера, доказывающая существование Бога
Леонард Эйлер (15 апреля 1707-го года — 18 сентября 1783-го года) был швейцарским математиком и физиком, одним из первых сделавшим важнейшие открытия в таких областях, как анализ бесконечно малых и теория графов. Также Эйлер создал большую часть современной математической терминологии и обозначений, в частности, для математического анализа, например, понятие математической функции. Он известен своими работами по механике, гидродинамике, оптике и астрономии. Большую часть своей взрослой жизни он провёл Санкт-Петербурге, Россия, и Берлине, Пруссия.
О религиозных убеждениях Эйлера можно судить по его письму к немецкой принцессе и более ранней работе «Защита божественного откровения против возражений инакомыслящих». Эти документы показывают, что Эйлер был набожным христианином, верящим, что Библия благотворно влияет на людей.
Согласно известной легенде, Эйлер нашёл аргументы в пользу существования Бога, когда дискутировал на эту тему со светскими философами. В то время он жил в Санкт-Петербурге, и тогда же в России гостил по приглашению Екатерины Великой французский философ Дени Дидро. Императрицу встревожили аргументы француза в пользу атеизма — они могли плохо повлиять на её двор, так что она попросила Эйлера вступить с Дидро в спор.
Дидро узнал, что известный математик нашёл доказательства существования Бога, и согласился на них взглянуть. Эйлер при встрече подошёл к Дидро вплотную и заявил следующее: «Сэр, \frac{a+b^n}{n}=x, следовательно, Бог существует!». Аргумент показался Дидро, который ничего в математике не понимал, бессмыслицей, так что он стоял с открытым ртом, в то время как свидетели этой сцены уже тайком хихикали. Смущённый, он обратился к императрице с просьбой покинуть Россию, и она позволила ему уехать.
2. Математик Курт Фридрих Гёдель разработал теорему Бога
Курт Фридрих Гёдель был австрийским, а затем американским логиком, математиком и философом. Он наряду с Аристотелем и Фреге, считается одним из самых значительных логиков в истории человечества. Гёдель внёс огромный вклад в развитие научно-философского мышления в XX-м веке.
В 1931-м году, когда ему было 25 лет, Гёдель опубликовал две теоремы о неполноте. Годом ранее он получил докторскую степень в Венском университете. Для доказательства первой теоремы Гёдель разработали методику, теперь известную как нумерация Гёделя, преобразующая формальные выражения в натуральные числа.
Гёдель также доказал, что ни аксиома выбора, ни гипотеза континуума не могут быть опровергнуты посредством принятых аксиом теории множеств, поскольку эти аксиомы согласуются. Благодаря этому математики получили возможность исследовать аксиому выбора в своих доказательствах. Он также внёс важный вклад в теорию доказательств путём уточнения связи между классической логикой, интуиционистской логикой и модальной логикой.
После смерти Гёделя в 1978-м году осталась теория, основанная на принципах модальной логики — типе формальной логики, в узком смысле предполагающей использование выражений «обязательно» и «возможно». Теорема утверждает, что Бог, или высшее существо, является тем, что мы не в состоянии понять. Но Бог существует в понимании. Если Бог существует в понимании, можно предположить, что он существует в реальности. Таким образом, Бог должен существовать.
3. Фрэнсис С. Коллин доказывает существование Бога через ДНК
Во время интервью по CNN в апреле 2007-го года в Роквилле, штат Мэриленд, Фрэнсис С. Коллинз, директор проекта Генома Человека, в который раз заявил, что информация, встроенная в ДНК, доказывает существование Бога.
Как верующий, доктор Коллинз видит ДНК — молекулу, присутствующую у всех живых существ, в которой заключена вся информация о виде, — как язык Бога, а элегантность и сложность органов и остальной природы — как отражение Божьего плана.
Тем не менее, так Коллинз думал не всегда. В 1970-м году, когда он проходил аспирантуру на факультете теоретической химии, он был атеистом и не находил оснований постулировать существование каких-либо истин вне математики, физики и химии. Затем он поступил в медицинскую школу и столкнулся с проблемой жизни и смерти пациентов. Один из пациентов спросил его: «Во что вы верите, доктор?», и Коллинз начал искать ответы.
Коллинз признался, что наука, которую он так любит, бессильна ответить на следующие вопросы: «В чем смысл жизни?», «Почему я здесь?», «Почему математика работает так, а не иначе?», «Если у Вселенной было начало, то кто это начало положил?», «Почему физические константы Вселенной настроены столь тонко, что допускается возможность появления сложных форм жизни?», «Откуда у людей мораль?» и «Что происходит после смерти?».
Доктор Коллинз всегда считал, что вера основана на чисто эмоциональных и иррациональных аргументах. Поэтому он был изумлен, когда обнаружил в ранних трудах Оксфордского учёного С. С. Льюиса и впоследствии во многих других источниках очень веские аргументы в пользу правдоподобности существования Бога, сформированные на чисто рациональных основаниях.
На самом деле, доктор Коллинз говорит, что он не видит никакого конфликта между наукой и религией. Да, он согласен, что происхождение от общего предка путём эволюции очевидно. Но также он утверждает, что изучение ДНК обеспечивает веское доказательство нашей связанности со всеми другими живыми существами.
По словам доктора Коллинза, он обнаружил, что в истинах науки и веры заключена удивительная гармония. Библейский Бог — также Бог генома. Бога можно найти и в соборе, и в лаборатории. Исследующей величественное и страшное Божье творение науке действительно можно поклоняться.
4. Двое ученых Кристоф Бенцмюллер и Бруно Вользенлогель Палео доказали теорему существования Бога
В октябре 2013-го года двое учёных, Кристоф Бенцмюллер из Свободного университета Берлина и его коллега Бруно Вользенлогель Палео из Технического университета в Вене, доказали теорему о существовании Бога, созданную австрийским математиком Куртом Гёделем — мы уже упоминали об этом человеке и его теореме во втором пункте нашего списка.
Использовав для расчётов обычный компьютер «MacBook», они показали, что доказательство Гёделя правильно, по крайней мере, на математическом уровне, с точки зрения высокой модальной логики.
В своём докладе «Формализация, механизация и автоматизация: доказательство Божьего существования, сформулированное Гёделем» они сказали, что «онтологическое доказательство Гёделя было проанализировано в первый же день исследования с необычайной степенью детализации с помощью теорем высшего порядка».
Бенцмюллер и Палео считают, что их работа может принести пользу в таких областях, как искусственный интеллект и проверка программного и аппаратного обеспечения. В конечном счете, формализация онтологического доказательства Гёделя вряд ли убедит атеистов или что-то изменит в душах истинных верующих, которые могли бы утверждать, что идея высшей силы не поддается логике по определению. Зато для математиков, ищущих способы выйти на новый уровень, эта новость может быть ответом на их молитвы.
