| 查看: 832 | 回复: 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
» 收录本帖的淘帖专辑推荐
 计算数学 |
» 猜你喜欢
课题组招2027级博士 上海工程技术大学 激光智能制造方向
已经有4人回复
-
现代”学阀”该如何界定
已经有8人回复
-
上海工程技术大学 激光智能制造课题组 2027级博士研究生招生
已经有3人回复
-
实名举报：华南理工大学物理与光电学院副院长李志远婚内两次出轨女学生（博士）
已经有16人回复
-
上海工程技术大学激光智能制造课题组｜2027级博士研究生招生公告
已经有11人回复
-
上海工程技术大学激光智能制造课题组招收博士研究生
已经有10人回复
-
申博发邮件
已经有11人回复
-
各位大神，目前国内有哪些比较好用的逆合成软件？
已经有12人回复
-
我的奶奶
已经有3人回复
-
国社科系统bug了，是不是要放榜了？
已经有9人回复
» 本主题相关价值贴推荐，对您同样有帮助:
- 医学界最具变革潜力的六大趋势
已经有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
回复
顶一下，感谢分享！