作者cmlrdg (心之语)
看板logic
标题Re: [请益] Godel's incompleteness theorem
时间Mon Dec 22 01:05:47 2008
※ 引述《Jer1983 (stanley)》之铭言：
: 我想要研究关於不完备定理的内容,
: 我手上有一本Raymond所着的incompleteness theorem,
: 不过看不是很懂
: 请问我应该先充实哪方面的知识呢? 谢谢
可以先充实关於逻辑, 特别是first-order logic的知识
以下有些书可以推荐给你:P
1) Mathematical Logic, by Enderton
2) Mathematical Logic, by Ebbinghause, Flum, Thomas
第一本以比较浅显易懂的方式介绍逻辑.
第二本比较难, 内容也满丰富的(很有德国人的风格...XD)
这两本都有介绍到不完备定理.
特别是第二本, 可以说是介绍相当完整(我也正在k...^^")
另外
3) Computational Complexity, by Papadimitriou
其中有一部份有提到first-order和完备/不完备定理
并且以计算理论的观点来证明不完备定理
(与Godel本人的证明方式不同)
内容难易适中, 我对於逻辑初步的认知也是来自於这本书XD
最後
4) 数学巨人哥德尔, 究竟出版
(翻译书, 原名: Godel: A Life of Logic)
以说故事的方式介绍Godel的生平事蹟,
并且提供了不完备定理直观的叙述
还有对於社会、科技和哲学的影响
参考看看吧:)
--
我是新手@@, 感谢各位的指教 <(_ _)>
--
※ 发信站: 批踢踢实业坊(ptt.cc)
◆ From: 140.112.5.39
1F：推 Jer1983:感谢!! 12/22 12:29
2F：推 Jer1983:我想顺便问这到底是那个领域的阿? 12/22 22:11
3F：→ ksmrt0123:就书名那些领域吧... 也许再加上theory of computation 12/23 01:06