Курт Гедель (1906-1978) — выдающийся логик и математик XX века, известный в научном мире благодаря теоремам о неполноте, шесть лет своей жизни пытался осуществить главное дело своей жизни — написать последнее и окончательное онтологическое доказательство бытия Бога. В результате его усилий 10.02.1970 г. появился текст, представляющий собой ряд утверждений модальной логики. Он состоит из пяти аксиом, трех определений и двух теорем. Доказательство умещается на одной странице.
(IMG:
http://writercenter.ru/uploads/images/00/23/38/2015/06/24/f803e11d71.jpg)
Оно впервые опубликовано в третьем томе собрания сочинений Геделя, вышедшем в 1995 году. На русском языке это доказательство появилось в книге российского математика Юрия Ивановича Манина (см. Манин Ю. И. Математика как метафора,— М.: МЦНМО, 2008,— 400с.)
Такие дела.
PS
Про Геделя есть еще забавный апокриф, как ему визу в США не хотели давать. Очень показательный.