雨：“这本书，主要讲的是什么啊？怎么好端端的会埋在这里呢？”
孔书成：“这本书中所讲的，实际上是计算机科学这一门非常年轻的学科，究竟是如何从数学家们的逻辑研究中发端的。其实，对于哲学、理论数学这种理论性的学科，很多人常常会觉得它们是无用的，备受推崇的往往是统计学、计算机等学科。
“当然，也有人同意理论学科大有用处，因为它们能指导其他的学科，具有前瞻性，但是如果请他们举一个具体的例子出来，很多人却答不上来。针对这种情况，《逻辑的引擎》这本书就提供了一个很好的实例，让大部分人都看到，最‘无用’的哲学和纯数学，竟然导致了最‘有用’的计算机科学的诞生……
“所以小雨姐你看，这本书的第一部分，就是写莱布尼兹之梦，讲的是现代逻辑之父弗雷格的符号逻辑研究；书的第二部分，讲到了20世纪最杰出的数学卷希尔伯特和符号游戏；当然，后面还讲了图灵、算法和图灵机……”
只要一聊到自己感兴趣的话题，孔书成就跟吃了炫迈口香糖一样，根本停不下来。
銆愭帹鑽愪笅锛屽挭鍜槄璇昏拷涔︾湡鐨勫ソ鐢紝杩欓噷涓嬭浇澶y鍘诲揩鍙互璇曡瘯鍚c�傘�/p>
小雨对此当然不感兴趣，她只是忽然觉得孔书成这个书呆子：“书成，这就是你刚才说的‘略略地翻过一遍’？我感觉，你都能把这本厚厚的书背下来了吧？没想到，你对英文原著的书都这么感兴趣。”…
孔书成尴尬地笑了笑：“这本书的原著，比译本好太多了。”
607 逻辑的引擎(2/8)