## Godel's Proof (Google eBook)In 1931 Kurt Gödel published his fundamental paper, "On Formally Undecidable Propositions of 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 |

### What people are saying - Write a review

#### Review: Gödel's Proof

User Review - Adam - GoodreadsExcellent explication of Godel's proof. I appreciate both the simplicity and accuracy of the account this book gives, and the fact that it does not take Godel and make ridiculous assertions about what ... Read full review

### Contents

Introduction | 1 |

The Problem of Consistency | 7 |

Absolute Proofs of Consistency | 25 |

The Systematic Codification of Formal Logic | 37 |

An Example of a Successful Absolute Proof of Consistency | 45 |

The Idea of Mapping and Its Use in Mathematics | 57 |

Godels Proofs | 68 |

B The arithmetization of metamathematics | 80 |

C The heart of Godels argument | 92 |

Concluding Reflections | 109 |

Notes | 114 |

125 | |

127 | |