| 查看: 762 | 回复: 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
» 收录本帖的淘帖专辑推荐
计算数学 |
» 猜你喜欢
请问有评职称,把科研教学业绩算分排序的高校吗
已经有4人回复
孩子确诊有中度注意力缺陷
已经有12人回复
2025冷门绝学什么时候出结果
已经有3人回复
天津工业大学郑柳春团队欢迎化学化工、高分子化学或有机合成方向的博士生和硕士生加入
已经有4人回复
康复大学泰山学者周祺惠团队招收博士研究生
已经有6人回复
AI论文写作工具:是科研加速器还是学术作弊器?
已经有3人回复
2026博士申请-功能高分子,水凝胶方向
已经有6人回复
论文投稿,期刊推荐
已经有4人回复
硕士和导师闹得不愉快
已经有13人回复
请问2026国家基金面上项目会启动申2停1吗
已经有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
回复
顶一下,感谢分享!














回复此楼