607：逻辑的引擎（1 / 3）

北风如刀，松枝摇曳着，偶尔有几片雪块落下。

暮色沉沉中，孔书成借着手机电筒微弱的光，蹲在雪地里，认真地端详着那本破旧残缺的书。

确切的说，那是一本没有了封面和封底的书。

而且，它还是一本关于计算机方面的英文原著书。因为它的版本太早，加之年代久远，这本书几乎可以称之为计算机方面的鼻祖级书籍。孔书成仅仅翻了几页就想起来了，这本书他其实曾经也看过。

此刻，小雨将那个价值绝对超过了三十万的钻戒，小心翼翼地收起来后，低头问孔书成：“喂，书成，这本书是讲什么的啊？里面全都是英文，看都看不懂。”

“嗯，这本书挺老的了。”孔书成缓缓起身，然后又当着母女俩的面草草地翻阅了几张：“这是一本关于计算机方面的书。虽然没有了封面和封底，但我猜想这本书应该是最早版本的《engines of logic: mathematicians and the origin of the orgputer》。”

小雨：“……？”

付梦萍：“……？”

母女俩不明觉厉地对视了一眼。

孔书成于是笑了笑：“哦，翻译过来，就是《逻辑的引擎：数学家与计算机的起源》，或者简洁一点儿，也可以叫《逻辑的引擎》。早些年，这本书在国外特别火，属于专业领域里的畅销书吧。”

小雨点了点头：“书成，你是不是看过这本书啊？”

孔书成：“嗯，很早以前，略略地翻过一遍，所以还有些印象。”

小雨：“这本书，主要讲的是什么啊？怎么好端端的会埋在这里呢？”

孔书成：“这本书中所讲的，实际上是计算机科学这一门非常年轻的学科，究竟是如何从数学家们的逻辑研究中发端的。其实，对于哲学、理论数学这种理论性的学科，很多人常常会觉得它们是无用的，备受推崇的往往是统计学、计算机等学科。

“当然，也有人同意理论学科大有用处，因为它们能指导其他的学科，具有前瞻性，但是如果请他们举一个具体的例子出来，很多人却答不上来。针对这种情况，《逻辑的引擎》这本书就提供了一个很好的实例，让大部分人都看到，最‘无用’的哲学和纯数学，竟然导致了最‘有用’的计算机科学的诞生……

“所以小雨姐你看，这本书的第一部分，就是写莱布尼兹之梦，讲的是现代逻辑之父弗雷格的符号逻辑研究；书的第二部分，讲到了20世纪最杰出的数学卷希尔伯特和符号游戏；当然，后面还讲了图灵、算法和图灵机……”

只要一聊到自己感兴趣的话题，孔书成就跟吃了炫迈口香糖一样，根本停不下来。

小雨对此当然不感兴趣，她只是忽然觉得孔书成这个书呆子：“书成，这就是你刚才说的‘略略地翻过一遍’？我感觉，你都能把这本厚厚的书背下来了吧？没想到，你对英文原著的书都这么感兴趣。”

孔书成尴尬地笑了笑：“这本书的原著，比译本好太多了。”

小雨接着又自言自语地说道：“奇怪。那个人，为什么要在我妈妈的坟墓前，埋藏这本《逻辑的引擎》呢？而且，这是一本英文原著，一般人恐怕都看不懂吧？我妈妈当年也只是读了个师专，她能看得懂嘛？”

话音刚落，旁边的付梦萍立刻摇头：“小雨，你可千万别这么说。你妈妈虽然只是个专科生，但她的外语水平是相当厉害的。以前，她所在的那个山区中学，来了一帮外国考察团，当时都是你妈妈做的同声翻译。据我所知，你妈的外语能力，不亚于任何一个外语专业的人。”

小雨：“……！！！”

孔书成：“……！！！”

两人都有些震惊。

小雨：“难道说，这本《逻辑的引擎》的原著，是我妈妈生前看过的书？”

孔书成耸了耸肩：“这我就不清楚了。不过，可以肯定的是，这本书和那个钻戒，应该都是你爸爸留下来的。或许，这本书，曾经是他们俩联系的桥梁和纽带吧。”

这时，付梦萍也有些奇怪地皱了皱眉：“蔡小青之前学的是数学，我也没见她对计算机很感兴趣啊。”

孔书成则笑了笑：“阿姨，一个人数学如果能学好，计算机往往也不会差到哪里去的。从某种角度上说，数学和信息学，原本就是一家。所以，我在国集训练营里碰到的那些同学，他们很多人的计算机编程能力都不错的。比如，宋光辉、陈长庚和戴蓉几个人，其实就是个电脑编程高手。”

付梦萍点了点头：“书成，你一说到电脑，我倒是突然想起一件比较有趣的事来，而且是关于蔡小青的。”

孔书成：“什么事？”

付梦萍：“那一年，我去滇省山区找蔡小青的时候，的确在她家里看见了一台笔记本电脑。你们知道，她把笔记本电脑藏在哪里嘛？”

孔书成和小雨摇了摇头：“不知道。”

付梦萍忍不住笑了笑：“我说出来，你们恐怕都不会相信的。蔡小青居然把她的笔记本电脑，藏在了猪圈里。”

“啊……”

孔书成吃惊