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.

In 1931, Kurt Godel published his fundamental paper that challenged certain basic assumptions underlying much research in mathematics and logic. Nagel and Newman provide a readable and accessible explanation of the main ideas and broad implications of Godel's discovery.