計算進化史：改變數(shù)學的命運

定　價：￥39.00

作　者：	（法）吉爾·多維克
出版社：	人民郵電出版社
叢編項：
標　簽：	科學與自然數(shù)學

購買這本書可以去

ISBN：	9787115447579	出版時間：	2017-02-01	包裝：
開本：		頁數(shù)：		字數(shù)：

內(nèi)容簡介

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

作者簡介

　　吉爾·多維克（Gilles Dowek），法國數(shù)學家、邏輯學家和計算機科學家，法國國家計算機與自動化研究所機器證明處理系統(tǒng)、編程語言、航空系統(tǒng)安全專家，美國國家航空研究院顧問。多維克撰寫過多部數(shù)學和計算機科學科普作品，曾榮獲法國數(shù)學學會達朗貝爾獎和法蘭西學術院哲學大獎。

圖書目錄

第一篇古老的起源第1章　從史前數(shù)學到希臘數(shù)學　2 第2章　計算兩千年　17 第二篇　古典時代第3章　謂詞邏輯　36 第4章　判定性問題與丘奇定理　56 第5章　丘奇論題　73 第6章　為計算樹立數(shù)學地位的嘗試——λ演算　94 第7章　構造性　100 第8章　構造性證明與算法　113 第三篇　公理化危機第9章　直覺主義類型論　122 第10章　自動化證明　132 第11章　證明檢驗　145 第12章　學界新進展　153 第13章　工具　172 第14章　公理的終結？　187 結語　旅程的尾聲　190 附錄一　人物簡介　193 附錄二　參考文獻　208 索　引　212