本書從計算的變遷這一獨特視角回顧了數學、邏輯學和哲學的歷史沿革，展 現了計算為數學研究發展帶來的全新前景，展望了這場數學革命在自然科學、信 息科學與哲學領域引發的重大變革。本書榮獲年法蘭西學術院哲學大獎，一直是數學、計算機科學和哲學領域的暢銷讀物。
一本榮獲法蘭西學術院哲學大獎的數學書
一本數學愛好者都應該讀一讀的哲學書
講述一段別開生面的數學歷程
引發一場改變科學面貌的哲學思考
展現算法時代，計算為自然科學與哲學研究帶來的震撼之力
吉爾•多維克(Gilles Dowek)
法國數學家、邏輯學家和計算機科學家，法國國家計算機與自動化研究所機器證明處理系統、編程語言、航空系統安全專家，美國國家航空研究院顧問。多維克撰寫過多部數學和計算機科學科普作品，曾榮獲法國數學學會達朗貝爾獎和法蘭西學術院哲學大獎。
及時篇 古老的起源
第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
“無論從事何種研究方向的數學家，都該讀一讀這本書。”——Adhemar Bultheel，歐洲數學學會
“這部精巧之作展現了計算在數學中愈發重要的地位，宣告了算法數學時代的來臨。這是一段關于“計算”與“數學”故事，散文般生動的文字讓讀者在閱讀中領略數學思想的精粹。 ”——Bernard Chazell，普林斯頓大學
越來越喜歡邏輯推理的書
對于32開的書，大概比a4對折小一點，定價還是高了點
設個商品不錯！！！！
很棒，很喜歡，圖靈的書很好
好好好好好好好好好
一覽計算史。
不錯，很滿意
質量不錯，內容很好，好評！好評！
不錯，老顧客了，品質挺好的
值得一看，如果價格完全沒折扣，有點高。
圖靈新知，都是好書！
讀書多了，容顏自然改變，許多時候，自己可能以為許多看過的書籍都成過眼煙云，不復記憶，其實它們仍是潛在氣質里、在談吐上、在胸襟的無涯，當然也可能顯露在生活和文字中。
