V knize Gödelův důkaz nabízejí Ernest Nagel a James R. Newman čtivý a speciální symboliky prostý výklad hlavních myšlenek a důsledků Gödelova objevu. Kniha byla poprvé publikována v roce 1958, a od té doby je znovu a znovu vydávána – čeština je jedenáctým jazykem, do něhož byla přeložena. Nagelova a Newmanova populární a vlivná práce nabízí vzdělanému čtenáři se zájmem o matematiku, logiku a filozofii příležitost porozumět důkazu jinak obtížnému a nepřístupnému. V posledním vydání tuto dnes již klasickou práci přehlédl a aktualizoval nositel Pulitzerovy ceny Douglas R. Hofstadter. Odstranil víceznačnosti, vyjasnil argumenty a text učinil ještě přístupnějším. Připojil úvod, kde odhaluje svůj vztah k této knížce a vliv, jaký měla na jeho odborný růst, vysvětluje podstatu Gödelova důkazu a ukazuje, jak a proč je tento důkaz dodnes důležitý. Aktuální vydání je nově rozšířeno o doslov Alexandra Meduny (FIT VUT) s názvem "Brněnský rodák Kurt Gödel a jeho odkaz". Kniha je určena studentům, vědcům, učitelům, jakož i odborníkům na matematiku, kybernetiku, logiku, filozofii a přírodní vědy.