| 查看: 788 | 回复: 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
» 收录本帖的淘帖专辑推荐
 计算数学 |
» 猜你喜欢
296求调剂
已经有8人回复
-
求调剂
已经有8人回复
-
本科西工大 324求调剂
已经有3人回复
-
303求调剂
已经有4人回复
-
一志愿华南理工大学331分材料求调剂
已经有7人回复
-
一志愿矿大，材料工程专硕314分，0856可调都可以
已经有15人回复
-
297求调剂
已经有3人回复
-
346，工科0854求调剂，专硕
已经有6人回复
-
人工智能320调剂08工类还有机会吗
已经有7人回复
-
材料与化工调剂
已经有11人回复
» 本主题相关价值贴推荐，对您同样有帮助:
- 医学界最具变革潜力的六大趋势
已经有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
回复
顶一下，感谢分享！
