1. Формула Эйлера, доказывающая существование Бога

Леонард Эйлер (15 апреля 1707-го года — 18 сентября 1783-го года) был швейцарским математиком и физиком, одним из первых сделавшим важнейшие открытия в таких областях, как анализ бесконечно малых и теория графов.

Также Эйлер создал большую часть современной математической терминологии и обозначений, в частности, для математического анализа, например, понятие математической функции. Он известен своими работами по механике, гидродинамике, оптике и астрономии. Большую часть своей взрослой жизни он провёл Санкт-Петербурге, Россия, и Берлине, Пруссия.

О религиозных убеждениях Эйлера можно судить по его письму к немецкой принцессе и более ранней работе «Защита божественного откровения против возражений инакомыслящих». Эти документы показывают, что Эйлер был набожным христианином, верящим, что Библия благотворно влияет на людей.

Согласно известной легенде, Эйлер нашёл аргументы в пользу существования Бога, когда дискутировал на эту тему со светскими философами. В то время он жил в Санкт-Петербурге, и тогда же в России гостил по приглашению Екатерины Великой французский философ Дени Дидро.

Императрицу встревожили аргументы француза в пользу атеизма — они могли плохо повлиять на её двор, так что она попросила Эйлера вступить с Дидро в спор.

Дидро узнал, что известный математик нашёл доказательства существования Бога, и согласился на них взглянуть. Эйлер при встрече подошёл к Дидро вплотную и заявил следующее: «Сэр, \frac{a+b^n}{n}=x, следовательно, Бог существует!».

Аргумент показался Дидро, который ничего в математике не понимал, бессмыслицей, так что он стоял с открытым ртом, в то время как свидетели этой сцены уже тайком хихикали. Смущённый, он обратился к императрице с просьбой покинуть Россию, и она позволила ему уехать.

2. Математик разработал теорему Бога

Курт Фридрих Гёдель был австрийским, а затем американским логиком, математиком и философом. Он наряду с Аристотелем и Фреге, считается одним из самых значительных логиков в истории человечества. Гёдель внёс огромный вклад в развитие научно-философского мышления в XX-м веке.

В 1931-м году, когда ему было 25 лет, Гёдель опубликовал две теоремы о неполноте. Годом ранее он получил докторскую степень в Венском университете. Для доказательства первой теоремы Гёдель разработал методику, теперь известную как нумерация Гёделя, преобразующая формальные выражения в натуральные числа.

Гёдель также доказал, что ни аксиома выбора, ни гипотеза континуума не могут быть опровергнуты посредством принятых аксиом теории множеств, поскольку эти аксиомы согласуются. Благодаря этому математики получили возможность исследовать аксиому выбора в своих доказательствах. Он также внёс важный вклад в теорию доказательств путём уточнения связи между классической логикой, интуиционистской логикой и модальной логикой.

После смерти Гёделя в 1978-м году осталась теория, основанная на принципах модальной логики — типе формальной логики, в узком смысле предполагающей использование выражений «обязательно» и «возможно». Теорема утверждает, что Бог, или высшее существо, является тем, что мы не в состоянии понять. Но Бог существует в понимании. Если Бог существует в понимании, можно предположить, что он существует в реальности. Таким образом, Бог должен существовать.

3. Ученый, который не видит конфликта между наукой и религией

Во время интервью по CNN в апреле 2007-го года в Роквилле, штат Мэриленд, Фрэнсис С. Коллинз, директор проекта Генома Человека, в который раз заявил, что информация, встроенная в ДНК, доказывает существование Бога.

Как верующий, доктор Коллинз видит ДНК — молекулу, присутствующую у всех живых существ, в которой заключена вся информация о виде, — как язык Бога, а элегантность и сложность органов и остальной природы — как отражение Божьего плана.

Тем не менее, так Коллинз думал не всегда. В 1970-м году, когда он проходил аспирантуру на факультете теоретической химии, он был атеистом и не находил оснований постулировать существование каких-либо истин вне математики, физики и химии. Затем он поступил в медицинскую школу и столкнулся с проблемой жизни и смерти пациентов. Один из пациентов спросил его: «Во что вы верите, доктор?», и Коллинз начал искать ответы.

Коллинз признался, что наука, которую он так любит, бессильна ответить на следующие вопросы: «В чем смысл жизни?», «Почему я здесь?», «Почему математика работает так, а не иначе?», «Если у Вселенной было начало, то кто это начало положил?», «Почему физические константы Вселенной настроены столь тонко, что допускается возможность появления сложных форм жизни?», «Откуда у людей мораль?» и «Что происходит после смерти?».

