Skip to Content

"Знатокиада - 2009" (Всемирные игры знатоков) (Эйлат). ЧГК. 3 тур. Вопрос 5

Вопрос 5:


    Перед вами ОНО, принадлежащее Курту Гёделю. Назовите ЕГО тремя словами.

Ответ: Доказательство существования Бога.

Зачёт: Доказательство бытия божия.

Комментарий: В последней строке виден квантор существования и латинская буква G. Забавно, что на теореме Гёделя о неполноте основывают доказательства того, что Бога нет. Первая теорема Гёделя о неполноте утверждает, что в любой достаточно сильной системе аксиом существуют недоказуемые истинные утверждения. Утверждение о существовании Бога сам Гёдель, однако, к таким не относил.

Источник(и): http://en.wikipedia.org/wiki/G%C3%B6del's_ontological_proof

Автор: Константин Изъюров (Швейцария)

 !