Godel's Theorem in Focus

A layman's guide to the mechanics of Gödel's proof together with a lucid discussion of the issues which it raises. Includes an essay discussing the significance of Gödel's work in the light of Wittgenstein's criticisms.

S.G. Shanker

Chapter 1 Kurt Gödel in Sharper Focus, John W. Dawson Jr.; Chapter 2 On Formally Undecidable Propositions of Principia Mathematica And Related Systems I (1931), Kurt Gödel; Chapter 3 The Work of Kurt Gödel, Stephen C. Kleene; Part 1 An Addendum to 'The Work of Kurt Gödel'; Chapter 4 The Reception of Gödel's Incompleteness Theorems, John W. Dawson Jr.; Chapter 5 Kurt Gödel, Solomon Feferman; Chapter 6 On the Philosophical Significance of Consistency Proofs, Michael D. Resnik; Chapter 7 On Interpreting Gödel's Second Theorem, Michael Detlefsen; Part 2 Postscript; Chapter 8 Wittgenstein's Remarks on the Significance of Gödel's Theorem, S.G. Shanker;