pátek 30. října 2009

Petr Hájek a Gödelův ontologický důkaz boží existence

Jak známo, jeden z největších logiků všech dob, Kurt Gödel, zanechal v pozůstalosti verzi ontologického důkazu Boha. Prof. Petr Hájek (CZ), přední český matematik, populární formou vysvětluje zjednodušenou formu důkazu v článku "Gödelův ontologický důkaz" (pdf CZ). Původní verzi Gödelova důkazu prezentuje Petr Olmert (CZ).

Pokročilejší četba: kniha Logic and algebra z r. 1996 (EN) s formálně logickým článkem prof. Hájka. Prof. Hájek je taktéž odborníkem na fuzzy logiku - má článek na SEP.

Žádné komentáře:

Okomentovat

 
Licence Creative Commons
Poznámky pod čarou, jejímž autorem je Daniel D. Novotný, podléhá licenci Creative Commons Uveďte autora-Nevyužívejte dílo komerčně-Zachovejte licenci 3.0 Česko .
Vytvořeno na základě tohoto díla: poznamkypodcarou2011.blogspot.com