607:逻辑的引擎【1 / 3】

爱去阁【aiquge.cc】第一时间更新《学霸凶猛》最新章节。

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

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

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

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

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

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

小雨:“……?”

付梦萍:“……?”

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

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

小雨点了点头:“书成,你是不是看过这本书啊?”

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

小雨:“这本书,主要讲的是什么啊?怎么好端端的会埋在这里呢?”

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

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

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

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

更多内容加载中...请稍候...

本站只支持手机浏览器访问,若您看到此段落,代表章节内容加载失败,请关闭浏览器的阅读模式、畅读模式、小说模式,以及关闭广告屏蔽功能,或复制网址到其他浏览器阅读!

小说推荐:《我家浴室通异界》《家父隋炀帝》《女囚代号14146[无限]》《末世之黑暗召唤师》【读趣阁

本章未完,请点击下一章继续阅读!若浏览器显示没有新章节了,请尝试点击右上角↗️或右下角↘️的菜单,退出阅读模式即可,谢谢!