我这周上了高级电工实训这门课程，很有趣，老师在下课后让我们读《逻辑的引擎》这本书。可惜图书馆没有，只能在网上去看电子版的书了。但看完后领我对计算机背后的那些科学家产生了深深的敬佩。
书中莱布尼兹说，找到一个人类思想的真正的符号系统，以及操纵这些符号的恰当的计算工具。上帝对所有可能的世界都无所布置，他选取创造了其中最好的一个给我们-任何事物都遵循了一个计划-我们当然可以用逻辑知识对任何一种知识加以揭示。这令我感到他思想的奇妙。而且他还提出了三个要素：百科大全书、普遍文字、演绎规则。这更加令人感到他对事物的规则化。
而书中另一位大佬布尔把逻辑变成代数：逻辑代数（以亚里士多德三段论为蓝本）-一劳永逸地证明了逻辑演绎可以成为数学的一个分支与 或 非===》逻辑问题代数化，给我感到震惊：把逻辑问题代数化，这无疑是很牛逼的一点。不仅令人们从数学领域另一方面了解逻辑问题，更是对计算机的发展起到了至关重要的作用，将逻辑问题可以以机器的语言表达出来，乃至进行复杂的运算，无疑是计算机历史上一座城重要的里程碑，令我实在是感到震惊。
弗雷格则提出了概念文字：模仿算数语言构造的纯思维的形式语言-莱布尼兹普遍语言为导向是所有计算机语言的前身。并且他试图找到一个能够包含数学实践中的全部演绎推理的逻辑系统，并以他的逻辑系统为基础把代数构造出。而他的不用逻辑的方法来发展逻辑：机械化演算过程：通过对符号的直接操作是的逻辑推理自动进行用。他想用逻辑来构造出一切数学。
伟大的图灵提出了图灵机：其思路是尝试把人的理性活动还原为机械过程，证明仅仅执行某些运算的机器不可能判定一个给定的结论是否可以用弗雷格的规则从给定的前提中导出结论：判定问题的算法是不存在的。关键是通过某种算法程序可计算的任何东西都可以通过一台图灵机来计算，于是如果有一种计算是不能通过图灵机来计算的，那么就说明它不能被计算。图灵的设想令我难以想象，就好比凭空冒出来一个东西一样难，虽然他是经过多方面的思考的，但我还是感到不可思议。
这本书真的很好，尤其是对现代计算机所基于的那些基本概念和发展出这些概念的人的讲解，真是令人叹服。
