Front cover image for Gödel's proof

Gödel's proof

Ernest Nagel (Author), James R. Newman (Author)
In 1931 Kurt Gödel published his paper, "On Formally Undecidable Propositions of Principia Mathematica and Related Systems." Gödel's paper challenged certain basic assumptions underlying much research in mathematics and logic. However, few scholars were unable to understand Gödel's ideas. Ernest Nagel and James Newman provide a readable and accessible explanation of the main ideas and broad implications of Gödel's discovery

Print Book, English, 2018