✍ Scribed by S. G. Shanker (editor)
No coin nor oath required. For personal study only.
A layman's guide to the mechanics of Godel's proof together with a lucid discussion of the issues which it raises.
Front Cover
Gödel's Theorem in focus
Copyright Page
Contents
Preface
Acknowledgements
I. John W. Dawson, Jr. : Kurt Gödel in Sharper Focus
II. Kurt Gödel: On Formally Undecidable Propositions of Principia Mathematica and Related Systems I (1931)
III. Stephen C. Kleene: The Work of Kurt Gödel
IV. John W. Dawson, Jr. : The Reception of Gödel's Incompleteness Theorems
V. Solomon Feferman: Kurt Gödel: Conviction and Caution
VI. Michael D. Resnik: On the Philosophical Significance of Consistency Proofs
VII. Michael Detlefsen: On Interpreting Gödel's Second Theorem
VIII. S.G. Shanker: Wittgenstein's Remarks on the Significance of Gödel's Theorem
Index
📜 SIMILAR VOLUMES
A layman's guide to the mechanics of Godel's proof together with a lucid discussion of the issues which it raises.
Kurt Godel, the greatest logician of our time, startled the world of mathematics in 1931 with his Theorem of Undecidability, which showed that some statements in mathematics are inherently "undecidable." His work on the completeness of logic, the incompleteness of number theory, and the consistency
Kurt Godel, the greatest logician of our time, startled the world of mathematics in 1931 with his Theorem of Undecidability, which showed that some statements in mathematics are inherently "undecidable." His work on the completeness of logic, the incompleteness of number theory, and the consistency
considered a "concise," "modern classic" by Peter Smith, author of [*An Introduction to Gödel's Theorems*](http://www.godelbook.net/)