Gödel's theorem in focus
著者
書誌事項
Gödel's theorem in focus
(Routledge philosophers in focus series)
Routledge, 1989 c1988
- : pbk.
大学図書館所蔵 件 / 全3件
-
該当する所蔵館はありません
- すべての絞り込み条件を解除する
注記
Includes index
"First published in 1988 by Croom Helm Ltd"
"Reprinted 1989, 1990, 1991 by Routledge"
内容説明・目次
内容説明
A layman's guide to the mechanics of Goedel's proof together with a lucid discussion of the issues which it raises. Includes an essay discussing the significance of Goedel's work in the light of Wittgenstein's criticisms.
目次
- 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
「Nielsen BookData」 より