607：邏輯的引擎（1/2）

北風如刀，松枝搖曳著，偶爾有幾片雪塊落下。

暮色沉沉中，孔書成借著手機電筒微弱的光，蹲在雪地里，認真地端詳著那本破舊殘缺的書。

確切的說，那是一本沒有了封面和封底的書。

而且，它還是一本關於計算機方面的英文原著書。因為它的版本太早，加之年代久遠，這本書幾乎可以稱之為計算機方面的鼻祖級書籍。孔書成僅僅翻了幾頁就想起來了，這本書他其實曾經也看過。

此刻，小雨將那個價值絕對超過了三十萬的鑽戒，小心翼翼地收起來後，低頭問孔書成：「喂，書成，這本書是講什麼的啊？裡面全都是英文，看都看不懂。」

「嗯，這本書挺老的了。」孔書成緩緩起身，然後又當著母女倆的面草草地翻閱了幾張：「這是一本關於計算機方面的書。雖然沒有了封面和封底，但我猜想這本書應該是最早版本的《Engines of Logic: Mathematicians and the Origin of the Computer》。」

小雨：「……？」

付夢萍：「……？」

母女倆不明覺厲地對視了一眼。

孔書成於是笑了笑：「哦，翻譯過來，就是《邏輯的引擎：數學家與計算機的起源》，或者簡潔一點兒，也可以叫《邏輯的引擎》。早些年，這本書在國外特別火，屬於專業領域裡的暢銷書吧。」

小雨點了點頭：「書成，你是不是看過這本書啊？」

孔書成：「嗯，很早以前，略略地翻過一遍，所以還有些印象。」

小雨：「這本書，主要講的是什麼啊？怎麼好端端的會埋在這裡呢？」

孔書成：「這本書中所講的，實際上是計算機科學這一門非常年輕的學科，究竟是如何從數學家們的邏輯研究中發端的。其實，對於哲學、理論數學這種理論性的學科，很多人常常會覺得它們是無用的，備受推崇的往往是統計學、計算機等學科。

「當然，也有人同意理論學科大有用處，因為它們能指導其他的學科，具有前瞻性，但是如果請他們舉一個具體的例子出來，很多人卻答不上來。針對這種情況，《邏輯的引擎》這本書就提供了一個很好的實例，讓大部分人都看到，最『無用』的哲學和純數學，竟然導致了最『有用』的計算機科學的誕生……

「所以小雨姐你看，這本書的第一部分，就是寫萊布尼茲之夢，講的是現代邏輯之父弗雷格的符號邏輯研究；書的第二部分，講到了20世紀最傑出的數學卷希爾伯特和符號遊戲；當然，後面還講了圖靈、算法和圖靈機……」

只要一聊到自己感興趣的話題，孔書成就跟吃了炫邁口香糖一樣，根本停不下來。

小雨對此當然不感興趣，她只是忽然覺得孔書成這個書呆子：「書成，這就是你剛才說的『略略地翻過一遍』？我感覺，你都能把這本厚厚的書背下來了吧？沒想到，你對英文原著的書都這麼感興趣。」

孔書成尷尬地笑了笑：「這本書的原著，比譯本好太多了。」

小雨接著又自言自語地說道：「奇怪。那個人，為什麼要在我媽媽的墳墓前，埋藏這本《邏輯的引擎》呢？而且，這是一本英文原著，一般人恐怕都看不懂吧？我媽媽當年也只是讀了個師專，她能看得懂嘛？」

話音剛落，旁邊的付夢萍立刻搖頭：「小雨，你可千萬別這麼說。你媽媽雖然只是個專科生，但她的外語水平是相當厲害的。以前，她所在的那個山區中學，來了一幫外國考察團，當時都是你媽媽做的同聲翻譯。據我所知，你媽的外語能力，不亞於任何一個外語專業的人。」

小雨：「……！！！」

孔書成：「……！！！」

兩人都有些震驚。

小雨：「難道說，這本《邏輯的引擎》的原著，是我媽媽生前看過的書？」

孔書成聳了聳肩：「這我就不清楚了。不過，可以肯定的是，這本書和那個鑽戒，應該都是你爸爸留下來的。或許，這本書，曾經是他們倆聯繫的橋樑和紐帶吧。」

