逻辑的引擎

书名：逻辑的引擎
作者：[美]马丁·戴维斯
译者：
ISBN：9787535742391
出版社：湖南科学技术出版社
出版时间：2005-5
格式：epub/mobi/azw3/pdf
页数：293
豆瓣评分： 8.5

书籍简介：

本书介绍了现代计算机背后的那些基本概念和发展这些概念的人，描写了莱布尼茨、布尔、费雷格、康托尔、希尔伯特、哥德尔、图灵等天才的生活和工作，讲述了数学家们如何在成果付诸应用之前很久就已经提出了其背后的思想。博达著作权代理有限公司授权出版据美国W.W.Norton公司2000年版本译出。2007年第二版亦使用同一ISBN。

作者简介：

马丁·戴维斯是计算机科学发展史上的先驱人物，其《可计算性与不可解性》一书被誉为计算机科学领域极少数真正的经典著作之一。他是纽约大学库朗数学科学研究所的荣誉退休教授，目前在加州大学伯克利分校做访问学者。

书友短评：

@ 天歌 行文较通俗，除去希尔伯特之后的数学证明没有仔细看之外，大部分证明还是能看懂的。或许是成书时间较早，整本书到图灵机完成后就戛然而止了，草记本书可关联的视点如下：从康托尔的无限与布劳威尔的直觉走向哥德尔与科恩的不完备性证明，上述过程其实已暗示了哲学意义上的人脑与通用机之间一些关键性的差异（同时隐含了现象学方法的有效性），这种差异在控制论发展过程中（60-70年代）被理解为「自反性」，也即「搞错事情的能力」。在这里，「错误」、模糊因与无限、直觉产生关联而暗示了超越（可参关于视觉的认知科学研究），完全形式化世界的不可能也就导向了一种具身的而非数学、语言学核心的人类心智图景。在图灵、哥德尔的迭代系统与康托尔、布劳威尔之间存在着一种隐秘的妥协的可能（同时就是对塞尔中文屋的回应）：作为自反系统的赛博格。 @ 我在使用一台新机器时，总是会先拍拍他的"头"，仿佛就能感受到这逻辑引擎的生命。我把机器更像是看成我的一个好朋友。

引言
第一章莱布尼茨之梦
第二章布尔把逻辑变成代数
第三章弗雷格：从突破到绝望
第四章康托尔：在无限中摸索
第五章希尔伯特的营救
第六章哥德尔使计划落空
第七章图灵构想通用计算机
第八章研制第一批通用计算机
第九章超越莱布尼茨之梦
尾声
注释
参考书目
索引
译后记
· · · · · ·

　　第一推动丛书(共72册)，这套丛书还有《死亡黑洞》《时空本性》《图解天文学史》《未来50年》《皇帝新脑》等。

添加微信公众号:好书天下获取