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