Gödel's Proof
By: by Ernest Nagel and James R. Newman.
Contributors: Newman, James Roy, 1907-1966, joint author.
Publisher: New York University Press
Published: 1958
Place of publication: New York, USA
Language: eng
Format: Paperback
Number of pages: 118
Copyright date: 1958
Subjects: Gödel's theorem.
First sentence: In 1931 there appeared in a German scientific periodical a relative short paper with the forbidding title “Über formal unentscheidbare Sätze der Principia Mathematica und verwandter Systeme” (“On Formally Undecidable Propositions of Principia Mathematica and Related Systems”).
Table of contents: title: Contents
pagenum: vii; title: Acknowledgments
pagenum: ix; label: I
title: Introduction
pagenum: 3; label: II
title: The Problem of Consistency
pagenum: 8; label: III
title: Absolute P:roofs of Consistency
pagenum: 26; label: IV
title: The Systematic Codification of Formal Logic
pagenum: 37; label: V
title: An Example of a Successful Absolute Proof of Consistency
pagenum: 45; label: VI
title: The Idea of Mapping and Its Use in Mathematics
pagenum: 57; label: VII
title: Gödel's Proofs
pagenum: 68; label: VIII
title: Concluding Reflections
pagenum: 98; title: Appendix: Notes
pagenum: 105; title: Brief Bibliography
pagenum: 115; title: Index
pagenum: 117