Доктор Коллинз всегда считал, что вера основана на чисто эмоциональных и иррациональных аргументах. Поэтому он был изумлен, когда обнаружил в ранних трудах Оксфордского учёного С. С. Льюиса и впоследствии во многих других источниках очень веские аргументы в пользу правдоподобности существования Бога, сформированные на чисто рациональных основаниях.

На самом деле, доктор Коллинз говорит, что он не видит никакого конфликта между наукой и религией. Да, он согласен, что происхождение от общего предка путём эволюции очевидно. Но также он утверждает, что изучение ДНК обеспечивает веское доказательство нашей связанности со всеми другими живыми существами.

По словам доктора Коллинза, он обнаружил, что в истинах науки и веры заключена удивительная гармония. Библейский Бог — также Бог генома. Бога можно найти и в соборе, и в лаборатории. Исследующей величественное и страшное Божье творение науке действительно можно поклоняться.

4. Два программиста якобы доказали, что Бог существует

В октябре 2013-го года двое учёных, Кристоф Бенцмюллер из Свободного университета Берлина и его коллега Бруно Вользенлогель Палео из Технического университета в Вене, якобы доказали теорему о существовании Бога, созданную австрийским математиком Куртом Гёделем — мы уже упоминали об этом человеке и его теореме во втором пункте нашего списка.

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

В своём докладе «Формализация, механизация и автоматизация: доказательство Божьего существования, сформулированное Гёделем» они сказали, что «онтологическое доказательство Гёделя было проанализировано в первый же день исследования с необычайной степенью детализации с помощью теорем высшего порядка».

Так или иначе, доказательство вызывает скептицизм. Хотя исследователи утверждают, что доказали теорему Гёделя, их работа подтверждает не существование Бога, а то, какие достижения можно сделать в науке, используя передовые технологии — именно так говорят известные математики.

Бенцмюллер и Палео считают, что их работа может принести пользу в таких областях, как искусственный интеллект и проверка программного и аппаратного обеспечения. В конечном счете, формализация онтологического доказательства Гёделя вряд ли убедит атеистов или что-то изменит в душах истинных верующих, которые могли бы утверждать, что идея высшей силы не поддается логике по определению. Зато для математиков, ищущих способы выйти на новый уровень, эта новость может быть ответом на их молитвы.

5. Невролог утверждает, что клиническая смерть действительно существует

Хотя ни одного по-настоящему убедительного доказательства в обеих частях нашей статьи так и не появилось, мы не можем не написать здесь о клинической смерти.

Научное исследование показало, что клиническая смерть со всеми своими проявлениями, такими как яркий свет, путешествие сквозь туннель или ощущение выхода из собственного тела, — переживание более яркое и запоминающееся, чем какое-либо другое.

По словам бельгийского невролога Стивена Лориуса, главы Группы коматозных исследований в университетской больнице в городе Льеж, Бельгия, он за долгие годы работы побеседовал со многими пациентами, вышедшими из комы. Они рассказывали ему о своих «путешествиях» и другом околосмертном опыте.

Команда, составленная из учёных Группы коматозных исследований и сотрудников Университета когнитивной психологии, разработала анкеты для уточнения сенсорных и эмоциональных деталей в воспоминаниях испытуемых. Затем они сравнили клиническую смерть с другими воспоминаниями о реальных событиях, сопровождающихся сильными эмоциями, а также воспоминаниями о приятных мечтах и мыслях. Тем не менее, учёные с удивлением обнаружили, что клиническая смерть была гораздо ярче, чем любое воображаемое или реальное событие, в том числе рождение ребёнка и свадьба.

10 апреля 2013-го года доктор Лориус в интервью с CNN рассказал, что пациенты в реанимации часто боятся рассказывать свои истории о клинической смерти, так как опасаются, что люди не воспримут их всерьёз, но те, кто пережил подобный опыт, часто меняются навсегда и больше не боятся смерти.

Все они уверены, что их яркий опыт был реален. Доктор Лориус считает, что опыт берёт начало в физиологии человека. Кроме того, оказалось, что человеку достаточно просто подумать (возможно, ошибочно), что он умирает, и, скорее всего, память о предсмертном опыте появится.

Многие люди, получившие околосмертный опыт, физически не находились в смертельной опасности, и это косвенно доказывает, что восприятие риска смерти само по себе представляется важным с точки зрения получения околосмертного опыта.

Лориус не хочет спекулировать о существовании Рая или Ада, но, по его словам, лишь незначительное меньшинство клинических смертей являются ужасающими. В большинстве случаев они остаются с человеком как приятное воспоминание — наверное, куда больше людей летят в Рай, чем в Ад.