这本书介绍了现代计算机背后的基本概念和发展这些概念的人，主要介绍的人物都有莱布尼兹、布尔、费雷格、康托尔、希尔伯特、哥德尔、图灵等人的生活和工作；读这本书你将会对逻辑和数学有更深的理解，并且可以使自己有一种敏锐的眼光来看待问题，认识到再复杂的东西其实也是由简单的东西在一定规矩下组合而成。
莱布尼兹发明的微积分符号等等一些的数学计算符号我们都还在使用，并且他还对逻辑学有自己独到的见解，也正是因此才有了后来布尔的代数，他将逻辑问题代数化，尤其是他最经典的变换[quote]如果X，那么Y ，写成X（1－Y）＝0[/quote]然后通过推理将其变成方程式，这样，他一劳永逸的证明了逻辑演绎可以成为数学的一个分支。
费雷格他用定义语法规则和语法规则第一次构造
出精确的形式化语言，通过对符号的直接操作使逻辑推理自动进行，用逻辑来构造出一切数字，A（ALL） E（EXIST）等就是他的创造。
第四章说的是康托尔，讲的是他的连续统问题，他对莱布尼兹的无线集合的元素数目无意义提出质疑，他沿着“一一对应”的思路研究下去，后来发明了一种发法来比较实数集合和自然数集合的基数，发现实数基数比自然数基数大。
五、六章主要说的是希尔伯特和哥德尔；希尔伯特构造出一个数学对象反证希尔伯特基本定理，并解决了果尔单问题，彻底说明了不变量理论的终结，他可以解决这些难题正是因为他的信念——每一个明确的数字问题都必定可以完全得到解决；哥德尔循着希尔伯特的引领在博士论文中给出证明，不论对公式中的字母做何种解释，只要前提是真陈述，则它的结论也是真的，并且他的不完全定理与理解人的心智有关：人类心灵本质是否等同于一台计算机？假如人的心灵所有部分都可以用一台有限的机器模拟出来，那么就可以用哥德尔不完全性定理说明，某个命题是真的，但是不能被人类所证明。假如人的心灵不能被还原成机械装置，那么说明心灵超越了物理实在。
图灵的贡献是卓越的，他为后来冯诺依曼计算机结构打下了基础；他尝试把人的理性活动还原为机械过程，证明仅仅执行某些运算的机器不可能判定一个给定的结论，是否可以用弗雷格的规则从给定的前提中导出结论是判定问题的算法是不存在的。
第八、九章讲通用计算机，这是计算机从逻辑学走向了工程学、走向了千家万户。
通过这本书我也知道了“人，作为一个个体，是一个强大的解释器，是用来解释自己的思想的，而代码是解释体的输出对象，是思想的载体。程序员和计算机之间的交互其实就是符号逻辑的交互。”
网友评论