úterý 29. listopadu 2011

Gödel a ontologický důkaz

Gödelův důkaz tak, jak ho popisuje Petr Hájek (logik, nikoli poradce) se trochu od Gödelova rukopisu odchyluje, pochopitelně v zájmu srozumitelnosti. Původnější anglicko-české zrcadlové vydání v PDF je zde:

https://docs.google.com/open?id=0B3pp9Xdhjj-sOTVhNzU2YTktMTgzNy00ODNmLWE0NDItYzRiOWI2ZmQ0NWU5

Sice nebylo skoro co překládat, ale je téměř jisté, že alespoň jedna hrubá chyba tam je. Zkuste ji najít.

Žádné komentáře: