Gödel's Proof

In 1931 Kurt Godel published his fundamental paper, On Formally Undecidable Propositions of Principia Mathematica and Related Systems. This revolutionary paper challenged certain basic assumptions underlying much research in mathematics and logic. The authors provide an explanation of the main ideas and broad implications of Godel's discovery.

"A little masterpiece of exegesis." (Nature) "An excellent nontechnical account of the substance of Gödel's celebrated paper." - American Mathematical Society

Ernest Nagel was John Dewey Professor of Philosophy at Columbia University.

James R. Newman was the author of What is Science .

Douglas R. Hofstadter is College of Arts and Sciences Professor of computer science and cognitive science at Indiana University and author of the Pulitzer-prize winning Gödel, Escher, Bach: An Eternal Golden Braid .