Онтологическое доказательство существования Бога от Курта Гёделя: логическая структура, критика и современное состояние
Я давно хотел разобрать антологическое доказательство Курта Гёделя о существовании Бога. Оно привлекло мое внимание очень давно, но тогда я плохо разбирался в математической логике. Сейчас я знаю больше. Другие разборы, которые я видел, казались мне не то что слабыми или не очень убедительными, а скорее не строгими, как это я привык в математике, поэтому я решил подготовить свой обзор на эту тему. Думаю вам понравится. Онтологическое доказательство Гёделя развивает многовековую философскую традицию, восходящую к Ансельму Кентерберийскому (XI век) и Готфриду Лейбницу (XVII век) ...