Godel's Proof

Front Cover
Routledge, Dec 6, 2012 - Philosophy - 104 pages
5 Reviews

'Nagel and Newman accomplish the wondrous task of clarifying the argumentative outline of Kurt Godel's celebrated logic bomb.' – The Guardian

In 1931 the mathematical logician Kurt Godel published a revolutionary paper that challenged certain basic assumptions underpinning mathematics and logic. A colleague of physicist Albert Einstein, his theorem proved that mathematics was partly based on propositions not provable within the mathematical system. The importance of Godel's Proof rests upon its radical implications and has echoed throughout many fields, from maths to science to philosophy, computer design, artificial intelligence, even religion and psychology. While others such as Douglas Hofstadter and Roger Penrose have published bestsellers based on Godel’s theorem, this is the first book to present a readable explanation to both scholars and non-specialists alike. A gripping combination of science and accessibility, Godel’s Proof by Nagel and Newman is for both mathematicians and the idly curious, offering those with a taste for logic and philosophy the chance to satisfy their intellectual curiosity.

Kurt Godel (1906 – 1978) Born in Brunn, he was a colleague of physicist Albert Einstein and professor at the Institute for Advanced Study in Princeton, N.J.

 

What people are saying - Write a review

User ratings

5 stars
2
4 stars
1
3 stars
1
2 stars
1
1 star
0

LibraryThing Review

User Review  - palaverofbirds - LibraryThing

For a book that was supposed to simplify Godel's Proof it was exceptionally complex. No real thesis either; basically, the first 75% of the book is just setting up preliminaries and doesn't even deal ... Read full review

LibraryThing Review

User Review  - encephalical - LibraryThing

Left me wondering about more foundational items that were mentioned in passing such as 'primitive recursive truths' and the 'Correspondence Lemma'. The exposition seemed rushed at the end. Read full review

Contents

1 Introduction
1
2 The Problem of Consistency
5
3 Absolute Proofs of Consistency
19
4 The Systematic Codification of Formal Logic
28
5 An Example of a Successful Absolute Proof of Consistency
34
6 The Idea of Mapping and its Use in Mathematics
44
7 Gödels Proofs
53
8 Concluding Reflections
76
Notes
81
Brief Bibliography
89
Index
91
Copyright

Other editions - View all

Common terms and phrases

Bibliographic information