Nagel Newman
77
-
Upload
nilim-sarma -
Category
Documents
-
view
40 -
download
3
description
Godels Proof
Transcript of Nagel Newman
-
FrontispieceTitle PageLibrary of Congress Cataloging-in-Publication DataDedicationTable of ContentsForeword to the New Edition by Douglas R. HofstadterAcknowledgmentsI. IntroductionII. The Problem of ConsistencyIII. Absolute Proofs of ConsistencyIV. The Systematic Codification of Formal LogicV. An Example of a Successful Absolute Proof of ConsistencyVI. The Idea of Mapping and Its Use in MathematicsVII. Gdel's ProofsA. Gdel numberingB. The arithmetization of meta-mathematicsC. The heart of Gdel's argument
VIII. Concluding ReflectionsAppendix: NotesBrief BibliographyIndex