日韩欧美中文宇幕高清,亚洲日韩精品第一区二区三区,无码丰满熟妇浪潮一区二区a∨

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

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

作者簡(jiǎn)介

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

圖書目錄

第一篇古老的起源第1章　從史前數(shù)學(xué)到希臘數(shù)學(xué)　2 第2章　計(jì)算兩千年　17 第二篇　古典時(shí)代第3章　謂詞邏輯　36 第4章　判定性問題與丘奇定理　56 第5章　丘奇論題　73 第6章　為計(jì)算樹立數(shù)學(xué)地位的嘗試——λ演算　94 第7章　構(gòu)造性　100 第8章　構(gòu)造性證明與算法　113 第三篇　公理化危機(jī) 第9章　直覺主義類型論　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