作者:
[美]
马丁·戴维斯
出版社: 湖南科学技术出版社
原作名: Engines of logic
译者: 张卜天
出版年: 2005-5
页数: 293
定价: 20.00元
装帧: 平装
丛书: 第一推动丛书
ISBN: 9787535742391
出版社: 湖南科学技术出版社
原作名: Engines of logic
译者: 张卜天
出版年: 2005-5
页数: 293
定价: 20.00元
装帧: 平装
丛书: 第一推动丛书
ISBN: 9787535742391
内容简介 · · · · · ·
本书介绍了现代计算机背后的那些基本概念和发展这些概念的人，描写了莱布尼茨、布尔、费雷格、康托尔、希尔伯特、哥德尔、图灵等天才的生活和工作，讲述了数学家们如何在成果付诸应用之前很久就已经提出了其背后的思想。博达著作权代理有限公司授权出版据美国W.W.Norton公司2000年版本译出。2007年第二版亦使用同一ISBN。
逻辑的引擎的创作者
· · · · · ·
![[美] 马丁·戴维斯](https://img1.doubanio.com/cuphead/elessar-static/pics/personage-default-medium.png)
作者简介 · · · · · ·
马丁·戴维斯是计算机科学发展史上的先驱人物，其《可计算性与不可解性》一书被誉为计算机科学领域极少数真正的经典著作之一。他是纽约大学库朗数学科学研究所的荣誉退休教授，目前在加州大学伯克利分校做访问学者。
目录 · · · · · ·
原文摘录 · · · · · · ( 全部 )
-
阿隆佐·丘奇（1903-1995）在繁荣美国的逻辑学研究方面起到了关键性的作用。他创立了颇有影响力的《符号逻辑杂志》（Journal of Symbolic Logic），并且担任编辑长达40多年。另一位著名的美国逻辑学家斯蒂芬·克林（1909-1994）是丘奇的31位博士生之一（我也是其中之一）。 (查看原文) —— 引自第185页 -
他梦想对一种普遍的人工数学语言和演算规则进行一种百科全书式地汇编，知识的任何一个方面都可以用这种数学语言表达出来，而演算规则则可以揭示这些命题之间的所有逻辑关系。最后，他梦想能够制造出完成这些演算的机器，从而使心灵从创作性的思考中解脱出来。 (查看原文) —— 引自章节：序言、引言与第一章
> 全部原文摘录
丛书信息
· · · · · ·
第一推动丛书(共72册)，
这套丛书还有
《果壳里的60年》《宇宙的轮回》《时间、空间和万物》《宇宙的琴弦》《上帝与新物理学》
等
。
喜欢读"逻辑的引擎"的人也喜欢的电子书 · · · · · ·
支持 Web、iPhone、iPad、Android 阅读器
喜欢读"逻辑的引擎"的人也喜欢 · · · · · ·
逻辑的引擎的书评 · · · · · · ( 全部 39 条 )
劈马喂柴
什么样的书是好书 —— 关于《逻辑的引擎》
这篇书评可能有关键情节透露
这是一本适合数学系或计算机系本科生阅读的书，它会让你在乏味的学习之余体会到很多乐趣。对于我而言更是有“相逢恨晚”的感觉。它讲出了一些我所知道的东西，所以能看懂，也讲出了一些我不知道的东西，所以很有趣；但最重要的是，它引导我思考，让我明白了程序员“是谁，从哪... (展开)
Ginko-X
计算机科学是伪科学吗？
// 计算机科学是伪科学吗？ 这个问题曾经一度让我焦虑过好多天，作为一个理想成为科学家的人，这个问题的答案对我来说意义重大。在我越来越多地了解计算机科学（computer science）后，内心却对CS属于Science产生了越来越多的怀疑。在一篇和这个问题相关的有些消极和偏激 但其...
(展开)
水龙吟
一本真诚感人深刻的书
很美很感人的科普著作，对于计算机科学中基本概念发展史上重要数学家数理逻辑学家的温情脉脉的描述呈现出真正富有智慧的人面对无尽的自然界奥秘时的注定的悲哀。在某本书里看到的，“真正的智慧，从觉醒之日起，就包含着绝望的悲哀。” 本书对于希望从数理科学角度思考逻辑学本...
(展开)
Marine
湖南科学技术出版社2018版
纪念 Martin Davis
这篇书评可能有关键情节透露
原文链接： https://mp.weixin.qq.com/s/iY0Un2EO5j0t7hPNzwEBoQ 剧透注意：我隐约感觉《三体》的写作受本书影响。下文会解释几处可能的关联，可能会透露某些《三体》第一、二部的情节。 马丁·戴维斯（Martin Davis），20 世纪著名的数学家、计算机科学家，于 2023 年 1 月 1 ... (展开)
山口帝国作用子
湖南科学技术出版社2018版
计算机哲学作为一场梦
本来是对人工智能哲学感兴趣才去翻了翻，想知道计算机发展的主要历史，以及图灵机的相关内容。不过到头来除了对超穷数有了更多理解，对图灵机地运行规则有了些许理解，其他都关注在各位人类学者的人格魅力上了。这本书讲的是计算机发明所需要的逻辑知识的发展历史，而发明者终...
(展开)
太阳是黑色的
希望了解计算机的人必读
“我们常常从工程的角度去理解计算机，却没有机会去了解工程背后的逻辑学家和他们的理论。” 看了这本书之后真的还是受益非浅。从莱布尼兹到冯诺依曼，几代人对计算、对逻辑苦苦的追寻和贡献。 这本书有几个没想到: 1. 生动，平实。很多数学原理讲解地非常浅显易懂。 2. 不...
(展开)
> 更多书评 39篇
这本书的其他版本 · · · · · · ( 全部5 )
在哪儿借这本书 · · · · · ·
以下书单推荐 · · · · · · ( 全部 )
- 【书】所谓知识的另一种 (自娱者小五)
- 第一推动丛书 (RMR)
- 逻辑学须看书籍 (斯宾诺莎的镜片)
- 逻辑与分析哲学（科学哲学、语言哲学、心灵哲学、逻辑哲学）学习书目 (水井八)
- 理性批判性思维阅读书籍 (秋叶)
谁读这本书? · · · · · ·
二手市场
· · · · · ·
订阅关于逻辑的引擎的评论:
feed: rss 2.0
2 有用 discuz_x 2020-03-12 10:22:56
本书详细的描述了现代计算机背后的概念与发展史，让我们领略了精彩绝伦的逻辑理论演变与计算设备的工程化奇迹，书中描述历史进程的同时，不乏充满了人文主义的光彩，读来让人倍感收获。
3 有用 SternaParadisa 2016-03-03 17:03:15
三星半，全书八卦撕逼为主看得头晕，但可以把人名轶事都抽离出去，提炼出一条人类抽象思维发展史，感触最大的一处即是把完备定理做如下演绎：“如果指望一台机器不犯错误，那么它就不可能有智能”；此外关于各个型号的原始计算机，包括图灵的通用机模型都介绍得太太太敷衍了……
1 有用 xiaohanyu 2012-02-21 08:42:17
关于数理逻辑的知识我看起来还是有很大的困难，不过不可否认，这是一本难得的讲述计算本质的好书。看来，是时候深究一下GEB了。
5 有用 平凡的老鱼 2010-06-13 13:14:30
怀着很大的期望看的这本书，然而没有提供更多的东西，比我所知道的。除了更多的大牛们的奇闻轶事，如果真想学习相关内容，推荐看《计算理论导引》
7 有用 卜平 2016-02-17 12:10:19
莱布尼兹、布尔、弗雷格、康托尔、希伯特、哥德尔、图灵。逻辑数学，形式逻辑，并通过工程学转换为当代机器和人工智能
0 有用 Lax 2024-04-28 18:00:58 北京
# “...从逻辑角度讲述计算机发展史的最好的通俗读本。粗略地说，计算机技术可以分为两大部分，其一是它的工程实现方面，另一则是它的思想或逻辑方面，但已往的关于计算机发展史或计算史的书大都只重视前者而忽视后者。当我们随手翻开一本这样的书时，眼前出现的不外乎巴贝奇、阿塔纳索夫、艾肯、埃克特、莫齐利等一串工程师的名字，讲述的是电子管晶体管、存储芯片等的发展。而本书的主要人物却是莱布尼茨、布尔、康托尔、希... # “...从逻辑角度讲述计算机发展史的最好的通俗读本。粗略地说，计算机技术可以分为两大部分，其一是它的工程实现方面，另一则是它的思想或逻辑方面，但已往的关于计算机发展史或计算史的书大都只重视前者而忽视后者。当我们随手翻开一本这样的书时，眼前出现的不外乎巴贝奇、阿塔纳索夫、艾肯、埃克特、莫齐利等一串工程师的名字，讲述的是电子管晶体管、存储芯片等的发展。而本书的主要人物却是莱布尼茨、布尔、康托尔、希尔伯特、哥德尔和图灵等人...工程师所做的工作是创造一种通用的图灵机，而正是通用计算机器的观念才是真正革命性的和更为本质的。按照戴维斯的说法，计算机实际上是逻辑机器，它的电路体现了几个世纪以来一大批逻辑学家所提出的观点之精华。”（译后记） (展开)
0 有用 小兔子啵啵 2024-02-08 16:01:37 上海
放弃 2016年末标记 方向错误或者说没执行 就晚了
0 有用 无名的费多 2024-01-31 19:14:06 上海
@《哥德尔传》
0 有用 thepartyisover 2024-01-13 13:32:21 北京
@2016-02-14 22:32:11
0 有用 gtdhuer 2023-12-14 13:01:30 广东
数学的发展也是逻辑学的发展，更是后来计算机发展的奠定了坚实的基础，未来也将解释人工智能等领域。