Denne boken gir en lettfattelig forklaring av Kurt Gödels banebrytende arbeid innen matematisk logikk. I 1931 publiserte Gödel sitt grunnleggende papir 'Om formelt ikke-besluttbare proposisjoner av Principia Mathematica og relaterte systemer.' Dette revolusjonerende verket utfordret flere grunnleggende antagelser som lå til grunn for mye av forskningen innen matematikk og logikk. Gödels arbeid fikk offentlig anerkjennelse i 1951 da han mottok den første Albert Einstein-prisen for prestasjoner innen naturvitenskap, ansett som en av de mest anerkjente prisene av sitt slag i USA. Priskomiteen beskrev hans bidrag til matematisk logikk som 'en av de største bidragene til vitenskapene i moderne tid.' Imidlertid var det få matematikere på den tiden som hadde kompetanse til å forstå den unge forskerens komplekse bevis. Ernest Nagel og James Newman gir en leservennlig og forståelig forklaring av de sentrale ideene og de vidtrekkende konsekvensene av Gödels oppdagelse. Boken henvender seg til alle med en viss kunnskap, og gir innblikk i et av de mest fascinerende emnene innen vitenskapen.
