| 查看: 780 | 回复: 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
» 收录本帖的淘帖专辑推荐
 计算数学 |
» 猜你喜欢
今年春晚有几个节目很不错，点赞！
已经有10人回复
-
过年走亲戚时感受到了所开私家车的鄙视链
已经有6人回复
-
体制内长辈说体制内绝大部分一辈子在底层，如同你们一样大部分普通教师忙且收入低
已经有5人回复
-
情人节自我反思：在爱情中有过遗憾吗？
已经有10人回复
-
基金正文30页指的是报告正文还是整个申请书
已经有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
回复
顶一下，感谢分享！