Курт Гедель (1906-1978) — выдающийся логик и математик XX века, известный в научном мире благодаря теоремам о неполноте, шесть лет своей жизни пытался осуществить главное дело своей жизни — написать последнее и окончательное онтологическое доказательство бытия Бога. В результате его усилий 10.02.1970 г. появился текст, представляющий собой ряд утверждений модальной логики. Он состоит из пяти аксиом, трех определений и двух теорем. Доказательство умещается на одной странице.
Оно впервые опубликовано в третьем томе собрания сочинений Геделя, вышедшем в 1995 году. На русском языке это доказательство появилось в книге российского математика Юрия Ивановича Манина (см. Манин Ю. И. Математика как метафора,— М.: МЦНМО, 2008,— 400с.)
Такие дела.
Только зарегистрированные и авторизованные пользователи могут оставлять комментарии.
Если вы используете ВКонтакте, Facebook, Twitter, Google или Яндекс, то регистрация займет у вас несколько секунд, а никаких дополнительных логинов и паролей запоминать не потребуется.