北风如刀，松枝摇曳着，偶尔有几片雪块落下。
暮色沉沉中，孔书成借着手机电筒微弱的光，蹲在雪地里，认真地端详着那本破旧残缺的书。
确切的说，那是一本没有了封面和封底的书。
而且，它还是一本关于计算机方面的英文原著书。因为它的版本太早，加之年代久远，这本书几乎可以称之为计算机方面的鼻祖级书籍。孔书成仅仅翻了几页就想起来了，这本书他其实曾经也看过。
此刻，小雨将那个价值绝对超过了三十万的钻戒，小心翼翼地收起来后，低头问孔书成：“喂，书成，这本书是讲什么的啊？里面全都是英文，看都看不懂。”
“嗯，这本书挺老的了。”孔书成缓缓起身，然后又当着母女俩的面草草地翻阅了几张：“这是一本关于计算机方面的书。虽然没有了封面和封底，但我猜想这本书应该是最早版本的《Engines of Logic: Mathematicians and the Origin of the Computer》。”
小雨：“……？”
付梦萍：“……？”
母女俩不明觉厉地对视了一眼。
孔书成于是笑了笑：“哦，翻译过来，就是《逻辑的引擎：数学家与计算机的起源》，或者简洁一点儿，也可以叫《逻辑的引擎》。早些年，这本书在国外特别火，属于专业领域里的畅销书吧。”
小雨点了点头：“书成，你是不是看过这本书啊？”
孔书成：“嗯，很早以前，略略地翻过一遍，所以还有些印象。”
小雨：“这本书，主要讲的是什么啊？怎么好端端的会埋在这里呢？”
孔书成：“这本书中所讲的，实际上是计算机科学这一门非常年轻的学科，究竟是如何从数学家们的逻辑研究中发端的。其实，对于哲学、理论数学这种理论性的学科，很多人常常会觉得它们是无用的，备受推崇的往往是统计学、计算机等学科。
“当然，也有人同意理论学科大有用处，因为它们能指导其他的学科，具有前瞻性，但是如果请他们举一个具体的例子出来，很多人却答不上来。针对这种情况，《逻辑的引擎》这本书就提供了一个很好的实例，让大部分人都看到，最‘无用’的哲学和纯数学，竟然导致了最‘有用’的计算机科学的诞生……
“所以小雨姐你看，这本书的第一部分，就是写莱布尼兹之梦，讲的是现代逻辑之父弗雷格的符号逻辑研究；书的第二部分，讲到了20世纪最杰出的数学卷希尔伯特和符号游戏；当然，后面还讲了图灵、算法和图灵机……”
只要一聊到自己感兴趣的话题，孔书成就跟吃了炫迈口香糖一样，根本停不下来。
小雨对此当然不感兴趣，她只是忽然觉得孔书成这个书呆子：“书成，这就是学霸凶猛(小马哥的火箭)最新章节手机访问：https://m.xtxtaikan.com/wapbook72516/40232278/