? 這本書介紹了現(xiàn)代計(jì)算機(jī)背后的基本概念和發(fā)展這些概念的人，主要介紹的人物都有萊布尼茲、布爾、費(fèi)雷格、康托爾、希爾伯特、哥德爾、圖靈等人的生活和工作；讀這本書你將會對邏輯和數(shù)學(xué)有更深的理解，并且可以使自己有一種敏銳的眼光來看待問題，認(rèn)識到再復(fù)雜的東西其實(shí)也是由簡單的東西在一定規(guī)矩下組合而成。

? 萊布尼茲發(fā)明的微積分符號等等一些的數(shù)學(xué)計(jì)算符號我們都還在使用，并且他還對邏輯學(xué)有自己獨(dú)到的見解，也正是因此才有了后來布爾的代數(shù)，他將邏輯問題代數(shù)化，尤其是他最經(jīng)典的變換[quote]如果X，那么Y ，寫成X（1－Y）＝0[/quote]然后通過推理將其變成方程式，這樣，他一勞永逸的證明了邏輯演繹可以成為數(shù)學(xué)的一個分支。

? 費(fèi)雷格他用定義語法規(guī)則和語法規(guī)則第一次構(gòu)造

出精確的形式化語言，通過對符號的直接操作使邏輯推理自動進(jìn)行，用邏輯來構(gòu)造出一切數(shù)字，A（ALL）? E（EXIST）等就是他的創(chuàng)造。

? 第四章說的是康托爾，講的是他的連續(xù)統(tǒng)問題，他對萊布尼茲的無線集合的元素數(shù)目無意義提出質(zhì)疑，他沿著“一一對應(yīng)”的思路研究下去，后來發(fā)明了一種發(fā)法來比較實(shí)數(shù)集合和自然數(shù)集合的基數(shù)，發(fā)現(xiàn)實(shí)數(shù)基數(shù)比自然數(shù)基數(shù)大。

? 五、六章主要說的是希爾伯特和哥德爾；希爾伯特構(gòu)造出一個數(shù)學(xué)對象反證希爾伯特基本定理，并解決了果爾單問題，徹底說明了不變量理論的終結(jié)，他可以解決這些難題正是因?yàn)樗男拍睢恳粋€明確的數(shù)字問題都必定可以完全得到解決；哥德爾循著希爾伯特的引領(lǐng)在博士論文中給出證明，不論對公式中的字母做何種解釋，只要前提是真陳述，則它的結(jié)論也是真的，并且他的不完全定理與理解人的心智有關(guān)：人類心靈本質(zhì)是否等同于一臺計(jì)算機(jī)？假如人的心靈所有部分都可以用一臺有限的機(jī)器模擬出來，那么就可以用哥德爾不完全性定理說明，某個命題是真的，但是不能被人類所證明。假如人的心靈不能被還原成機(jī)械裝置，那么說明心靈超越了物理實(shí)在。

? 圖靈的貢獻(xiàn)是卓越的，他為后來馮諾依曼計(jì)算機(jī)結(jié)構(gòu)打下了基礎(chǔ)；他嘗試把人的理性活動還原為機(jī)械過程，證明僅僅執(zhí)行某些運(yùn)算的機(jī)器不可能判定一個給定的結(jié)論，是否可以用弗雷格的規(guī)則從給定的前提中導(dǎo)出結(jié)論是判定問題的算法是不存在的。

? 第八、九章講通用計(jì)算機(jī)，這是計(jì)算機(jī)從邏輯學(xué)走向了工程學(xué)、走向了千家萬戶。

? 通過這本書我也知道了“人，作為一個個體，是一個強(qiáng)大的解釋器，是用來解釋自己的思想的，而代碼是解釋體的輸出對象，是思想的載體。程序員和計(jì)算機(jī)之間的交互其實(shí)就是符號邏輯的交互?！?/p>

?