簡介
1931年，庫爾特．哥德爾發表了一篇革命性的論文，挑戰了構成大量傳統數學和邏輯研究基礎的某些基本假設，如今他對於未知領域的探究，已經被認定為是對於當代科學思想的重大貢獻。
本書將哥德爾的證明其主旨大意、其深廣蘊涵與深遠影響，展示給學者以及非專業人士兩者，是為可讀性高的第一本。且可為任何一位具有邏輯和哲學品味的人士提供機會以獲取真正的理解，領悟之前所難以企及的內容。
目錄
新版前言─—道格拉斯 R. 霍夫史達特
致謝
導讀──楊維哲教授
I Introduction
I 序
II 一致性的問題
III 一致性的絕對證明
IV 形式邏輯的系統編纂
V 一致性絕對證明的一個成功的例子
VI 映射的觀念及其在數學上的應用
VII哥德爾的證明
A 哥德爾數碼
B 後設數學的算術化
C 哥德爾論證的核心
VIII 結論反思
附錄：注釋
