《及时推动系列·逻辑的引擎》书评-杂志之家

内容简介

本书作者马丁·戴维斯是计算机科学发展史上的先区人物，曾对希尔伯特第十问题有过深入的研究。本书被誉从逻辑角度讲述计算机发展的好的通俗读本。读者将对西方文化的核心之一——逻辑或数学有更深的理解，并且造就一种敏锐的眼光和问题意识，认识到再复杂的东西其实也是由简单的东西根据一定的规则组合而成的。在普遍崇拜技术外表而忽视其深层本质的今天，本书显得尤为难得和重要。本书讲述了位于计算机背后的思想层面的历史。它通过引人入胜的材料描写了莱布尼茨、布尔、康托尔、希尔伯特、哥德尔、图灵等天才的生活和工作，讲述了数学家们如何在成果付诸应用之前很久就已经提出了其背后的思想。

编辑推荐

旧版《逻辑的引擎》火热销售，各种好评请点击这里

逻辑的引擎-推动系列经典丛书(从逻辑角度讲述计算机发展的好的通俗读本)

作者简介

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

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

在线预览

及时章莱布尼茨之梦

矿藏丰富的哈尔茨(Harz)山脉位于德国城市汉诺威东南，自公元10世纪起就已经有人来这个地区采矿了。由于地层深处含水较多，所以只有用水泵把水抽到河湾里才能采矿。17世纪时，水车使这些水泵的能力变得强大起来。但不幸的是，这就意味着当冬季水流冻结时，有利可图的采矿工作不得不终止下来。

1680～1685年，哈尔茨山的矿产管理者开始与一个不易相处的矿工频频发生冲突，这个矿工就是时年30多岁的G·W·莱布尼茨。莱布尼茨是要把风车作为一种额外的能源装置引进来，从而使得采矿工作可以常年进行。此时，莱布尼茨已经取得了许多成就。他不仅在数学上做出了重大发现，而且还以一位法学家而闻名，并且在哲学和神学方面写有大量著述。他甚至还担任了路易十五宫廷中的一项外交职务，以使这位法国的太阳王意识到对埃及(而不是对荷兰和德国)发动一场军事战争的好处。

……

看过该图书的还看过

网友评论(不代表本站观点)

来自无昵称**的评论：

及时推动系列·逻辑的引擎很有启示性

2017-11-22 20:24:56

来自一直走**的评论：

很不错，朋友推荐的，值得信赖

2017-11-05 10:44:58

来自从此处**的评论：

挺好的科普读本，从逻辑角度讲述计算机的好书。

2012-12-27 03:24:14

来自草莓果**的评论：

本书作者马丁·戴维斯是计算机科学发展史上的先区人物，曾对希尔伯特第十问题有过深入的研究。本书被誉从逻辑角度讲述计算机发展的最好的通俗读本。

2012-12-20 15:06:17

来自琥珀を**的评论：

内容不错，也算比较易懂。不过有点可怜巴巴了，又小又薄的一本

2013-04-16 09:13:09

来自Me灬老**的评论：

内容很好，很开阔视野。知识书本的纸质不怎么好

2012-11-08 12:31:10

来自易而参**的评论：

对科学的探索是无止境的。宇宙的奥秘也会慢慢被揭开。

2012-10-20 14:02:26

来自余夕201**的评论：

看这个名头买的，听说第一推动系列是很好的科普书

2013-04-06 12:50:06

来自Jerick**的评论：

被书名吸引了，但这真心不是我想要看的，内容乏味，呆板，完全没有读下去的冲动。下次买书一定要试读一下！！！

2012-11-24 18:56:26

来自C地平线**的评论：

