2017亚洲а∨天堂国产,久久只有这里有精品

內(nèi)容簡介

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

作者簡介

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

圖書目錄

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