哥德爾證明

購買商店

哥德爾證明

$333.00

馬上購買

內容描述

目錄大綱

新版前言─—道格拉斯 R. 霍夫史達特
致謝
導讀──楊維哲教授

I Introduction
I 序
II 一致性的問題 
III 一致性的絕對證明 
IV 形式邏輯的系統編纂 
V 一致性絕對證明的一個成功的例子
VI 映射的觀念及其在數學上的應用
VII哥德爾的證明
A 哥德爾數碼
B 後設數學的算術化
C 哥德爾論證的核心
VIII 結論反思
附錄：注釋

作者介紹

作者簡介
 
Ernest Nagel 歐尼斯特・納格爾
 
　　已故歐尼斯特・納格爾曾為哥倫比亞大學約翰杜威哲學教授。
 
James Newman 詹姆斯‧紐曼
 
　　已故詹姆斯‧紐曼曾為科學是什麼的作者，以及數學的世界的編輯。
 
新版修訂並序
 
Douglas R. Hofstadter 道格拉斯‧理查‧霍夫史達特
 
　　道格拉斯‧理查‧霍夫史達特是印第安納大學藝術和科學學院的電腦科學和認知科學的教授。他也是普立茲得獎作品哥德爾、埃舍爾、巴赫：集異璧之大成的作者。
 
譯者簡介
 
蔡元正
 
　　1976年12月生
　　學歷：台灣大學數學系學士、密西根大學安娜堡分校碩士
　　經歷：美商台灣應用材料股份有限公司、英商愛德華先進科技股份有限公司