Name: 逻辑的引擎
ISBN: 9787535794420

作者: [美] 马丁•戴维斯
出版社: 湖南科学技术出版社
出品方: 原力
原作名: Engines of Logic: Mathematicians and the Origin of the Computer
译者: 张卜天
出版年: 2018-1
定价: 49.00
装帧: 平装
丛书: 第一推动丛书：综合系列
ISBN: 9787535794420

豆瓣评分

8.2

241人评价

5星

33.6%
4星

46.5%
3星

17.4%
2星

1.7%
1星

0.8%

评价:

内容简介 · · · · · ·

本书讲述了计算机思想层面的历史，通过引人入胜的材料描写了莱布尼茨、布尔、康托尔、希尔伯特、哥德尔、图灵等天才的生活和工作，讲述了数学家们如何在成果付诸应用之前就已经提出了其背后的思想。

逻辑的引擎的创作者 · · · · · ·

张卜天译者

作者简介 · · · · · ·

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

目录 · · · · · ·

引言
第一章莱布尼茨之梦
第二章布尔把逻辑变成代数
第三章弗雷格：从突破到绝望
第四章康托尔：在无限中摸索
第五章希尔伯特的营救
· · · · · · (更多)

原文摘录 · · · · · · ( 全部 )

阿隆佐·丘奇（1903-1995）在繁荣美国的逻辑学研究方面起到了关键性的作用。他创立了颇有影响力的《符号逻辑杂志》（Journal of Symbolic Logic），并且担任编辑长达40多年。另一位著名的美国逻辑学家斯蒂芬·克林（1909-1994）是丘奇的31位博士生之一（我也是其中之一）。 (查看原文)

西风凋碧树 2 回复 5赞 2012-02-09 14:10:03

—— 引自第185页
他梦想对一种普遍的人工数学语言和演算规则进行一种百科全书式地汇编，知识的任何一个方面都可以用这种数学语言表达出来，而演算规则则可以揭示这些命题之间的所有逻辑关系。最后，他梦想能够制造出完成这些演算的机器，从而使心灵从创作性的思考中解脱出来。 (查看原文)

Will_Wen 2赞 2012-05-14 21:29:49

—— 引自章节：序言、引言与第一章

> 全部原文摘录

丛书信息 · · · · · ·

　　第一推动丛书：综合系列(共15册)，这套丛书还有《下一步是什么》《伽利略的手指》《控制论》《实在终极之问》《第一推动丛书综合系列（套装共11本）》等。

喜欢读"逻辑的引擎"的人也喜欢的电子书 · · · · · ·

支持 Web、iPhone、iPad、Android 阅读器

: 第一推动丛书·综合系列：真理与美

12.79元

: 第一推动丛书·物理系列：终极理论之梦（新版）

19.99元

: 第一推动丛书·综合系列：复杂的引擎（新版）

11.99元

: 第一推动丛书·综合系列：四维旅行

24.99元

: 第一推动丛书·综合系列：复杂（新版）

25.99元

喜欢读"逻辑的引擎"的人也喜欢 · · · · · ·

: 计算 9.3

: 时间、空间和万物 8.4

: 数学的意义 7.5

: 用数学的语言看宇宙 7.8

: 计算机与人脑 8.3

: 未来50年 6.9

: 通信的数学理论

: 量子计算机编程

: 亚原子粒子的发现 8.1

: 黑洞与时间弯曲 9.3

我来说两句

短评 · · · · · · ( 全部 98 条 )

逻辑的引擎的书评 · · · · · · ( 全部 40 条 )

热门只看本版本的评论

铂程斋@喷嚏网 2009-06-10 11:50:35 湖南科学技术出版社2005版

幸运的水母

（一）有一阵，我突然非常爱看教育频道。那里正在热播迪斯尼的金牌节目：《艺术创想》。这个节目里有很多出乎你意料的东西：废旧的报纸经过主持人的手能变成精美的画框，普通的布条亦能魔幻般变成绿荫场上一个个神采奕奕的足球名将。有一回，主持人跑到某个学校的厨房... (展开)

122 4 24回应

矩阵 2011-04-26 14:41:26 湖南科学技术出版社2005版

理一下各位大仙们贡献

每一章内各小节的组织比较乱，八卦夹杂在一起容易忘掉这人到底干了些什么。理了下我对他们贡献的理解。 1.莱布尼兹大神最早提出一个想法，我们的宇宙可以由一种符号推理演算来表示。 2.乔治·布尔把逻辑学纳入了数学的范畴，即布尔代数。 3.弗雷格发行了形式句法，使后人可... (展开)

61 1 6回应

fats 2006-08-23 17:05:40 湖南科学技术出版社2005版

自动计算机器的逻辑本质

推荐程度：最好的科普之一，考虑到CS的学生对计算理论的数学根基掌握不是很好，本书很有帮助。主题：这本书介绍的是自动计算思想发展的历史。内容：不仅仅是科学家佚事的八卦，还把基本（数学）问题的思想史讲得很清楚。原作者：大牛境界，从本质层次深入浅出的讲到了计... (展开)

48 1 11回应

劈马喂柴 2009-06-01 15:34:03 湖南科学技术出版社2005版

什么样的书是好书 —— 关于《逻辑的引擎》

这篇书评可能有关键情节透露

这是一本适合数学系或计算机系本科生阅读的书，它会让你在乏味的学习之余体会到很多乐趣。对于我而言更是有“相逢恨晚”的感觉。它讲出了一些我所知道的东西，所以能看懂，也讲出了一些我不知道的东西，所以很有趣；但最重要的是，它引导我思考，让我明白了程序员“是谁，从哪... (展开)

26 3回应

百毒 2007-11-10 12:02:19 湖南科学技术出版社2005版

我想看更多……

这篇书评可能有关键情节透露

首先这书题目真不错，《逻辑的引擎》，嗯，用来描述计算机确实再合适不过了。前些日子重新读了数字电路的书，感觉这一条线几乎一路上都是由各种天才推动的。每一个天才都以他们独特的智慧，提出了各种构想。在有了构想之后把想法变成一种基于这种想法的硬件实现，相对就是一... (展开)

12 3回应

Ginko-X 2018-05-30 22:56:25 湖南科学技术出版社2005版

计算机科学是伪科学吗？

// 计算机科学是伪科学吗？这个问题曾经一度让我焦虑过好多天，作为一个理想成为科学家的人，这个问题的答案对我来说意义重大。在我越来越多地了解计算机科学（computer science）后，内心却对CS属于Science产生了越来越多的怀疑。在一篇和这个问题相关的有些消极和偏激但其... (展开)

6 2回应

水龙吟 2010-11-22 18:18:37 湖南科学技术出版社2005版

一本真诚感人深刻的书

很美很感人的科普著作，对于计算机科学中基本概念发展史上重要数学家数理逻辑学家的温情脉脉的描述呈现出真正富有智慧的人面对无尽的自然界奥秘时的注定的悲哀。在某本书里看到的，“真正的智慧，从觉醒之日起，就包含着绝望的悲哀。” 本书对于希望从数理科学角度思考逻辑学本... (展开)

6 4回应

Marine 2023-01-28 23:05:14

纪念 Martin Davis

这篇书评可能有关键情节透露

原文链接： https://mp.weixin.qq.com/s/iY0Un2EO5j0t7hPNzwEBoQ 剧透注意：我隐约感觉《三体》的写作受本书影响。下文会解释几处可能的关联，可能会透露某些《三体》第一、二部的情节。马丁·戴维斯（Martin Davis），20 世纪著名的数学家、计算机科学家，于 2023 年 1 月 1 ... (展开)

5 0回应