本書從計算的變遷這一獨特視角回顧了數學、邏輯學和哲學的歷史沿革，展現了計算為數學研究發(fā)展帶來的全新前景，展望了這場數學革命在自然科學、信息科學與哲學領域引發(fā)的重大變革。
作者簡介
吉爾·多維克（Gilles Dowek），法國數學家、邏輯學家和計算機科學家，法國國家計算機與自動化研究所機器證明處理系統、編程語言、航空系統安全專家，美國國家航空研究院顧問。多維克撰寫過多部數學和計算機科學科普作品，曾榮獲法國數學學會達朗貝爾獎和法蘭西學術院哲學大獎。
目錄：
版權聲明
譯者序
致辭
前言
第一篇 古老的起源
第 1 章 從史前數學到希臘數學
第 2 章 計算兩千年
第二篇 古典時代
第 3 章 謂詞邏輯
第 4 章 判定性問題與丘奇定理
第 5 章 丘奇論題
第 6 章 為計算樹立數學地位的嘗試——λ 演算
第 7 章 構造性
第 8 章 構造性證明與算法
第三篇 公理化危機
第 9 章 直覺主義類型論
第 10 章 自動化證明
第 11 章 證明檢驗
第 12 章 學界新進展
第 13 章 工具
第 14 章 公理的終結？
結語 旅程的尾聲
附錄一 人物簡介
附錄二 參考文獻
|
