Godel's Proof

In 1931 Kurt Godel disrupted some of the fundamental assumptions underlyingmathematics and logic with the publication of his revolutionary paper OnFormally Unde... » 

In 1931 Kurt Godel disrupted some of the fundamental assumptions underlyingmathematics and logic with the publication of his revolutionary paper OnFormally Undecidable Propositions of Principia Mathematica and RelatedSystems. Ironically few mathematicians of the time were able to understandthe young scholars complex proof and the full importance of this work waslargely overlooked for many years. Godel was at last recognized by his peersand presented with the first Albert Einstein Award in 1951 for achievement inthe natural sciences the highest honor of its kind in the United States. Theaward committee which included Albert Einstein and J. Robert Oppenheimerdescribed his work in as one of the greatest contributions to the sciences inrecent times.In Godels Proof Ernest Nagel and James Newman provide a readable and nontechnical explanation for both scholars and nonspecialists of the main ideasand broad implications of Godels theory. First published in 1958 and in printcontinuously since then in 10 languages this highly popular seminal workoffers every educated person with a taste for logic and philosophy the chanceto understand a previously difficult and inaccessible subject. «