Godel's Proof

Description

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 logic. Gödel received public recognition of his work in 1951 when he was awarded the first Albert Einstein Award for achievement in the natural sciences—perhaps the highest award of its kind in the United States. The award committee described his work in mathematical logic as "one of the greatest contributions to the sciences in recent times."

However, few mathematicians of the time were equipped to understand the young scholar's complex proof. Ernest Nagel and James Newman provide a readable and accessible explanation to both scholars and non-specialists of the main ideas and broad implications of Gödel's discovery. It offers every educated person with a taste for logic and philosophy the chance to understand a previously difficult and inaccessible subject.

New York University Press is proud to publish this special edition of one of its bestselling books. With a new introduction by Douglas R. Hofstadter, this book will appeal students, scholars, and professionals in the fields of mathematics, computer science, logic and philosophy, and science.




Mirror -> Depositfiles





http://rapidshare.com/files/62602207/gdel_s_proof_nagel_and_newman_2001_82p.djvu






Thanks for the book and mihd link.

Disclaimer:
Contents of this page are indexed from the Internet. All actions are under your responsability. Email us to report illegal contents or external links and we'll remove them immediately.

Please check the description for download links if any or do a search to find alternative books.

Can't Download?
Please search mirrors if you can't find download links for "Godel's Proof" in "Description" and someone else may update the links. Check the comments when back to find any updates.

Search Mirrors
Maybe some mirror pages will be helpful, search this book at top of this page or click here to find more info.

1. Ebooks list page : 1479
2. Incompleteness: The Proof and Paradox of Kurt Godel
3. Reductive Logic and Proof-search: Proof Theory, Semantics, and Control
4. Applied Proof Theory: Proof Interpretations and their Use in Mathematics (repost)
5. The Proof Is in the Pudding: The Changing Nature of Mathematical Proof (ReUp)
6. Applied Proof Theory: Proof Interpretations and their Use in Mathematics (Springer Monographs in Mathematics)
7. Proof Theory and Logical Complexity : Volume I (Studies in Proof Theory)
8. Kurt Godel: The Album
9. Fun People - Godel Hits
10. Logical Dilemmas: The Life and Work of Kurt Godel
11. [request_ebook] Godel,escher,bach
12. Logical Dilemmas: The Life and Work of Kurt Godel
13. Godel, Escher, Bach: An Eternal Golden Braid
14. Logical Dilemmas: The Life and Work of Kurt Godel
15. Logical Dilemmas: The Life and Work of Kurt Godel
16. [share_ebook] Godel, Escher, Bach: An Eternal Golden Braid