有人同意理论学科大有用处，因为它们能指导其他的学科，具有前瞻性，但是如果请他们举一个具体的例子出来，很多人却答不上来。针对这种情况，《逻辑的引擎》这本书就提供了一个很好的实例，让大部分人都看到，最‘无用’的哲学和纯数学，竟然导致了最‘有用’的计算机科学的诞生……
“所以小雨姐你看，这本书的第一部分，就是写莱布尼兹之梦，讲的是现代逻辑之父弗雷格的符号逻辑研究；书的第二部分，讲到了20世纪最杰出的数学卷希尔伯特和符号游戏；当然，后面还讲了图灵、算法和图灵机……”
只要一聊到自己感兴趣的话题，孔书成就跟吃了炫迈口香糖一样，根本停不下来。
小雨对此当然不感兴趣，她只是忽然觉得孔书成这个书呆子：“书成，这就是你刚才说的‘略略地翻过一遍’？我感觉，你都能把这本厚厚的书背下来了吧？没想到，你对英文原著的书都这么感兴趣。”
孔书成尴尬地笑了笑：“这本书的原著，比译本好太多了。”
小雨接着又自言自语地说道：“奇怪。那个人，为什么要在我妈妈的坟墓前，埋藏这本《逻辑的引擎》呢？而且，这是一本英文原著，一般人恐怕都看不懂吧？我妈妈当年也只是读了个师专，她能看得懂嘛？”
话音刚落，旁边的付梦萍立刻摇头：“小雨，你可千万别这么说。你妈妈虽然只是个专科生，但她的外语水平是相当厉害的。以前，她所在的那个山区中学，来了一帮外国考察团，当时都是你妈妈做的同声翻译。据我所知，你妈的外语能力，不亚于任何一个外语专业的人。”
小雨：“……！！！”
孔书成：“……！！！”
两人都有些震惊。
小雨：“难道说，这本《逻辑的引擎》的原著，是我妈妈生前看过的书？”
孔书成耸了耸肩：“这我就不清楚了。不过，可以肯定的是，这本书和那个钻戒，应该都是你爸爸留下来的。或许，这本书，