好久没看书买书，可当当这次的折扣活动确实诱惑到了我。差不多订了10本，而这一本是最先看的。虽说次日还要上班，还要起早搭一个多钟头的公交，但我还是欲罢不能的看到了凌晨两三点。莱布尼茨、布尔、哥德尔、图灵......那些耳熟能详的名字，那些熟捻于心的故事......这不禁让我怀念起高中的读书岁月，那时我最爱看科普、科学哲学的著作《科学哲学的兴起》《时间之箭》《皇帝新脑》......时隔这么多年，那些了不起的思想家依然那么深刻的触动着已经出社会的我，又让人心潮澎湃了......谢谢~

2013-01-03 17:44:11

来自hymm333**的评论：

买了推动系列的很多书，每一本都很精彩。很好的科普书

2013-05-17 09:11:52

来自多笔墨**的评论：

这一系类丛书都想买了，即使有些略看不懂，但还是怀着很大的好奇心看完，好看。。。

2013-01-24 02:03:54

来自temuche**的评论：

从莱布尼茨到乔姆斯基，作者用通俗易懂的语言介绍了数理逻辑和计算机理论的发展

2012-12-15 14:04:32

来自无昵称**的评论：

内容非常好，非常值得看。语言浅显，能把复杂的数学原理明白的表达出来。那些伟人的工作令人叹为观止。翻译的也不错

2012-07-23 15:30:24

来自质能方**的评论：

这本书很清晰地介绍了计算机发展的历程，适合计算机爱好者收藏。

2013-11-03 10:11:20

来自cosmy**的评论：

第一推动丛书都是这么经典，如果你对逻辑哲学、计算机智能相关的更基础、偏哲学的问题感兴趣，会喜欢这本的。

2012-06-02 09:51:03

来自无昵称**的评论：

逻辑为什么重要？计算机依赖什么而发展而来？看了就知道

2012-05-19 23:12:24

来自镜池**的评论：

内容好评，就是能不能锁线装啊，现在书脊太容易裂开。

2016-02-26 11:19:36

来自无昵称**的评论：

名家的作品，要用心读，或者现在实力不够，放着慢慢读

2016-08-13 15:14:08

来自o***r(**的评论：

快递很快但是没有塑料膜包装感觉不像是一手的呢…

2017-02-04 17:05:38

来自瑞德布**的评论：

我是学计算机的，看到布尔、希尔伯特、图灵这几个大名就控制不住买啦！书的质量很好！活动买的也很划算！慢慢看

2013-04-07 19:24:29

来自brinzha**的评论：

这本书把数学理论如何推演到图灵机阐述的很清楚。相当不错的一本书，把事情的来龙去脉介绍的很清楚。里面包括了各位重要人物的介绍和他们的成就，以及前后的衔接、批判关系。

2012-11-07 23:27:32

来自invisib**的评论：

讲逻辑学，数学，计算机学发展的故事...有些枯燥，有些需要一些数学，逻辑学知识背景。

2016-06-24 21:51:19

来自无昵称**的评论：

计算机的数学基础是数理逻辑。从莱布尼茨到冯。诺依曼，几百年来世界顶尖数学家为推动逻辑数学的发展付出了艰辛的努力。读这本书很有趣，学到许多知识。

2012-06-22 21:29:55

来自音色视**的评论：

要想了解未来的量子计算机，加深对现有计算机整体的了解是个切实可行的角度。这本书在世间唯独上解析的比较全面，且深切透露着人文气息，很难得的好书！

2015-12-20 09:05:53

来自无昵称**的评论：

我们学校有一本这样的书，是老书，因为只能借不能买，所以我只翻了一下，内容不错，这本书是计算机基础组暗夜的学生看得，虽然我的计算机不是很好，但是我还是看得懂，希望这本书能对我长生帮助。逻辑的引擎当然将逻辑嘛。

2014-11-08 13:00:02

来自小斌斌**的评论：

常人阅读，少者耗时约需1、2年以上。多者3、5年。且其中论著，多高明之作，或有一读再读之需，而读完，也或有“屠龙之技”之感也未之定，一笑！

2016-05-01 00:10:48