Download or read book Godel's Proof written by Ernest Nagel and published by Lulu.com. This book was released on 2018-09-10 with total page 132 pages. Available in PDF, EPUB and Kindle. Book excerpt: 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.