Gödeli tõestus

koos Kurt Gödeli loenguga matemaatika alustest ja Tanel Tammeti järelsõnaga

Teadusfilosoofi Ernest Nageli (1901–1985) ning teadusloolase ja populariseerija James R. Newmani (1907–1966) raamat oli esimene, mis esitas Gödeli tõestuse põhiideed ja kaugemad järeldused laiemale publikule ligipääsetaval kujul. Raamat on ilmunud mitmes trükis, tõlgitud tosinasse keelde ja on avaldanud innustavat mõju mitmele loogikute, matemaatikute ja filosoofide põlvkonnale. Käesolevasse väljaandesse on tõlgitud lisaks üks Kurt Gödeli 1951. aasta loeng tema teoreemide filosoofilistest järeldustest. Tanel Tammeti järelsõna selgitab Gödeli kohta loogika tormilises arengus 20. sajandi alguses.