Gödelov dokaz

“U jednom njemačkom znanstvenom časopisu pojavio se 1931. razmjerno kratak članak odbojna naslova ‘Über 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 na 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.