北風如刀，松枝搖曳著，偶爾有幾片雪塊落下。
暮色沉沉中，孔書成藉著手機電筒微弱的光，蹲在雪地裡，認真地端詳著那本破舊殘缺的書。
確切的說，那是一本沒有了封面和封底的書。
而且，它還是一本關於計算機方面的英文原著書。因為它的版本太早，加之年代久遠，這本書幾乎可以稱之為計算機方面的鼻祖級書籍。孔書成僅僅翻了幾頁就想起來了，這本書他其實曾經也看過。
此刻，小雨將那個價值絕對超過了三十萬的鑽戒，小心翼翼地收起來後，低頭問孔書成：“喂，書成，這本書是講什麼的啊？裡面全都是英文，看都看不懂。”
“嗯，這本書挺老的了。”孔書成緩緩起身，然後又當著母女倆的面草草地翻閱了幾張：“這是一本關於計算機方面的書。雖然沒有了封面和封底，但我猜想這本書應該是最早版本的《engines of logic:&nathematicians and the origin of the orgputer》。”
小雨：“……？”
付夢萍：“……？”
母女倆不明覺厲地對視了一眼。
孔書成於是笑了笑：“哦，翻譯過來，就是《邏輯的引擎：數學家與計算機的起源》，或者簡潔一點兒，也可以叫《邏輯的引擎》。早些年，這本書在國外特別火，屬於專業領域裡的暢銷書吧。”
小雨點了點頭：“書成，你是不是看過這本書啊？”
孔書成：“嗯，很早以前，略略地翻過一遍，所以還有些印象。”
小雨：“這本書，主要講的是什麼啊？怎麼好端端的會埋在這裡呢？”
孔書成：“這本書中所講的，實際上是電腦科學這一門非常年輕的學科，究竟是如何從數學家們的邏輯研究中發端的。其實，對於哲學、理論數學這種理論性的學科，很多人常常會覺得它們是無用的，備受推崇的往往是統計學、計算機等學科。
“當然，也有人同意理論學科大有用處，因為它們能指導其他的學科，具有前瞻性，但是如果請他們舉一個具體的例子出來，很多人卻答不上來。針對這種情況，《邏輯的引擎》這本書就提供了一個很好的例項，讓大部分人都看到，最‘無用’的哲學和純數學，竟然導致了最‘有用’的電腦科學的誕生……
“所以小雨姐你看，這本書的第一部分，就是寫萊布尼茲之夢，講的是現代邏輯之父弗雷格的符號邏輯研究；書的第二部分，講到了20世紀最傑出的數學卷希爾伯特和符號遊戲；當然，後面還講了圖靈、演算法和圖靈機……”
只要一聊到自己感興趣的話題，孔書成就跟吃了炫邁口香糖一樣，根本停不下來。
小雨對此當然不感興趣，她只是忽然覺得孔書成這個書呆子：“書成，這就是你剛才說的‘略略地翻過一遍’？我感覺，你都能把這本厚厚的書背下來了吧？沒想到，你對英文原著的書都這麼感興趣。”
孔書成尷尬地笑了笑：“這本書的原著，比譯本好太多了。”
小雨接著又自言自語地說道：“奇怪。那個人，為什麼要在我媽媽的墳墓前，埋藏這本《邏輯的引擎》呢？而且，這是一本英文原著，一般人恐怕都看不懂吧？我媽媽當年也只是讀了個師專，她能看得懂嘛？”
話音剛落，旁邊的付夢萍立刻搖頭：“小雨，你可千萬別這麼說。你媽媽雖然只是個專科生，但她的外語水平是相當厲害的。以前，她所在的那個山區中學，來了一幫外國考察團，當時都是你媽媽做的同聲翻譯。據我所知，你媽的外語能力，不亞於任何一個外語專業的人。”
小雨：“……！！！”
孔書成：“……！！！”
兩人都有些震驚。
小雨：“難道說，這本《邏輯的引擎》的原著，是我媽媽生前看過的書？”
孔書成聳了聳肩：“這我就不清楚了。不過，可以肯定的是，這本書和那個鑽戒，應該都是你爸爸留下來的。或許，這本書，曾經是他們倆聯絡的橋樑和紐帶吧。”
這時，付夢萍也有些奇怪地皺了皺眉：“蔡小青之前學的是數學，我也沒見她對計算機很感興趣啊。”
孔書成則笑了笑：“阿姨，一個人數學如果能學好，計算機往往也不會差到哪裡去的。從某種角度上說，數學和資訊學，原本就是一家。所以，我在國集訓練營裡碰到的那些同學，他們很多人的計算機程式設計能力都不錯的。比如，宋光輝、陳長庚和戴蓉幾個人，其實就是個電腦程式設計高手。”
付夢萍點了點頭：“書成，你一說到電腦，我倒是突然想起一件比較有趣的事來，而且是關於蔡小青的。”
孔書成：“什麼事？”
付夢萍：“那一年，我去滇省山區找蔡小青的時候，的確在她家裡看見了一臺膝上型電腦。你們知道，她把膝上型電腦藏在哪裡嘛？”
孔書成和小雨搖了搖頭：“不知道。”
付夢萍忍不住笑了笑：“我說出來，你們恐怕都不會相信的。蔡小青居然把她的膝上型電腦，藏在了豬圈裡。”