607：逻辑的引擎(1/2)

首发：~607：逻辑的引擎

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

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

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

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

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

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

小雨：“……？”

付梦萍：“……？”

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

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

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

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

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

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

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

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

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

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

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

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

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

小雨：“……！！！”

孔书成：“……！！！”

两人都有些震惊。

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

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

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

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

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

孔书成：“什么事？”

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

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

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

“啊……”

孔书成吃惊道：“她把电脑藏在猪圈里？”

付梦萍：“是的。那时候，蔡小青在滇省的偏远山区支教，条件十分艰苦，所以在教书之余，她自己还圈养了两只可爱的小猪。而她家的猪圈就设在她住的房子旁边。那一次，她领着我去看她的小猪圈时，还特地给我看了一个隐藏在猪圈里的小壁橱。那个隐藏式的小壁橱，外面用干垛草掩盖着，一般人绝对看不出来。而蔡小青的那台笔记本电脑，就藏在那个隐蔽的小壁橱里面。”

孔书成：“她为什么要把电脑藏起来呢？”

付梦萍摇了摇头：“具体为什么，我也不知道。那时候，蔡小青只是笑跟我说，他们山里边经常会闹小偷，所以比较贵重的东西都会想尽一切办法将它们藏的严严实实的。我看了看，那台笔记本电脑可能是蔡小青最值钱的东西了……而且，山里面经常没有网络和信号，蔡小青有时候上网，还得下山去镇里。”

她这么一说，旁边的小雨又开始鼻子酸，想流泪了。

孔书成接着又问：“阿姨，你见过蔡小青阿姨的电脑嘛？”

付梦萍点了点头：“见过。小青还当着我的面，把她的电脑打开过，只不过……她的电脑，看起来和咱们的不一样。”

孔书成：“怎么不一样？”

付梦萍：“咱们这些人的电脑，是不是基本上桌面都会有很多图标啊？比如，装一些必备的软件啊什么的。但是，我看了一下，小青的那台笔记本电脑上，好像什么都没有装。”

孔书成：“怎么会这样？会不会，她重装过系统，还没有来得及安装呢？”

付梦萍却摇了摇头：“不。她说，她的电脑一直以来就是那样的。她还说，她喜欢干干净净的电脑。即便是她曾经用电脑处理过的文件，她都不会保留在电脑里面。一开始，我还不大相信，后来跟她一起去镇上，亲眼看她用电脑发过邮件和处理完一个文档之后，我才真的相信了。她每次用完电脑，果然都会把所有的上网痕迹，清理的一干二净，好像是怕被谁跟踪了一般。”

孔书成：“……！！！”

小雨：“……！！！”

片刻，付梦萍见他俩都很紧张，于是勉强笑了笑，然后安慰道：“好了，你们两个也不要胡思乱想太多了。这些事情，都已经过去了。其实，小青活着的时候也跟我交代过了，让小雨不要再去为她的事情操心了。她也不希望，小雨被卷入到任何危险之中！”

小雨：“可是。很明显，我妈妈她……是被人陷害的啊！”