 |
 |
 |
 |
 |
 |
||
 |
 |
 |
 |
 |
| 4 | 1/1 | 返回列表 |
| 查看: 415 | 回復(fù): 3 | |||
| 【獎(jiǎng)勵(lì)】 本帖被評(píng)價(jià)3次，作者pkusiyuan增加金幣 2.4 個(gè) | |||
pkusiyuan銀蟲(chóng) (正式寫(xiě)手)
|
[資源]
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 |
回復(fù)此樓» 本帖附件資源列表
-
歡迎監(jiān)督和反饋：小木蟲(chóng)僅提供交流平臺(tái)，不對(duì)該內(nèi)容負(fù)責(zé)。
本內(nèi)容由用戶自主發(fā)布，如果其內(nèi)容涉及到知識(shí)產(chǎn)權(quán)問(wèn)題，其責(zé)任在于用戶本人，如對(duì)版權(quán)有異議，請(qǐng)聯(lián)系郵箱：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
» 收錄本帖的淘帖專輯推薦
 計(jì)算數(shù)學(xué) |
» 猜你喜歡
一志愿天大材料與化工（085600）總分338
已經(jīng)有4人回復(fù)
-
085700資源與環(huán)境308求調(diào)劑
已經(jīng)有3人回復(fù)
-
求材料調(diào)劑
已經(jīng)有8人回復(fù)
-
294求調(diào)劑材料與化工專碩
已經(jīng)有5人回復(fù)
-
一志愿華中科技大學(xué)，080502，354分求調(diào)劑
已經(jīng)有4人回復(fù)
-
一志愿吉林大學(xué)材料學(xué)碩321求調(diào)劑
已經(jīng)有6人回復(fù)
-
085410人工智能專碩317求調(diào)劑（0854都可以）
已經(jīng)有3人回復(fù)
-
330求調(diào)劑
已經(jīng)有3人回復(fù)
-
一志愿中海洋材料工程專碩330分求調(diào)劑
已經(jīng)有5人回復(fù)
-
304求調(diào)劑
已經(jīng)有5人回復(fù)
» 本主題相關(guān)價(jià)值貼推薦，對(duì)您同樣有幫助:
- CAMBRIDGE2011Modern Computer Arithmetic
已經(jīng)有4人回復(fù)
- Cambridge2011Physics of Radio-Frequency Plasmas
已經(jīng)有23人回復(fù)
- Cambridge2005String theory vol.2 - Polchinski
已經(jīng)有7人回復(fù)
- Cambridge2009A First Course in Digital Communications
已經(jīng)有14人回復(fù)
- Cambridge2012Continuum Mechanics in the Earth Sciences
已經(jīng)有9人回復(fù)
- Human evolutionary biology (Cambridge 2010)
已經(jīng)有20人回復(fù)
- Cambridge2010The Geometrical Language of Continuum Mechanics
已經(jīng)有25人回復(fù)
- Cambridge2010Principles of Continuum Mechanics
已經(jīng)有26人回復(fù)
- Cambridge2008Chaos and Coarse Graining in Statistical Mechanics
已經(jīng)有11人回復(fù)
- Cambridge2008Bacterial Physiology And Metabolism
已經(jīng)有15人回復(fù)
- Cambridge2003年A Course in Modern Analysis and Its Applications
已經(jīng)有32人回復(fù)
- Cambridge2007年New Theory Of The Earth
已經(jīng)有34人回復(fù)
- Cambridge University Modern Fortran (2012)
已經(jīng)有16人回復(fù)
- Mathematical and Physical Papers, Cambridge Univ. Press, Cambridge, Vol. 3, p. 2
已經(jīng)有1人回復(fù)
- 【Cambridge 2004】Amines：Synthesis，properties and applications
已經(jīng)有245人回復(fù)
- Dictionary Cambridge English Grammar - Check Your Vocabulary for IELTS
已經(jīng)有16人回復(fù)
簡(jiǎn)單回復(fù)
2015-03-28 23:03
回復(fù)
五星好評(píng) 頂一下，感謝分享！
2015-03-29 07:37
回復(fù)
五星好評(píng) 頂一下，感謝分享！
2015-03-31 14:09
回復(fù)
五星好評(píng) 頂一下，感謝分享！
相關(guān)版塊跳轉(zhuǎn)
我要訂閱樓主 pkusiyuan 的主題更新
| 4 | 1/1 | 返回列表 |
| 最具人氣熱帖推薦 [查看全部] | 作者 | 回/看 | 最后發(fā)表 | |
|---|---|---|---|---|
|
[考研] 085700資源與環(huán)境308求調(diào)劑 +3 | 墨墨漠 2026-03-18 | 3/150 |
|
|---|---|---|---|---|
|
[考研] 085600材料與化工調(diào)劑 324分 +8 | llllkkkhh 2026-03-18 | 8/400 |
|
|
|
[考研] 328求調(diào)劑，英語(yǔ)六級(jí)551，有科研經(jīng)歷 +3 | 生物工程調(diào)劑 2026-03-17 | 7/350 |
|
|
|
[考研] 化學(xué)工程321分求調(diào)劑 +15 | 大米飯！ 2026-03-15 | 18/900 |
|
|
|
[考研] 0703化學(xué)調(diào)劑 ，六級(jí)已過(guò)，有科研經(jīng)歷 +10 | 曦熙兮 2026-03-15 | 10/500 |
|
|
|
[考研] 312求調(diào)劑 +8 | 陌宸希 2026-03-16 | 9/450 |
|
|
|
[考研] 303求調(diào)劑 +4 | 睿08 2026-03-17 | 6/300 |
|
|
|
[基金申請(qǐng)] 被我言中：新模板不強(qiáng)調(diào)格式了，假專家開(kāi)始管格式了 +4 | beefly 2026-03-14 | 4/200 |
|
|
|
[考研] 085600材料與化工求調(diào)劑 +5 | 緒幸與子 2026-03-17 | 5/250 |
|
|
|
[考研] 290求調(diào)劑 +3 | p asserby. 2026-03-15 | 4/200 |
|
|
|
[考研] 333求調(diào)劑 +3 | 文思客 2026-03-16 | 7/350 |
|
|
|
[考研] 326求調(diào)劑 +4 | 諾貝爾化學(xué)獎(jiǎng)覬?/a> 2026-03-15 | 7/350 |
|
|
|
[考研] 070300化學(xué)學(xué)碩求調(diào)劑 +6 | 太想進(jìn)步了0608 2026-03-16 | 6/300 |
|
|
|
[考研] 0703 物理化學(xué)調(diào)劑 +3 | 我可以上岸的對(duì)?/a> 2026-03-13 | 5/250 |
|
|
|
[考研] 0703化學(xué)調(diào)劑 290分有科研經(jīng)歷，論文在投 +7 | 膩膩gk 2026-03-14 | 7/350 |
|
|
|
[考研] 327求調(diào)劑 +6 | 拾光任染 2026-03-15 | 11/550 |
|
|
|
[考研] 一志愿哈工大材料324分求調(diào)劑 +5 | 閆旭東 2026-03-14 | 5/250 |
|
|
|
[考研] 材料080500調(diào)劑求收留 +3 | 一顆meteor 2026-03-13 | 3/150 |
|
|
|
[考研] 求調(diào)劑 +3 | 程雨杭 2026-03-12 | 3/150 |
|
|
|
[考研] 328化工專碩求調(diào)劑 +4 | 。，。，。，。i 2026-03-12 | 4/200 |
|