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.
Zobrazují se příspěvky se štítkemGödel. Zobrazit všechny příspěvky
Zobrazují se příspěvky se štítkemGödel. Zobrazit všechny příspěvky
pátek 30. října 2009
Přihlásit se k odběru:
Příspěvky (Atom)