Gödel's Proof

Ernest Nagel, James Roy Newman

Routledge & Kegan Paul, 1959 - Gödel's theorem - 118 pages

Contents

• The Problem of Consistency: 8
• Absolute Proofs of Consistency: 26
• The Systematic Codification of Formal Logic: 37
• An Example of a Successful Absolute Proof: 45
• The Idea of Mapping and Its Use in Mathematics: 57
• Gödels Proofs: 68
• Concluding Reflections: 98

Bibliographic information

• Title: Gödel's Proof
• Authors: Ernest Nagel, James Roy Newman
• Publisher: Routledge & Kegan Paul, 1959
• Original from: the University of California
• Digitized: Nov 10, 2009
• Length: 118 pages