《計算進化史改變數學的命運》是人民郵電出版社出版的圖書，作者是法國吉爾·多維克。
基本介紹
- 書名：計算進化史改變數學的命運
- ISBN：978-7-115-44757-9
- 頁數：216頁
- 裝幀：精裝
- 開本：32開
內容簡介,目錄,
內容簡介
本書從計算的變遷這一獨特視角回顧了數學、邏輯學和哲學的歷史沿革，展現了計算為數學研究發展帶來的全新前景，展望了這場數學革命在自然科學、信息科學與哲學領域引發的重大變革。本書榮獲年法蘭西學術院哲學大獎，一直是數學、計算機科學和哲學領域的暢銷讀物。
目錄
第 一篇 古老的起源
第 1章 從史前數學到希臘數學 2
第 2章 計算兩千年 17
第 二篇 古典時代
第3章 謂詞邏輯 36
第4章 判定性問題與丘奇定理 56
第5章 丘奇論題 73
第6章 為計算樹立數學地位的嘗試——λ演算 94
第7章 構造性 100
第8章 構造性證明與算法 113
第三篇 公理化危機
第9章 直覺主義類型論 122
第 10章 自動化證明 132
第 11章 證明檢驗 145
第 12章 學界新進展 153
第 13章 工 具 172
第 14章 公理的終結？ 187
結語 旅程的尾聲 190
附錄一 人物簡介 193
附錄二 參考文獻 208
索 引 212
