Gödel's proof

"Continuously in print and translated into more than a dozen languages since its publication in 1958, Gödel's Proof is the seminal work explaining Kurt Gödel's 1931 paper, 'On Formally Undecidable Propositions of Principia Mathematica and Related Systems.' Ernest Nagel and James R. Newman provide a clear, non-technical explanation of Gödel's incompleteness theorem and examine the ways in which Gödel's work changed fundamental assumptions about the nature of mathematics and logic. In this fiftieth-anniversary edition, Pulitzer Prize-winning author Douglas R. Hofstadter updates the text of this classic work, clarifying arguments and eliminating ambiguities, making the book even more accessable. Of interest to scholars, students, and professionals in mathematics, science, logic, and philosophy, Godel's Proof remains, fifty years later, a groundbreaking and indispensable work"--Back cover.