? 這本書介紹了現(xiàn)代計算機背后的基本概念和發(fā)展這些概念的人明场，主要介紹的人物都有萊布尼茲汽摹、布爾、費雷格苦锨、康托爾逼泣、希爾伯特、哥德爾舟舒、圖靈等人的生活和工作拉庶；讀這本書你將會對邏輯和數(shù)學有更深的理解，并且可以使自己有一種敏銳的眼光來看待問題秃励，認識到再復雜的東西其實也是由簡單的東西在一定規(guī)矩下組合而成氏仗。
? 萊布尼茲發(fā)明的微積分符號等等一些的數(shù)學計算符號我們都還在使用，并且他還對邏輯學有自己獨到的見解夺鲜，也正是因此才有了后來布爾的代數(shù)皆尔，他將邏輯問題代數(shù)化，尤其是他最經(jīng)典的變換[quote]如果X币励，那么Y 慷蠕，寫成X（1－Y）＝0[/quote]然后通過推理將其變成方程式，這樣食呻，他一勞永逸的證明了邏輯演繹可以成為數(shù)學的一個分支流炕。
? 費雷格他用定義語法規(guī)則和語法規(guī)則第一次構造
出精確的形式化語言澎现，通過對符號的直接操作使邏輯推理自動進行，用邏輯來構造出一切數(shù)字每辟，A（ALL）? E（EXIST）等就是他的創(chuàng)造昔头。
? 第四章說的是康托爾，講的是他的連續(xù)統(tǒng)問題影兽，他對萊布尼茲的無線集合的元素數(shù)目無意義提出質疑揭斧，他沿著“一一對應”的思路研究下去，后來發(fā)明了一種發(fā)法來比較實數(shù)集合和自然數(shù)集合的基數(shù)峻堰，發(fā)現(xiàn)實數(shù)基數(shù)比自然數(shù)基數(shù)大讹开。
? 五、六章主要說的是希爾伯特和哥德爾捐名；希爾伯特構造出一個數(shù)學對象反證希爾伯特基本定理旦万，并解決了果爾單問題，徹底說明了不變量理論的終結镶蹋，他可以解決這些難題正是因為他的信念——每一個明確的數(shù)字問題都必定可以完全得到解決成艘；哥德爾循著希爾伯特的引領在博士論文中給出證明，不論對公式中的字母做何種解釋贺归，只要前提是真陳述淆两，則它的結論也是真的，并且他的不完全定理與理解人的心智有關：人類心靈本質是否等同于一臺計算機拂酣？假如人的心靈所有部分都可以用一臺有限的機器模擬出來秋冰，那么就可以用哥德爾不完全性定理說明，某個命題是真的婶熬，但是不能被人類所證明剑勾。假如人的心靈不能被還原成機械裝置，那么說明心靈超越了物理實在赵颅。
? 圖靈的貢獻是卓越的虽另，他為后來馮諾依曼計算機結構打下了基礎；他嘗試把人的理性活動還原為機械過程饺谬，證明僅僅執(zhí)行某些運算的機器不可能判定一個給定的結論捂刺，是否可以用弗雷格的規(guī)則從給定的前提中導出結論是判定問題的算法是不存在的。
? 第八商蕴、九章講通用計算機叠萍，這是計算機從邏輯學走向了工程學芝发、走向了千家萬戶绪商。
? 通過這本書我也知道了“人，作為一個個體辅鲸，是一個強大的解釋器格郁，是用來解釋自己的思想的，而代碼是解釋體的輸出對象，是思想的載體例书。程序員和計算機之間的交互其實就是符號邏輯的交互锣尉。”
?
