計算進化史 : 改變數學的命運 计算进化史 改变数学的命运 (图灵新知)

吉爾·多維克

  • 出版商: 人民郵電
  • 出版日期: 2017-02-01
  • 售價: $234
  • 貴賓價: 9.5$222
  • 語言: 簡體中文
  • 頁數: 214
  • ISBN: 7115447578
  • ISBN-13: 9787115447579
  • 立即出貨 (庫存=1)

買這商品的人也買了...

商品描述

本書從計算的變遷這一獨特視角回顧了數學、邏輯學和哲學的歷史沿革,展
現了計算為數學研究發展帶來的全新前景,展望了這場數學革命在自然科學、信
息科學與哲學領域引發的重大變革。本書榮獲年法蘭西學術院哲學大獎,一直是數學、電腦科學和哲學領域的暢銷讀物。

作者簡介

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