Godel's Proof by Douglas R. Hofstadter, James R. Newman, Ernest Nagel

In 1931 Kurt Godel published his fundamental paper, "On Formally Undecidable Propositions of "Principia Mathematica" and Related Systems." This revolutionary …