| 查看: 416 | 回复: 3 | |||
| 【奖励】 本帖被评价3次，作者pkusiyuan增加金币 2.4 个 | |||
[资源]
Cambridge2010Kurt Godel..Essays for his Centennial
|
|||
|
CONTENTS Introduction . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . ix GENERAL Solomon Feferman The G¨odel editorial project: A synopsis . . . . . . . . . . . . . . . . . . . . . . . . . . . . 3 Future tasks for G¨odel scholars . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 21 PROOF THEORY Jeremy Avigad G¨odel and the metamathematical tradition. . . . . . . . . . . . . . . . . . . . . . . . . 45 Wilfried Sieg Only two letters: The correspondence between Herbrand and G¨odel 61 W. W. Tait G¨ odel’s reformulation of Gentzen’s first consistency proof for arithmetic: The no-counterexample interpretation . . . . . . . . . . . . . . . . . . 74 W. W. Tait G¨odel on intuition and on Hilbert’s finitism . . . . . . . . . . . . . . . . . . . . . . . . 88 Stephen G. Simpson The G¨odel hierarchy and reverse mathematics . . . . . . . . . . . . . . . . . . . . . . 109 John P. Burgess On the outside looking in: A caution about conservativeness . . . . . . . . 128 SET THEORY Akihiro Kanamori G¨odel and set theory. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 145 vii John W. Dawson, Jr., and Cheryl A. Dawson viii contents Sy-David Friedman Generalisations of G¨odel’s universe of constructible sets . . . . . . . . . . . . 181 Peter Koellner On the question of absolute undecidability . . . . . . . . . . . . . . . . . . . . . . . . . 189 PHILOSOPHY OF MATHEMATICS Martin Davis What did G¨odel believe and when did he believe it? . . . . . . . . . . . . . . . . . 229 Warren Goldfarb On G¨ odel’s way in: The influence of Rudolf Carnap . . . . . . . . . . . . . . . . 242 Steve Awodey and A. W. Carus G¨odel and Carnap. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 252 Mark van Atten and Juliette Kennedy On the philosophical development of Kurt G¨odel. . . . . . . . . . . . . . . . . . . 275 Charles Parsons Platonism and mathematical intuition in Kurt G¨ odel’s thought . . . . . . 326 Donald A. Martin G¨odel’s conceptual realism. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 356 |
回复此楼» 本帖附件资源列表
-
欢迎监督和反馈：小木虫仅提供交流平台，不对该内容负责。
本内容由用户自主发布，如果其内容涉及到知识产权问题，其责任在于用户本人，如对版权有异议，请联系邮箱：xiaomuchong@tal.com - 附件 1 : Feferman_S.,_et_al._(eds.)_Kurt_Godel..Essays_for_his_Centennial_(CUP_2010)(ISBN_0521115140)(T)(385s)_.pdf
2015-03-28 10:42:16, 1.96 M
» 收录本帖的淘帖专辑推荐
 计算数学 |
» 猜你喜欢
材料调剂
已经有5人回复
-
081700 调剂 267分
已经有8人回复
-
请教下大家 2026年国家基金申请是双盲审吗？
已经有5人回复
-
276求调剂。有半年电池和半年高分子实习经历
已经有10人回复
-
一志愿南航材料专317分求调剂
已经有4人回复
-
求调剂
已经有4人回复
-
生物学学硕求调剂
已经有5人回复
-
284求调剂
已经有10人回复
-
一志愿山东大学药学学硕求调剂
已经有4人回复
-
07化学280分求调剂
已经有4人回复
» 本主题相关价值贴推荐，对您同样有帮助:
- CAMBRIDGE2011Modern Computer Arithmetic
已经有4人回复
- Cambridge2011Physics of Radio-Frequency Plasmas
已经有23人回复
- Cambridge2005String theory vol.2 - Polchinski
已经有7人回复
- Cambridge2009A First Course in Digital Communications
已经有14人回复
- Cambridge2012Continuum Mechanics in the Earth Sciences
已经有9人回复
- Human evolutionary biology (Cambridge 2010)
已经有20人回复
- Cambridge2010The Geometrical Language of Continuum Mechanics
已经有25人回复
- Cambridge2010Principles of Continuum Mechanics
已经有26人回复
- Cambridge2008Chaos and Coarse Graining in Statistical Mechanics
已经有11人回复
- Cambridge2008Bacterial Physiology And Metabolism
已经有15人回复
- Cambridge2003年A Course in Modern Analysis and Its Applications
已经有32人回复
- Cambridge2007年New Theory Of The Earth
已经有34人回复
- Cambridge University Modern Fortran (2012)
已经有16人回复
- Mathematical and Physical Papers, Cambridge Univ. Press, Cambridge, Vol. 3, p. 2
已经有1人回复
- 【Cambridge 2004】Amines：Synthesis，properties and applications
已经有245人回复
- Dictionary Cambridge English Grammar - Check Your Vocabulary for IELTS
已经有16人回复
简单回复
2015-03-28 23:03
回复
五星好评 顶一下，感谢分享！
2015-03-29 07:37
回复
五星好评 顶一下，感谢分享！
2015-03-31 14:09
回复
五星好评 顶一下，感谢分享！
