July 21st, 2018

Pygar

(no subject)

Век живи, век учись, дураком помрешь.

Некоторое время назад обсуждался здесь следующий сюжет:

Вассерман опроверг существование Бога с помощью теорем Геделя
Уже стало знаменитым рассуждение Анатолия Вассермана, которое пора назвать «Теоремой Вассермана (о несуществовании Бога)».


А на самом деле вот что оказывается:
Что, гораздо менее известно, так это вклад Гёделя в разработку своего собственного варианта онтологического доказательства бытия Бога. В последний период жизни, используя аппарат модальной логики, он реконструирует и модифицирует знаменитый онтологический аргумент Ансельма Кентерберийского. В феврале 1970 года Гёдель показал свое доказательство американскому логику Дана Скотту и они обсудили его между собой.

Слово Википедии:
Другие онтологические аргументы принадлежат Курту Геделю, который предложил формальный аргумент в пользу существования Бога.

Вопрос из области формальной логики: на ком из них оттоптаться
из истинной или ложной посылки можно сделать с одинаковым успехом два противоречащих друг другу вывода?