1931年,庫爾特.哥德爾發表了一篇革命性的論文,挑戰了構成大量傳統數學和邏輯研究基礎的某些基本假設,如今他對於未知領域的探究,已經被認定為是對於當代科學思想的重大貢獻。
本書將哥德爾的證明其主旨大意、其深廣蘊涵與深遠影響,展示給學者以及非專業人士兩者,是為可讀性高的第一本。且可為任何一位具有邏輯和哲學品味的人士提供機會以獲取真正的理解,領悟之前所難以企及的內容。
1931年,庫爾特.哥德爾發表了一篇革命性的論文,挑戰了構成大量傳統數學和邏輯研究基礎的某些基本假設,如今他對於未知領域的探究,已經被認定為是對於當代科學思想的重大貢獻。
本書將哥德爾的證明其主旨大意、其深廣蘊涵與深遠影響,展示給學者以及非專業人士兩者,是為可讀性高的第一本。且可為任何一位具有邏輯和哲學品味的人士提供機會以獲取真正的理解,領悟之前所難以企及的內容。
新版前言─—道格拉斯 R. 霍夫史達特
致謝
導讀──楊維哲教授
I Introduction
I 序
II 一致性的問題
III 一致性的絕對證明
IV 形式邏輯的系統編纂
V 一致性絕對證明的一個成功的例子
VI 映射的觀念及其在數學上的應用
VII哥德爾的證明
A 哥德爾數碼
B 後設數學的算術化
C 哥德爾論證的核心
VIII 結論反思
附錄:注釋
作者簡介
歐尼斯特・納格爾(Ernest Nagel)
已故歐尼斯特・納格爾曾為哥倫比亞大學約翰杜威哲學教授。
詹姆斯‧紐曼(James Newman)
已故詹姆斯‧紐曼曾為科學是什麼的作者,以及數學的世界的編輯。
譯者簡介
蔡元正
1976年12月生
學歷:台灣大學數學系學士、密西根大學安娜堡分校碩士
經歷:美商台灣應用材料股份有限公司、英商愛德華先進科技股份有限公司