逻辑的引擎

早期的程序，都是用纸带作为输入介质的，为什么用纸带，而不用其它的东西？
为什么计算机只用简单的几种运算，就可以完成那么复杂的功能，甚至模拟出整个世界？
SQL不具备“图灵能力”（Turing Power）的，因此会遇到诸多限制，“图灵能力”究竟是什么，真的那么重要吗？
……

对其它许多人来说，这些问题，或者是“不证自明”的，或者是显而易见的（“受历史条件限制嘛”），或者根本就没有意义。
然而，自从我进入学校开始“系统地”（如果还能用这个词的话）学习计算机以来，它们就一直萦绕在我心中，直到我读过这本《逻辑的引擎》为止。

解开心中长久以来的疑惑的欣喜，是难以名状的。
我至今记得，自己第一次看到用逻辑运算按部就班地解开“谁说真话谁说假话”时的激动。

《逻辑的引擎》，也能提供这样的欣喜。
从萌发宏伟构想的莱布尼茨；到创造逻辑代数的布尔，发明形式句法和概念文字的弗雷格；再到挑战高斯探索无限的康托，为算术一致性理论做出重要贡献的希尔伯特，以不完备性定理著称的哥德尔；最后是和提出通用机理论的图灵。把这些伟大的名字串联起来，我们看到，计算机科学历经了无数巨匠的辛勤工作和艰难探索，熔铸了无数天才的智慧，终于演化（我觉得，这个词比“发展”更为贴切）到今天的形态。
塞尔教授或许仍然能用“中文屋子”困境来诘难计算机科学家，但依靠“没有意义”的符号运算系统，“不懂得意义”的计算机，已经构造了自己坚实的科学体系，在人类的知识体系和日常生活中，产生了重要的意义。窃以为，理解、回顾这一切，比诘难要有意义一万倍。
布尔代数，康托定理，图灵机，那些曾经晦涩（甚至有些讨厌）的名词，也从此变得亲切而熟悉起来，这或许也算“意料之外，情理之中”的收获吧。
总之，阅读这本书，是淋漓畅快的，这也是我会调整计划，在长假的第一天急不可耐地读完它的原因。

一个朋友曾问我：搞不懂你们程序员，对着看不懂的数字啊符号啊工作，那些东西真的有意思吗？
当时我竟不知道怎么回答。不过，如果再遇到这种问题，我会说：有意思，因为，这个世界是可以理解的。