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:
Okomentovat