Доказательство бытия Бога
 
kxmep

Доказательство бытия Бога

+4

Курт Гедель (1906-1978) — выдающийся логик и математик XX века, известный в научном мире благодаря теоремам о неполноте, шесть лет своей жизни пытался осуществить главное дело своей жизни — написать последнее и окончательное онтологическое доказательство бытия Бога. В результате его усилий 10.02.1970 г. появился текст, представляющий собой ряд утверждений модальной логики. Он состоит из пяти аксиом, трех определений и двух теорем. Доказательство умещается на одной странице.

 

 

 

Оно впервые опубликовано в третьем томе собрания сочинений Геделя, вышедшем в 1995 году. На русском языке это доказательство появилось в книге российского математика Юрия Ивановича Манина (см. Манин Ю. И. Математика как метафора,— М.: МЦНМО, 2008,— 400с.)

 

Такие дела.

Вставка изображения


Для того, чтобы узнать как сделать фотосет-галлерею изображений перейдите по этой ссылке


Только зарегистрированные и авторизованные пользователи могут оставлять комментарии.
Если вы используете ВКонтакте, Facebook, Twitter, Google или Яндекс, то регистрация займет у вас несколько секунд, а никаких дополнительных логинов и паролей запоминать не потребуется.
 

Авторизация


Регистрация
Напомнить пароль