計(jì)算進(jìn)化史：改變數(shù)學(xué)的命運(yùn)

定　價(jià)：￥39.00

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

購(gòu)買(mǎi)這本書(shū)可以去

ISBN：	9787115447579	出版時(shí)間：	2017-02-01	包裝：
開(kāi)本：		頁(yè)數(shù)：		字?jǐn)?shù)：

內(nèi)容簡(jiǎn)介

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

作者簡(jiǎn)介

　　吉爾·多維克（Gilles Dowek），法國(guó)數(shù)學(xué)家、邏輯學(xué)家和計(jì)算機(jī)科學(xué)家，法國(guó)國(guó)家計(jì)算機(jī)與自動(dòng)化研究所機(jī)器證明處理系統(tǒng)、編程語(yǔ)言、航空系統(tǒng)安全專(zhuān)家，美國(guó)國(guó)家航空研究院顧問(wèn)。多維克撰寫(xiě)過(guò)多部數(shù)學(xué)和計(jì)算機(jī)科學(xué)科普作品，曾榮獲法國(guó)數(shù)學(xué)學(xué)會(huì)達(dá)朗貝爾獎(jiǎng)和法蘭西學(xué)術(shù)院哲學(xué)大獎(jiǎng)。

圖書(shū)目錄

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