Goldstein R. Incompleteness: The Proof and Paradox of Kurt Gödel

W. W. Norton & Company, 2005. - 296 p. — (Great Discoveries). — ISBN: 0-393-05169-2.
Kurt Gödel is often held up as an intellectual revolutionary whose incompleteness theorem helped tear down the notion that there was anything certain about the universe. Philosophy professor, novelist, and MacArthur Fellow Rebecca Goldstein reinterprets the evidence and restores to Gödel's famous idea the meaning he claimed he intended: that there is a mathematical truth--an objective certainty--underlying everything and existing independently of human thought. Gödel, Goldstein maintains, was an intellectual heir to Plato whose sense of alienation from the positivists and postmodernists of the 1940s was only ameliorated by his friendship with another intellectual giant, Albert Einstein. As Goldstein writes, "That his work, like Einstein's, has been interpreted as not only consistent with the revolt against objectivity but also as among its most compelling driving forces is... more than a little ironic."
This and other paradoxes of Gödel's life are woven throughout Incompleteness, with biographical details taking something of a back seat to the philosophical and mathematical underpinnings of his theories. As an introduction to one of the three most profound scientific insights of the 20th century (the other two being Einstein's relativity and Heisenberg's uncertainty principle), Incompleteness is accessible, yet intellectually rigorous. Goldstein succeeds admirably in retiring inaccurate interpretations of Gödel's ideas.