| 查看: 817 | 回复: 8 | |||
| 【奖励】 本帖被评价7次，作者pkusiyuan增加金币 5.4 个 | |||
[资源]
Cambridg2011Kurt Goedel and the Foundations of Mathematics
|
|||
|
Contributors page xi Foreword – Gaisi Takeuti xiii Preface xv Acknowledgments xvii Short Biography of Kurt G¨odel xix I Historical Context: G¨odel’s Contributions and Accomplishments Go¨del’s Historical, Philosoph1ical, and Scientific Work 1 The Impact of G¨odel’s Incompleteness Theorems on Mathematics 3 Angus Macintyre 2 Logical Hygiene, Foundations, and Abstractions: Diversity among Aspects and Options 27 Georg Kreisel G¨odel’s Legacy: A Historical Perspective 3 The Reception of G¨odel’s 1931 Incompletability Theorems by Mathematicians, and Some Logicians, to the Early 1960s 57 Ivor Grattan-Guinness 4 “Dozent G¨odel Will Not Lecture” 75 Karl Sigmund 5 G¨odel’s Thesis: An Appreciation 95 Juliette Kennedy 6 Lieber Herr Bernays! Lieber Herr G¨odel! G¨odel on Finitism, Constructivity, and Hilbert’s Program 111 Solomon Feferman vii viii contents The Past and Future of Computation 7 Computation and Intractability: Echoes of Kurt G¨odel 137 Christos H. Papadimitriou 8 Fromthe Entscheidungsproblem to the Personal Computer – and Beyond 151 B. Jack Copeland G¨odelian Cosmology 9 G¨odel, Einstein, Mach, Gamow, and Lanczos: G¨odel’s Remarkable Excursion into Cosmology 185 Wolfgang Rindler 10 Physical Unknowables 213 Karl Svozil II A Wider Vision: The Interdisciplinary, Philosophical, and Theological Implications of G¨odel’sWork On the Unknowables 11 G¨odel and Physics 255 John D. Barrow 12 G¨odel, Thomas Aquinas, and the Unknowability of God 277 Denys A. Turner G¨odel and the Mathematics of Philosophy 13 G¨odel’s Mathematics of Philosophy 299 Piergiorgio Odifreddi G¨odel and Philosophical Theology 14 G¨odel’s Ontological Proof and Its Variants 307 Petr H´ajek G¨odel and the Human Mind 15 The G¨odel Theorem and Human Nature 325 Hilary W. Putnam 16 G¨odel, the Mind, and the Laws of Physics 339 Roger Penrose III New Frontiers: Beyond G¨odel’sWork in Mathematics and Symbolic Logic Extending G¨odel’s Work 17 G¨odel’s Functional Interpretation and Its Use in Current Mathematics 361 Ulrich Kohlenbach contents ix 18 My Forty Years on His Shoulders 399 Harvey M. Friedman The Realm of Set Theory 19 My Interaction with Kurt G¨odel: The Man and HisWork 435 Paul J. Cohen G¨odel and the Higher Infinite 20 The Transfinite Universe 449 W. Hugh Woodin G¨odel and Computer Science 21 The G¨odel Phenomenon in Mathematics: A Modern View 475 Avi Wigderson Index 509 |
回复此楼» 本帖附件资源列表
-
欢迎监督和反馈：小木虫仅提供交流平台，不对该内容负责。
本内容由用户自主发布，如果其内容涉及到知识产权问题，其责任在于用户本人，如对版权有异议，请联系邮箱：xiaomuchong@tal.com - 附件 1 : Kurt_Goedel_and_the_Foundations_of_Mathematics(CUP,_2011)(541s).pdf
2015-03-29 08:15:28, 3.8 M
» 收录本帖的淘帖专辑推荐
 计算数学 |
» 猜你喜欢
关于filecode，很负责任的告诉大家
已经有7人回复
-
【2027博士申请】纳米药物递送方向
已经有5人回复
-
关于豆爷回答的JTJC与%2F数量
已经有7人回复
-
2026国自然放榜时间
已经有3人回复
-
国基金的申报应该改成非等额制，评价高的钱多评价低的钱少，但是增加资助率
已经有7人回复
-
好奇怪的filecode
已经有4人回复
-
售SCI文章，我:8O5.5.1.O.54,科目齐全,可+急
已经有4人回复
-
售SCI一区T0P文章，我:8.O.55.1.O54,科目全,可伽急
已经有4人回复
-
售SCI文章，我:8O.5.5.1O.54,科目全,可十急
已经有4人回复
-
售SCI一区T0P文章，我:8.O.55.1.O.54,科目齐全,可+急
已经有5人回复
» 本主题相关价值贴推荐，对您同样有帮助:
- 医学界最具变革潜力的六大趋势
已经有2人回复
简单回复
2015-03-29 20:41
回复
五星好评 顶一下，感谢分享！
Quan.3楼
2015-03-30 04:22
回复
五星好评 顶一下，感谢分享！
gantudou4楼
2015-03-30 20:16
回复
五星好评 顶一下，感谢分享！
人走茶不凉5楼
2015-03-31 00:52
回复
三星好评 顶一下，感谢分享！
suzhe6楼
2015-04-01 14:26
回复
五星好评 顶一下，感谢分享！
daduan7楼
2015-04-02 00:17
回复
五星好评 顶一下，感谢分享！
hylpy8楼
2015-07-15 23:16
回复
五星好评 顶一下，感谢分享！
2018-08-20 22:20
回复
顶一下，感谢分享！
