小雨点了点头：“书成，你是不是看过这本书啊？”<r />
<r />
孔书成：“嗯，很早以前，略略地翻过一遍，所以还有些印象。”<r />
<r />
小雨：“这本书，主要讲的是什么啊？怎么好端端的会埋在这里呢？”<r />
<r />
孔书成：“这本书中所讲的，实际上是计算机科学这一门非常年轻的学科，究竟是如何从数学家们的逻辑研究中发端的。其实，对于哲学、理论数学这种理论性的学科，很多人常常会觉得它们是无用的，备受推崇的往往是统计学、计算机等学科。<r />
<r />
“当然，也有人同意理论学科大有用处，因为它们能指导其他的学科，具有前瞻性，但是如果请他们举一个具体的例子出来，很多人却答不上来。针对这种情况，《逻辑的引擎》这本书就提供了一个很好的实例，让大部分人都看到，最‘无用’的哲学和纯数学，竟然导致了最‘有用’的计算机科学的诞生……<r />
<r />
“所以小雨姐你看，这本书的第一部分，就是写莱布尼兹之梦，讲的是现代逻辑之父弗雷格的符号逻辑研究；书的第二部分，讲到了20世纪最杰出的数学卷希尔伯特和符号游戏；当然，后面还讲了图灵、算法和图灵机……”<r />
<r />
只要一聊到自己感兴趣的话题，孔书成就跟吃了炫迈口香糖一样，根本停不下来。<r />
<r />
小雨对此当然不感兴趣，她只是忽然觉得孔书成这个书呆子：“书成，这就是你刚才说的‘略略地翻过一遍’？我感觉，你都能把这本厚厚的书背下来了吧？没想到，你对英文原著的书都这么感兴趣。”<r />
<r />
孔书成尴尬地笑了笑：“这本书的原著，比译本好太多了。”<r />
<r />
小雨接着又自言自语地说道：“奇怪。那个人，为什么要在我妈妈的坟墓前，埋藏这本《逻辑的引擎》呢？而且，这是一本英文原著，一般人恐怕都看不懂吧？我妈妈当年也只是读了个师专，她能看得懂嘛？”<r />