Курт Гедель: Бог должен существовать!

На модерации Отложенный Переломом в математике ХХ века были теоремы о неполноте Курта Геделя. А в его рукописях, опубликованных после смерти, сохранилось логическое доказательство существования Бога. Изложение его аргументации невозможно без знания основ модальной логики, но если вкратце, то - «Бог, по определению, является Тем, больше Кого нельзя ничего помыслить. Бог существует в мышлении. Но существование в реальности больше, нежели существование только в мысли. Следовательно, Бог должен существовать». В 1949 г. Гедель выразил свои идеи в математическом эссе, которое, по мнению Эйнштейна, являлось важным вкладом в общую теорию относительности .
Гедель считал, что время — «эта таинственная и противоречивая сущность, которая формирует основу мира и нашего собственного существования», — «когда-то» перестанет существовать, и наступит иная форма бытия, которую можно назвать вечностью. Такое представление о времени привело великого логика к неожиданному выводу. Он писал: «Если мир является разумно сконструированным, тогда должно быть посмертное существование».
http://www.pravmir.ru