這時，付夢萍也有些奇怪地皺了皺眉：「蔡小青之前學的是數學，我也沒見她對計算機很感興趣啊。」

孔書成則笑了笑：「阿姨，一個人數學如果能學好，計算機往往也不會差到哪裡去的。從某種角度上說，數學和信息學，原本就是一家。所以，我在國集訓練營里碰到的那些同學，他們很多人的計算機編程能力都不錯的。比如，宋光輝、陳長庚和戴蓉幾個人，其實就是個電腦編程高手。」

付夢萍點了點頭：「書成，你一說到電腦，我倒是突然想起一件比較有趣的事來，而且是關於蔡小青的。」

孔書成：「什麼事？」

付夢萍：「那一年，我去滇省山區找蔡小青的時候，的確在她家裡看見了一台筆記本電腦。你們知道，她把筆記本電腦藏在哪裡嘛？」

孔書成和小雨搖了搖頭：「不知道。」

付夢萍忍不住笑了笑：「我說出來，你們恐怕都不會相信的。蔡小青居然把她的筆記本電腦，藏在了豬圈裡。」

「啊……」

孔書成吃驚道：「她把電腦藏在豬圈裡？」

付夢萍：「是的。那時候，蔡小青在滇省的偏遠山區支教，條件十分艱苦，所以在教書之餘，她自己還圈養了兩隻可愛的小豬。而她家的豬圈就設在她住的房子旁邊。那一次，她領著我去看她的小豬圈時，還特地給我看了一個隱藏在豬圈裡的小壁櫥。那個隱藏式的小壁櫥，外面用干垛草掩蓋著，一般人絕對看不出來。而蔡小青的那台筆記本電腦，就藏在那個隱蔽的小壁櫥裡面。」

孔書成：「她為什麼要把電腦藏起來呢？」

付夢萍搖了搖頭：「具體為什麼，我也不知道。那時候，蔡小青只是笑跟我說，他們山裡邊經常會鬧小偷，所以比較貴重的東西都會想盡一切辦法將它們藏的嚴嚴實實的。我看了看，那台筆記本電腦可能是蔡小青最值錢的東西了……而且，山裡面經常沒有網絡和信號，蔡小青有時候上網，還得下山去鎮裡。」

她這麼一說，旁邊的小雨又開始鼻子酸，想流淚了。

孔書成接著又問：「阿姨，你見過蔡小青阿姨的電腦嘛？」

付夢萍點了點頭：「見過。小青還當著我的面，把她的電腦打開過，只不過……她的電腦，看起來和咱們的不一樣。」

孔書成：「怎麼不一樣？」

付夢萍：「咱們這些人的電腦，是不是基本上桌面都會有很多圖標啊？比如，裝一些必備的軟體啊什麼的。但是，我看了一下，小青的那台筆記本電腦上，好像什麼都沒有裝。」

孔書成：「怎麼會這樣？會不會，她重裝過系統，還沒有來得及安裝呢？」

付夢萍卻搖了搖頭：「不。她說，她的電腦一直以來就是那樣的。她還說，她喜歡乾乾淨淨的電腦。即便是她曾經用電腦處理過的文件，她都不會保留在電腦裡面。一開始，我還不大相信，後來跟她一起去鎮上，親眼看她用電腦發過郵件和處理完一個文檔之後，我才真的相信了。她每次用完電腦，果然都會把所有的上網痕跡，清理的一乾二淨，好像是怕被誰跟蹤了一般。」

孔書成：「……！！！」

小雨：「……！！！」

片刻，付夢萍見他倆都很緊張，於是勉強笑了笑，然後安慰道：「好了，你們兩個也不要胡思亂想太多了。這些事情，都已經過去了。其實，小青活著的時候也跟我交代過了，讓小雨不要再去為她的事情操心了。她也不希望，小雨被捲入到任何危險之中！」

小雨：「可是。很明顯，我媽媽她……是被人陷害的啊！」

付夢萍點了點頭：「是的。可是，兇手到底是誰，也沒人知道啊。現在，就連你父親是誰，他到底是做什麼的，也沒人知道啊！」

本章未完，點選下一頁繼續閱讀。