本書從計(jì)算的變遷這一獨(dú)特視角回顧了數(shù)學(xué)、邏輯學(xué)和哲學(xué)的歷史沿革，展 現(xiàn)了計(jì)算為數(shù)學(xué)研究發(fā)展帶來的全新前景，展望了這場(chǎng)數(shù)學(xué)革命在自然科學(xué)、信 息科學(xué)與哲學(xué)領(lǐng)域引發(fā)的重大變革。本書榮獲年法蘭西學(xué)術(shù)院哲學(xué)大獎(jiǎng)，一直是數(shù)學(xué)、計(jì)算機(jī)科學(xué)和哲學(xué)領(lǐng)域的暢銷讀物。
一本榮獲法蘭西學(xué)術(shù)院哲學(xué)大獎(jiǎng)的數(shù)學(xué)書
一本數(shù)學(xué)愛好者都應(yīng)該讀一讀的哲學(xué)書
講述一段別開生面的數(shù)學(xué)歷程
引發(fā)一場(chǎng)改變科學(xué)面貌的哲學(xué)思考
展現(xiàn)算法時(shí)代，計(jì)算為自然科學(xué)與哲學(xué)研究帶來的震撼之力
吉爾•多維克(Gilles Dowek)
法國(guó)數(shù)學(xué)家、邏輯學(xué)家和計(jì)算機(jī)科學(xué)家，法國(guó)國(guó)家計(jì)算機(jī)與自動(dòng)化研究所機(jī)器證明處理系統(tǒng)、編程語言、航空系統(tǒng)安全專家，美國(guó)國(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章判定性問題與丘奇定理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é)語旅程的尾聲190
附錄一人物簡(jiǎn)介193
附錄二參考文獻(xiàn)208
索引212
“無論從事何種研究方向的數(shù)學(xué)家，都該讀一讀這本書。”——Adhemar Bultheel，歐洲數(shù)學(xué)學(xué)會(huì)
“這部精巧之作展現(xiàn)了計(jì)算在數(shù)學(xué)中愈發(fā)重要的地位，宣告了算法數(shù)學(xué)時(shí)代的來臨。這是一段關(guān)于“計(jì)算”與“數(shù)學(xué)”故事，散文般生動(dòng)的文字讓讀者在閱讀中領(lǐng)略數(shù)學(xué)思想的精粹。 ”——Bernard Chazell，普林斯頓大學(xué)
越來越喜歡邏輯推理的書
對(duì)于32開的書，大概比a4對(duì)折小一點(diǎn)，定價(jià)還是高了點(diǎn)
設(shè)個(gè)商品不錯(cuò)！！！！
很棒，很喜歡，圖靈的書很好
好好好好好好好好好
一覽計(jì)算史。
不錯(cuò)，很滿意
質(zhì)量不錯(cuò)，內(nèi)容很好，好評(píng)！好評(píng)！
不錯(cuò)，老顧客了，品質(zhì)挺好的
值得一看，如果價(jià)格完全沒折扣，有點(diǎn)高。
圖靈新知，都是好書！
讀書多了，容顏?zhàn)匀桓淖儯S多時(shí)候，自己可能以為許多看過的書籍都成過眼煙云，不復(fù)記憶，其實(shí)它們?nèi)允菨撛跉赓|(zhì)里、在談吐上、在胸襟的無涯，當(dāng)然也可能顯露在生活和文字中。