商品簡介
現了計算為數學研究發展帶來的全新前景,展望了這場數學革命在自然科學、信
息科學與哲學領域引發的重大變革。本書榮獲年法蘭西學術院哲學大獎,一直是數學、計算機科學和哲學領域的暢銷讀物。
作者簡介
法國數學家、邏輯學家和電腦科學家,法國guojia電腦與自動化研究所機器證明處理系統、編程語言、航空系統安全專家,美國guojia航空研究院顧問。多維克撰寫過多部數學和電腦科學科普作品,曾榮獲法國數學學會達朗貝爾獎和法蘭西學術院哲學大獎。
目次
DIYI篇 古老的起源
第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
主題書展
更多主題書展
更多書展本週66折
您曾經瀏覽過的商品
購物須知
大陸出版品因裝訂品質及貨運條件與台灣出版品落差甚大,除封面破損、內頁脫落等較嚴重的狀態,其餘商品將正常出貨。
特別提醒:部分書籍附贈之內容(如音頻mp3或影片dvd等)已無實體光碟提供,需以QR CODE 連結至當地網站註冊“並通過驗證程序”,方可下載使用。
無現貨庫存之簡體書,將向海外調貨:
海外有庫存之書籍,等候約45個工作天;
海外無庫存之書籍,平均作業時間約60個工作天,然不保證確定可調到貨,尚請見諒。
為了保護您的權益,「三民網路書店」提供會員七日商品鑑賞期(收到商品為起始日)。
若要辦理退貨,請在商品鑑賞期內寄回,且商品必須是全新狀態與完整包裝(商品、附件、發票、隨貨贈品等)否則恕不接受退貨。