Курт Гёдель и его онтологическое доказательство бытия Бога
 

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