作者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