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.

2 komentáře:

  1. Ako mozem stiahnut alebo poyriet ten clanok?

    OdpovědětVymazat
    Odpovědi
    1. http://www.ulozto.sk/xpug4Kv/godeluv-ontologicky-dukaz-petr-hajek-pdf

      Vymazat