Beschreibung:
Beginning with a short biography of Kurt Godel, "Godel's Theorem in Focus" provides the reader with a clear guide to the mechanics of Godel's proof in a format intelligible to the non-mathematician. The book moves on to explanations of the mechanics of Godel's proof and its significance for mathematical logic and the philosophy of mathematics. In the final section, S. G. Shanker presents a major new critique of Godel's theorem.
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;