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.
Ako mozem stiahnut alebo poyriet ten clanok?
OdpovědětVymazathttp://www.ulozto.sk/xpug4Kv/godeluv-ontologicky-dukaz-petr-hajek-pdf
Vymazat