Product 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.

Marking the 50th anniversary of the original publication of Gödel's Proof, New York University Press is proud to publish this special anniversary edition of one of its bestselling and most frequently translated 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.

Product Details

• Amazon Sales Rank: #61915 in Books
• Published on: 2008-10-01
• Released on: 2008-10-01
• Original language: English
• Number of items: 1
• Binding: Paperback
• 129 pages

Features

• ISBN13: 9780814758373
• Condition: NEW
• Notes: Brand New from Publisher. No Remainder Mark.
• Click here to view our Condition Guide and Shipping Prices

Amazon.com Review
Gödel's incompleteness theorem--which showed that any robust mathematical system contains statements that are true yet unprovable within the system--is an anomaly in 20th-century mathematics. Its conclusions are as strange as they are profound, but, unlike other recent theorems of comparable importance, grasping the main steps of the proof requires little more than high school algebra and a bit of patience. Ernest Nagel and James Newman's original text was one of the first (and best) to bring Gödel's ideas to a mass audience. With brevity and clarity, the volume described the historical context that made Gödel's theorem so paradigm-shattering. Where the first edition fell down, however, was in the guts of the proof itself; the brevity that served so well in defining the problem made their rendering of Gödel's solution so dense as to be nearly indigestible.

This reissuance of Nagel and Newman's classic has been vastly improved by the deft editing of Douglas Hofstadter, a protégé of Nagel's and himself a popularizer of Gödel's work. In the second edition, Hofstadter reworks significant sections of the book, clarifying and correcting here, adding necessary detail there. In the few instances in which his writing diverges from the spirit of the original, it is to emphasize the interplay between formal mathematical deduction and meta-mathematical reasoning--a subject explored in greater depth in Hofstadter's other delightful writings. --Clark Williams-Derry

Review

"A little masterpiece of exegesis."

"An excellent non-technical account of the substance of Gödel's celebrated paper."

About the Author

Ernest Nagel was John Dewey Professor of Philosophy at Columbia University.

James R. Newman was the author of What is Science.

Douglas R. Hofstadter is College of Arts and Sciences Professor of computer science and cognitive science at Indiana University and author of the Pulitzer-prize winning Gödel, Escher, Bach: An Eternal Golden Braid.

Customer Reviews

An Abstruse Mathematical Proof Made Fascinating
This is a remarkable book. It examines in considerable detail Godel's proof, a mathematical demonstration noted for its difficulty in its novel logical arguments. The chapter topics - the systematic codification of formal logic, an example of a successful absolute proof of consistency, the arithmetization of meta-mathematics - appear almost unapproachable. And yet, Ernest Nagel and James R. Newman have created a delightful exposition of Godel's proof. I actually read this book in one sitting that took me late into the night. I simply didn't want to stop; it is really a good little book.

Godel's proof is not easy to follow, nor easy to grasp the full implications of its conclusions. Many mathematical texts, overviews, and historical summaries avoid directly discussing Godel's proof as these quotes indicate: "Godel's proof is even more abstruse than the beliefs it calls into question." "The details of Godel's proofs in his epoch-making paper are too difficult to follow without considerable mathematical training. "These theorems of Godel are too difficult to consider in their technical details here." Such is the common reference to Kurt Godel's milestone work in logic and mathematics.

In their short book (118 pages) Nagel and Newman present the basic structure of Godel's proof and the core of his conclusions in a way that is intelligible to the persistent layman. This is not an easy book, but it is not overly difficult either. It does require concentration and a willingness to reread some sections, especially the second half.

"Godel's Proof" begins with an explanation of the consistency problem: how can we be assured that an axiomatic system is both complete and consistent? The next chapter reviews relevant mathematical topics, modern formal logic, and places Godel's work in a meaningful historical context. Following chapters explain Hilbert's approach to the consistency problem - the formalization of a deductive system, the meaning of model-based consistency versus absolute consistency, and gives an example of a successful absolute proof of consistency.

The plot now begins to twist and turn. We learn about the Richardian Paradox, an unusual mapping that proves to be logically flawed, but nonetheless provided Godel with a key to mapping meta-mathematics to an axiomatic deductive system. (I forgot to explain meta-mathematics; you will need to read the story.) And then we learn about Godel numbering, a mind boggling way to transform mathematical statements into arithmetic quantities. This novel approach leads to conclusions that shake the foundations of axiomatic logic!

The authors carefully explore and explain Godel's conclusions. For the first time I began to comprehend Godel's fundamental contribution to mathematics and logic. I am almost ready to turn to Godel's original work (in translation), his 1931 paper titled "On Formally Undecidable Propositions of Principia Mathematica and Related Systems". But first, I want to read this little book, this little gem, a few more times.

Wish I'd read it first ...
I read Godel's paper in grad school. I wish I had read this first, because it lays out the structure of the argument clearly. N&N are particularly good on clarifying what Godel did and did not prove. This is important because of all the loose mystical obfuscation out there about this theorem.

N&N clearly explain what formal "games with marks" methods are, and why mathematicians resort to them. They then walk through what Godel proved, with a bit on how he proved it. The basic idea of his (blitheringly complex) mapping is explained quite well indeed.

Suitable for mathematicians, or philosophy students tired of mystical speculations. Also goo for anyone with an interest in computability theory or any formal logic. And read it before you read Godel's paper!

An excellent guide to Gödel
Simply magnificent. This book meets and exceeds the description on its back cover -- offering "any educated person with a taste for logic and philosophy the chance to satisfy his intellectual curiosity about a previously inaccessible subject." This book gives anyone with the interest and the motivation a solid, if not complete, understanding of the ideas underlying the proof. While it's true that someone very unfamiliar with mathematics (or, more importantly, with logic and mathematical thinking) would not get as much out of the book, it does a very good job of walking the reader through Gödel's complex but breathtakingly elegant reasoning. I wholeheartedly recommend this book.