Shelfari Book Activity

Tags: soundness

• 

  

  • plan to read
  • reading now
  • I’ve read it
  • favorite
  • want to own
  • own it
  • remove book

  Gödel's proof,

  by Ernest Nagel

  "A little masterpiece of exegesis." - Nature "An excellent nontechnical account of the substance of Gödel's celebrated paper." -American Mathematical Society In 1931 Kurt Gödel 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... (more)