Gödelov dokaz

• knjiga je na nekoliko stranica podcrtavana običnom olovkom

S korica:

“U jednom njemačkom znanstvenom časopisu pojavio se 1931. razmjerno kratak članak odbojna naslova ‘Uber formal unentscheidbare Sätze der Principia Mathematica und verwandter Systeme I’ (‘O formalno neodlučivim stavcima Principia Mathematica i srodnih sustava I’). Njegov je autor bio Kurt Gödel, tada mladi dvadesetpetogodišnji matematičar na Sveučilištu u Beču, a od 1938. stalni član Instituta za napredni studij u Princetonu. Taj članak predstavlja prekretnicu u povijesti logike i matematike. Kada je Sveučilište Harvard dodijelilo 1952. Gödelu počasni doktorat, u javnoj se pohvali taj rad opisuje kao jedan od najznačajnijih koraka u logici u moderno doba. […]

Cilj je ove rasprave da bit Gödelovih pronalazaka i opći karakter njegova dokaza učini pristupačnim nestručnjaku.”

(Iz Uvoda)

Drugi dio ove knjige donosi prijevod spomenutog Gödelova članka.