Boken 'Gödel's Proof' gir en lettfattelig forklaring på Kurt Gödels banebrytende arbeid innen matematisk logikk. I 1931 publiserte Gödel sitt fundamentale verk, 'Om formelt uavklarte utsagn i Principia Mathematica og relaterte systemer.' Dette revolusjonerende dokumentet utfordret grunnleggende forutsetninger som lå til grunn for mye av forskningen innen matematikk og logikk. Gödels arbeid ble anerkjent offentlig i 1951 da han mottok den første Albert Einstein-prisen for sine prestasjoner innen naturvitenskapene – en av de mest anerkjente utmerkelser av sitt slag i USA. Komiteen som delte ut prisen beskrev Gödels bidrag til matematisk logikk som 'en av de største bidragene til vitenskapene i nyere tid.' Til tross for Gödels genialitet, var det få matematikere på den tiden som var i stand til å forstå den unge forskerens komplekse bevisvoering. Gjennom 'Gödel's Proof' gir Ernest Nagel og James Newman en tilgjengelig og lesbar forklaring av hovedideene og de vidtrekkende implikasjonene av Gödels oppdagelse, og boken henvender seg både til akademikere og til ikke-spesialister som er nysgjerrige på emnet.
