607:逻辑的引擎
北风如刀,松枝摇曳着,偶尔有几片雪块落下。
暮色沉沉中,孔书成借着手机电筒微弱的光,蹲在雪地里,认真地端详着那本破旧残缺的书。
确切的说,那是一本没有了封面和封底的书。
而且,它还是一本关于计算机方面的英文原著书。因为它的版本太早,加之年代久远,这本书几乎可以称之为计算机方面的鼻祖级书籍。孔书成仅仅翻了几页就想起来了,这本书他其实曾经也看过。
此刻,小雨将那个价值绝对超过了三十万的钻戒,小心翼翼地收起来后,低头问孔书成:“喂,书成,这本书是讲什么的啊?里面全都是英文,看都看不懂。”
“嗯,这本书挺老的了。”孔书成缓缓起身,然后又当着母女俩的面草草地翻阅了几张:“这是一本关于计算机方面的书。虽然没有了封面和封底,但我猜想这本书应该是最早版本的《EnginesofLogic:MathematiciansandtheOriginoftheComputer》。”
小雨:“……?”
付梦萍:“……?”
母女俩不明觉厉地对视了一眼。
孔书成于是笑了笑:“哦,翻译过来,就是《逻辑的引擎:数学家与计算机的起源》,或者简洁一点儿,也可以叫《逻辑的引擎》。早些年,这本书在国外特别火,属于专业领域里的畅销书吧。”
小雨点了点头:“书成,你是不是看过这本书啊?”
孔书成:“嗯,很早以前,略略地翻过一遍,所以还有些印象。”
小雨:“这本书,主要讲的是什么啊?怎么好端端的会埋在这里呢?”
孔书成:“这本书中所讲的,实际上是计算机科学这一门非常年轻的学科,究竟是如何从数学家们的逻辑研究中发端的。其实,对于哲学、理论数学这种理论性的学科,很多人常常会觉得它们是无用的,备受推崇的往往是统计学、计算机等学科。
“当然,也有人同意理论学科大有用处,因为它们能指导其他的学科,具有前瞻性,但是如果请他们举一个具体的例子出来,很多人却答不上来。针对这种情况,《逻辑的引擎》这本书就提供了一个很好的实例,让大部分人都看到,最‘无用’的哲学和纯数学,竟然导致了最‘有用’的计算机科学的诞生……
“所以小雨姐你看,这本书的第一部分,就是写莱布尼兹之梦,讲的是现代逻辑之父弗雷格的符号逻辑研究;书的第二部分,讲到了20世纪最杰出的数学卷希尔伯特和符号游戏;当然,后面还讲了图灵、算法和图灵机……”
只要一聊到自己感兴趣的话题,孔书成就跟吃了炫迈口香糖一样,根本停不下来。
小雨对此当然不感兴趣,她只是忽然觉得孔书成这个书呆子:“书成,这就是你刚才说的‘略略地翻过一遍’?我感觉,你都能把这本厚厚的书背下来了吧?没想到,你对英文原著的书都这么感兴趣。”
孔书成尴尬地笑了笑:“这本书的原著,比译本好太多了。”
小雨接着又自言自语地说道:“奇怪。那个人,为什么要在我妈妈的坟墓前,埋藏这本《逻辑的引擎》呢?而且,这是一本英文原著,一般人恐怕都看不懂吧?我妈妈当年也只是读了个师专,她能看得懂嘛?”
话音刚落,旁边的付梦萍立刻摇头:“小雨,你可千万别这么说。你妈妈虽然只是个专科生,但她的外语水平是相当厉害的。以前,她所在的那个山区中学,来了一帮外国考察团,当时都是你妈妈做的同声翻译。据我所知,你妈的外语能力,不亚于任何一个外语专业的人。”
小雨:“……!!!”
孔书成:“……!!!”
两人都有些震惊。
小雨:“难道说,这本《逻辑的引擎》的原著,是我妈妈生前看过的书?”
孔书成耸了耸肩:“这我就不清楚了。不过,可以肯定的是,这本书和那个钻戒,应该都是你爸爸留下来的。或许,这本书,曾经是他们俩联系的桥梁和纽带吧。”
这时,付梦萍也有些奇怪地皱了皱眉:“蔡小青之前学的是数学,我也没见她对计算机很感兴趣啊。”
孔书成则笑了笑:“阿姨,一个人数学如果能学好,计算机往往也不会差到哪里去的。从某种角度上说,数学和信息学,原本就是一家。所以,我在国集训练营里碰到的那些同学,他们很多人的计算机编程能力都不错的。比如,宋光辉、陈长庚和戴蓉几个人,其实就是个电脑编程高手。”
付梦萍点了点头:“书成,你一说到电脑,我倒是突然想起一件比较有趣的事来,而且是关于蔡小青的。”
孔书成:“什么事?”
付梦萍:“那一年,我去滇省山区找蔡小青的时候,的确在她家里看见了一台笔记本电脑。你们知道,她把笔记本电脑藏在哪里嘛?”
孔书成和小雨摇了摇头:“不知道。”
付梦萍忍不住笑了笑:“我说出来,你们恐怕都不会相信的。蔡小青居然把她的笔记本电脑,藏在了猪圈里。”
“啊……”
孔书成吃惊道:“她把电脑藏在猪圈里?”
付梦萍:“是的。那时候,蔡小青在滇省的偏远山区支教,条件十分艰苦,所以在教书之余,她自己还圈养了两只可爱的小猪。而她家的猪圈就设在她住的房子旁边。那一次,她领着我去看她的小猪圈时,还特地给我看了一个隐藏在猪圈里的小壁橱。那个隐藏式的小壁橱,外面用干垛草掩盖着,一般人绝对看不出来。而蔡小青的那台笔记本电脑,就藏在那个隐蔽的小壁橱里面。”
孔书成:“她为什么要把电脑藏起来呢?”
付梦萍摇了摇头:“具体为什么,我也不知道。那时候,蔡小青只是笑跟我说,他们山里边经常会闹小偷,所以比较贵重的东西都会想尽一切办法将它们藏的严严实实的。我看了看,那台笔记本电脑可能是蔡小青最值钱的东西了……而且,山里面经常没有网络和信号,蔡小青有时候上网,还得下山去镇里。”
她这么一说,旁边的小雨又开始鼻子酸,想流泪了。
孔书成接着又问:“阿姨,你见过蔡小青阿姨的电脑嘛?”
付梦萍点了点头:“见过。小青还当着我的面,把她的电脑打开过,只不过……她的电脑,看起来和咱们的不一样。”
孔书成:“怎么不一样?”
付梦萍:“咱们这些人的电脑,是不是基本上桌面都会有很多图标啊?比如,装一些必备的软件啊什么的。但是,我看了一下,小青的那台笔记本电脑上,好像什么都没有装。”
孔书成:“怎么会这样?会不会,她重装过系统,还没有来得及安装呢?”
付梦萍却摇了摇头:“不。她说,她的电脑一直以来就是那样的。她还说,她喜欢干干净净的电脑。即便是她曾经用电脑处理过的文件,她都不会保留在电脑里面。一开始,我还不大相信,后来跟她一起去镇上,亲眼看她用电脑发过邮件和处理完一个文档之后,我才真的相信了。她每次用完电脑,果然都会把所有的上网痕迹,清理的一干二净,好像是怕被谁跟踪了一般。”
孔书成:“……!!!”
小雨:“……!!!”
片刻,付梦萍见他俩都很紧张,于是勉强笑了笑,然后安慰道:“好了,你们两个也不要胡思乱想太多了。这些事情,都已经过去了。其实,小青活着的时候也跟我交代过了,让小雨不要再去为她的事情操心了。她也不希望,小雨被卷入到任何危险之中!”
小雨:“可是。很明显,我妈妈她……是被人陷害的啊!”
付梦萍点了点头:“是的。可是,凶手到底是谁,也没人知道啊。现在,就连你父亲是谁,他到底是做什么的,也没人知道啊!”
小雨:“难道,就这样算了嘛?”
付梦萍:“这件事,恐怕要你父亲现身,才能有个结果了。可是,万一你父亲一旦现身了,结果更坏了,那又该怎么办呢?小雨,我的意思,你明白嘛?”
“……”
小雨许久没说话,但最终还是重重地点了点头:“我明白!”
付梦萍点了点头:“行了,天色太晚了,咱们还是赶紧回家吧。”
孔书成顿了顿,突然小声地说道:“阿姨,小雨,我可以把这本《逻辑的引擎》带回家研究一下嘛?”
付梦萍:“行,拿回去看吧。如果,你不怕做噩梦的话!”
孔书成呵呵一笑:“阿姨,您就放心吧,我从小都爱看九叔的电影。不会相信那么多迷信的!”
说话间,三个人披着夜色,走出了羊角山墓区。
……
送完付梦萍和小雨回家之后,孔书成回到家里都已经九点半了。
老爸孔繁龙见他衣服都有些湿了,觉得很奇怪:“儿子,你这一整天的,到底去哪儿了?”
孔书成:“下午,去中医院接小雨的妈妈出院。”
孔繁龙:“要这么久嘛?哦对了,你个臭小子,可不能吃着碗里的,看着锅里的啊!”
孔书成:“什么意思?”
孔繁龙:“你现在跟周落霞好就认真跟她好,不要跟小雨又扯在一起了啊。”
孔书成:“什么嘛?爸,你想多了。”
孔繁龙:“我可没有想多。刚才,沙沫来找你没找到,就把什么都跟我说了。她还说,你还给小雨妈妈付梦萍捐款了。”
孔书成:“……!!!”
内心一惊。
卧槽,沙沫这个大嘴巴,怎么把捐款这事儿都跟苟老爸说啊?
这,这可真是跳进黄河都洗不清了啊!
见孔书成不作声,孔繁龙接着又道:“臭小子,咱们家里也不是什么富豪,你也不是拆二代。以后,你给同学家里捐款,能不能先跟我商量一下啊?四万块钱,那可不是小数目啊?”
“……”
孔书成没说话,但内心还是有些庆幸的。
看来,沙沫只是跟苟老爸说,他只捐了“四万块”。要是让苟老爸知道,自己捐的数额是“四十万”,估计苟老爸要去厨房拿菜刀了。
不过,没办法了,捐款这件事儿,无论如何都要再隐瞒一段时间了。毕竟,孔书成手头上的将近两百万,都是从小雨姐妹俩帮忙赚来的。但是,这件事儿,因为涉及到学霸黑科技,他也不能跟苟老爸坦白啊……
孔繁龙见儿子不再作声,于是又瞟了一眼儿子手中的那本《逻辑的引擎》,觉得奇怪:“哦对了,儿子,你手里那本书,是从哪儿带回来的啊?”
孔书成:“旧书摊上买的,怎么了?”
孔繁龙:“这个时候,你还在看外语书?你不是马上就要去英国那个什么伯什么明的地方参加奥数竞赛嘛?”
孔书成:“那叫伯明翰。”
孔繁龙:“哦对,伯明翰。”
孔书成:“对啊,去英国伯明翰,不学点儿外语能行嘛?万一,碰到个金发美眉主动撩我,我也得展现一下礼仪之邦的男性魅力吧?”
孔繁龙狠狠地敲了他一下脑袋:“臭小子,你都有周落霞,脑子里还敢想金发美女啊?”
孔书成:“爸,我觉得你最近不对啊!”
孔繁龙:“哪里不对了?”
孔书成:“以前,你只要跟我聊天,三句铁定不离隔壁的小卷毛。现在可好了,周落霞只是来咱们家吃了一顿饺子,你就两句不离周落霞了?”
孔繁龙哈哈大笑:“那是自然。以前,老爸不是没有见过媳妇儿的庐山真面目嘛?儿子,爸爸确认过了,周落霞这个女孩不错的,你一定要珍惜。至于沙沫嘛,她也是不错的!”
孔书成:“那,两个儿媳,让你二选一呢?”
“啊,这……”
苟老爸顿时陷入了两难。
这时,孔书成从沙发上起身后,伸了个懒腰,开玩笑地说道:“鱼和熊掌不可兼得。老爸,你该不会要跟我说,两个儿媳你都想收下吧?”
“……”
孔繁龙嘴角抽了抽,刚想说些什么。
孔书成拿着那本《逻辑的引擎》,回到了房间,然后开始认真地研究起来。
他冥冥中感觉,这本书,一定不简单……
…………
请收藏本站:https://www.kxxsw.cc。卡西小说网手机版:https://m.kxxsw.cc
暮色沉沉中,孔书成借着手机电筒微弱的光,蹲在雪地里,认真地端详着那本破旧残缺的书。
确切的说,那是一本没有了封面和封底的书。
而且,它还是一本关于计算机方面的英文原著书。因为它的版本太早,加之年代久远,这本书几乎可以称之为计算机方面的鼻祖级书籍。孔书成仅仅翻了几页就想起来了,这本书他其实曾经也看过。
此刻,小雨将那个价值绝对超过了三十万的钻戒,小心翼翼地收起来后,低头问孔书成:“喂,书成,这本书是讲什么的啊?里面全都是英文,看都看不懂。”
“嗯,这本书挺老的了。”孔书成缓缓起身,然后又当着母女俩的面草草地翻阅了几张:“这是一本关于计算机方面的书。虽然没有了封面和封底,但我猜想这本书应该是最早版本的《EnginesofLogic:MathematiciansandtheOriginoftheComputer》。”
小雨:“……?”
付梦萍:“……?”
母女俩不明觉厉地对视了一眼。
孔书成于是笑了笑:“哦,翻译过来,就是《逻辑的引擎:数学家与计算机的起源》,或者简洁一点儿,也可以叫《逻辑的引擎》。早些年,这本书在国外特别火,属于专业领域里的畅销书吧。”
小雨点了点头:“书成,你是不是看过这本书啊?”
孔书成:“嗯,很早以前,略略地翻过一遍,所以还有些印象。”
小雨:“这本书,主要讲的是什么啊?怎么好端端的会埋在这里呢?”
孔书成:“这本书中所讲的,实际上是计算机科学这一门非常年轻的学科,究竟是如何从数学家们的逻辑研究中发端的。其实,对于哲学、理论数学这种理论性的学科,很多人常常会觉得它们是无用的,备受推崇的往往是统计学、计算机等学科。
“当然,也有人同意理论学科大有用处,因为它们能指导其他的学科,具有前瞻性,但是如果请他们举一个具体的例子出来,很多人却答不上来。针对这种情况,《逻辑的引擎》这本书就提供了一个很好的实例,让大部分人都看到,最‘无用’的哲学和纯数学,竟然导致了最‘有用’的计算机科学的诞生……
“所以小雨姐你看,这本书的第一部分,就是写莱布尼兹之梦,讲的是现代逻辑之父弗雷格的符号逻辑研究;书的第二部分,讲到了20世纪最杰出的数学卷希尔伯特和符号游戏;当然,后面还讲了图灵、算法和图灵机……”
只要一聊到自己感兴趣的话题,孔书成就跟吃了炫迈口香糖一样,根本停不下来。
小雨对此当然不感兴趣,她只是忽然觉得孔书成这个书呆子:“书成,这就是你刚才说的‘略略地翻过一遍’?我感觉,你都能把这本厚厚的书背下来了吧?没想到,你对英文原著的书都这么感兴趣。”
孔书成尴尬地笑了笑:“这本书的原著,比译本好太多了。”
小雨接着又自言自语地说道:“奇怪。那个人,为什么要在我妈妈的坟墓前,埋藏这本《逻辑的引擎》呢?而且,这是一本英文原著,一般人恐怕都看不懂吧?我妈妈当年也只是读了个师专,她能看得懂嘛?”
话音刚落,旁边的付梦萍立刻摇头:“小雨,你可千万别这么说。你妈妈虽然只是个专科生,但她的外语水平是相当厉害的。以前,她所在的那个山区中学,来了一帮外国考察团,当时都是你妈妈做的同声翻译。据我所知,你妈的外语能力,不亚于任何一个外语专业的人。”
小雨:“……!!!”
孔书成:“……!!!”
两人都有些震惊。
小雨:“难道说,这本《逻辑的引擎》的原著,是我妈妈生前看过的书?”
孔书成耸了耸肩:“这我就不清楚了。不过,可以肯定的是,这本书和那个钻戒,应该都是你爸爸留下来的。或许,这本书,曾经是他们俩联系的桥梁和纽带吧。”
这时,付梦萍也有些奇怪地皱了皱眉:“蔡小青之前学的是数学,我也没见她对计算机很感兴趣啊。”
孔书成则笑了笑:“阿姨,一个人数学如果能学好,计算机往往也不会差到哪里去的。从某种角度上说,数学和信息学,原本就是一家。所以,我在国集训练营里碰到的那些同学,他们很多人的计算机编程能力都不错的。比如,宋光辉、陈长庚和戴蓉几个人,其实就是个电脑编程高手。”
付梦萍点了点头:“书成,你一说到电脑,我倒是突然想起一件比较有趣的事来,而且是关于蔡小青的。”
孔书成:“什么事?”
付梦萍:“那一年,我去滇省山区找蔡小青的时候,的确在她家里看见了一台笔记本电脑。你们知道,她把笔记本电脑藏在哪里嘛?”
孔书成和小雨摇了摇头:“不知道。”
付梦萍忍不住笑了笑:“我说出来,你们恐怕都不会相信的。蔡小青居然把她的笔记本电脑,藏在了猪圈里。”
“啊……”
孔书成吃惊道:“她把电脑藏在猪圈里?”
付梦萍:“是的。那时候,蔡小青在滇省的偏远山区支教,条件十分艰苦,所以在教书之余,她自己还圈养了两只可爱的小猪。而她家的猪圈就设在她住的房子旁边。那一次,她领着我去看她的小猪圈时,还特地给我看了一个隐藏在猪圈里的小壁橱。那个隐藏式的小壁橱,外面用干垛草掩盖着,一般人绝对看不出来。而蔡小青的那台笔记本电脑,就藏在那个隐蔽的小壁橱里面。”
孔书成:“她为什么要把电脑藏起来呢?”
付梦萍摇了摇头:“具体为什么,我也不知道。那时候,蔡小青只是笑跟我说,他们山里边经常会闹小偷,所以比较贵重的东西都会想尽一切办法将它们藏的严严实实的。我看了看,那台笔记本电脑可能是蔡小青最值钱的东西了……而且,山里面经常没有网络和信号,蔡小青有时候上网,还得下山去镇里。”
她这么一说,旁边的小雨又开始鼻子酸,想流泪了。
孔书成接着又问:“阿姨,你见过蔡小青阿姨的电脑嘛?”
付梦萍点了点头:“见过。小青还当着我的面,把她的电脑打开过,只不过……她的电脑,看起来和咱们的不一样。”
孔书成:“怎么不一样?”
付梦萍:“咱们这些人的电脑,是不是基本上桌面都会有很多图标啊?比如,装一些必备的软件啊什么的。但是,我看了一下,小青的那台笔记本电脑上,好像什么都没有装。”
孔书成:“怎么会这样?会不会,她重装过系统,还没有来得及安装呢?”
付梦萍却摇了摇头:“不。她说,她的电脑一直以来就是那样的。她还说,她喜欢干干净净的电脑。即便是她曾经用电脑处理过的文件,她都不会保留在电脑里面。一开始,我还不大相信,后来跟她一起去镇上,亲眼看她用电脑发过邮件和处理完一个文档之后,我才真的相信了。她每次用完电脑,果然都会把所有的上网痕迹,清理的一干二净,好像是怕被谁跟踪了一般。”
孔书成:“……!!!”
小雨:“……!!!”
片刻,付梦萍见他俩都很紧张,于是勉强笑了笑,然后安慰道:“好了,你们两个也不要胡思乱想太多了。这些事情,都已经过去了。其实,小青活着的时候也跟我交代过了,让小雨不要再去为她的事情操心了。她也不希望,小雨被卷入到任何危险之中!”
小雨:“可是。很明显,我妈妈她……是被人陷害的啊!”
付梦萍点了点头:“是的。可是,凶手到底是谁,也没人知道啊。现在,就连你父亲是谁,他到底是做什么的,也没人知道啊!”
小雨:“难道,就这样算了嘛?”
付梦萍:“这件事,恐怕要你父亲现身,才能有个结果了。可是,万一你父亲一旦现身了,结果更坏了,那又该怎么办呢?小雨,我的意思,你明白嘛?”
“……”
小雨许久没说话,但最终还是重重地点了点头:“我明白!”
付梦萍点了点头:“行了,天色太晚了,咱们还是赶紧回家吧。”
孔书成顿了顿,突然小声地说道:“阿姨,小雨,我可以把这本《逻辑的引擎》带回家研究一下嘛?”
付梦萍:“行,拿回去看吧。如果,你不怕做噩梦的话!”
孔书成呵呵一笑:“阿姨,您就放心吧,我从小都爱看九叔的电影。不会相信那么多迷信的!”
说话间,三个人披着夜色,走出了羊角山墓区。
……
送完付梦萍和小雨回家之后,孔书成回到家里都已经九点半了。
老爸孔繁龙见他衣服都有些湿了,觉得很奇怪:“儿子,你这一整天的,到底去哪儿了?”
孔书成:“下午,去中医院接小雨的妈妈出院。”
孔繁龙:“要这么久嘛?哦对了,你个臭小子,可不能吃着碗里的,看着锅里的啊!”
孔书成:“什么意思?”
孔繁龙:“你现在跟周落霞好就认真跟她好,不要跟小雨又扯在一起了啊。”
孔书成:“什么嘛?爸,你想多了。”
孔繁龙:“我可没有想多。刚才,沙沫来找你没找到,就把什么都跟我说了。她还说,你还给小雨妈妈付梦萍捐款了。”
孔书成:“……!!!”
内心一惊。
卧槽,沙沫这个大嘴巴,怎么把捐款这事儿都跟苟老爸说啊?
这,这可真是跳进黄河都洗不清了啊!
见孔书成不作声,孔繁龙接着又道:“臭小子,咱们家里也不是什么富豪,你也不是拆二代。以后,你给同学家里捐款,能不能先跟我商量一下啊?四万块钱,那可不是小数目啊?”
“……”
孔书成没说话,但内心还是有些庆幸的。
看来,沙沫只是跟苟老爸说,他只捐了“四万块”。要是让苟老爸知道,自己捐的数额是“四十万”,估计苟老爸要去厨房拿菜刀了。
不过,没办法了,捐款这件事儿,无论如何都要再隐瞒一段时间了。毕竟,孔书成手头上的将近两百万,都是从小雨姐妹俩帮忙赚来的。但是,这件事儿,因为涉及到学霸黑科技,他也不能跟苟老爸坦白啊……
孔繁龙见儿子不再作声,于是又瞟了一眼儿子手中的那本《逻辑的引擎》,觉得奇怪:“哦对了,儿子,你手里那本书,是从哪儿带回来的啊?”
孔书成:“旧书摊上买的,怎么了?”
孔繁龙:“这个时候,你还在看外语书?你不是马上就要去英国那个什么伯什么明的地方参加奥数竞赛嘛?”
孔书成:“那叫伯明翰。”
孔繁龙:“哦对,伯明翰。”
孔书成:“对啊,去英国伯明翰,不学点儿外语能行嘛?万一,碰到个金发美眉主动撩我,我也得展现一下礼仪之邦的男性魅力吧?”
孔繁龙狠狠地敲了他一下脑袋:“臭小子,你都有周落霞,脑子里还敢想金发美女啊?”
孔书成:“爸,我觉得你最近不对啊!”
孔繁龙:“哪里不对了?”
孔书成:“以前,你只要跟我聊天,三句铁定不离隔壁的小卷毛。现在可好了,周落霞只是来咱们家吃了一顿饺子,你就两句不离周落霞了?”
孔繁龙哈哈大笑:“那是自然。以前,老爸不是没有见过媳妇儿的庐山真面目嘛?儿子,爸爸确认过了,周落霞这个女孩不错的,你一定要珍惜。至于沙沫嘛,她也是不错的!”
孔书成:“那,两个儿媳,让你二选一呢?”
“啊,这……”
苟老爸顿时陷入了两难。
这时,孔书成从沙发上起身后,伸了个懒腰,开玩笑地说道:“鱼和熊掌不可兼得。老爸,你该不会要跟我说,两个儿媳你都想收下吧?”
“……”
孔繁龙嘴角抽了抽,刚想说些什么。
孔书成拿着那本《逻辑的引擎》,回到了房间,然后开始认真地研究起来。
他冥冥中感觉,这本书,一定不简单……
…………
请收藏本站:https://www.kxxsw.cc。卡西小说网手机版:https://m.kxxsw.cc