دانلود کتاب Godel's Theorem in Focus

فهرست مطالب :

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