![逻辑的引擎 - [美] 马丁·戴维斯](https://static.book345.com/covers/s/9787535742391.jpg)
书籍介绍
本书介绍了现代计算机背后的那些基本概念和发展这些概念的人，描写了莱布尼茨、布尔、费雷格、康托尔、希尔伯特、哥德尔、图灵等天才的生活和工作，讲述了数学家们如何在成果付诸应用之前很久就已经提出了其背后的思想。博达著作权代理有限公司授权出版据美国W.W.Norton公司2000年版本译出。2007年第二版亦使用同一ISBN。
AI导读
核心看点
- 追溯计算机背后的逻辑与数学思想起源
- 讲述莱布尼茨、图灵等天才的生平与贡献
- 揭示从形式逻辑到通用计算机的发展脉络
适合谁读
- 对计算机科学底层原理感兴趣的读者
- 喜欢数学史、逻辑学及科学人物传记者
- 计算机专业学生及科普爱好者
读前提醒
- 书中人物轶事较多，需自行提炼核心逻辑
- 部分章节结构松散，建议结合目录跳读
- 翻译质量一般，长句阅读可能略显疲劳
读者共识
- 被誉为最好的计算机原理科普书之一
- 八卦内容较多，需过滤以理清思想演进
- 帮助读者建立宏观视野，连接知识碎片
本导读基于书籍简介、目录、原文摘录、短评和书评生成，不等同于全文精读。
精彩摘录
- "阿隆佐·丘奇（1903-1995）在繁荣美国的逻辑学研究方面起到了关键性的作用。他创立了颇有影响力的《符号逻辑杂志》（Journal of Symbolic Logic），并且担任编辑长达40多年。另一位著名的美国逻辑学家斯蒂芬·克林（1909-1994）是丘奇的31位博士生之一（我也是其中之一）。"
- "他梦想对一种普遍的人工数学语言和演算规则进行一种百科全书式地汇编，知识的任何一个方面都可以用这种数学语言表达出来，而演算规则则可以揭示这些命题之间的所有逻辑关系。最后，他梦想能够制造出完成这些演算的机器，从而使心灵从创作性的思考中解脱出来。"
- "莱布尼茨认为我们需要的是一种普遍文字，即一个不仅真实，而且包含了人类全部思想领域的符号系统"
- "弗雷格提出了把普通数学中一切演绎推理都包含在内的第一个完备的逻辑体系，他用逻辑分析工具来研究语言的开拓性工作为哲学的主要发张提供了基础。"
- "弗雷格不仅仅是对逻辑进行了一种数学处理，他实际上创立了一种新的语言……他的目标是要表明一切数学如何可能被建立在逻辑的基础之上……必须找到某种不用逻辑来发展他的逻辑的方法……精确的语法规则或句法规则则把他的概念文字发展成一种人工语言。这就使逻辑推理表示为机械演算即所谓的推理规则成为可能，这些规则仅仅与符号排列的样式有关……概念文字是我们今天使用的所有计算机程序设计语言的前身。……弗雷格希望用纯逻辑术语来定义自然数……"
- "康托尔因相信，在超限之外还存在着一个绝对的无限，它仅靠人类的理解力是永远无法完全企及的"
- "1917年9月，当德国与它的邻国法国正竭尽全力杀戮对方的公民时，希尔伯特在苏黎世发表了一题为“公理化思想”的讲演，开头是一句富有挑衅意味的话 正像在民族的生活中那样，一个民族只有在和它的所有邻邦都处理好关系时才可能繁荣，国家的利益不仅要 每一个民族都服从命令，而且也要求民族之间的关系能够被妥善处理，在科学的生活中也是这样。"
- "1815年1月2日，乔治出生于英国东部的林肯镇，是四个孩子中的老大。他的父母约翰・布尔和玛丽・布尔在结婚的头9年中一直没有孩子约翰・布尔是一个补鞋匠，他靠这点生意勉强维持着生活，但却对知识特别是科学仪器有着极大的兴趣。在他的商店橱窗里，他自豪地展出了一架他亲手制作的望远镜。不幸的是，他对生意并不在行，于是支撑整个家庭的重担很快便落在了他那才华横溢的尽职尽责的儿子肩上。"
作者简介
马丁·戴维斯是计算机科学发展史上的先驱人物，其《可计算性与不可解性》一书被誉为计算机科学领域极少数真正的经典著作之一。他是纽约大学库朗数学科学研究所的荣誉退休教授，目前在加州大学伯克利分校做访问学者。
目录
用户评论
科普性过强
这其实是一本八卦书吧。
"一个形式系统的一致性并不能保证系统内被证明了的命题的正确性."
没人觉得这本书的翻译甚至这个出版社的这个系列的翻译很糟糕？比如从句，似乎只会翻译成“这样一种.....即......”的形式，让人的阅读充满疲劳感。
尼玛原来哥德尔有个机油也叫Karl Menger....
最开始看着那些无关主题的历史描述让人摸不着头脑，给人凑字数之嫌，差点就要低分弃了，没想到越看越精彩，越看越停不下来。这真的是把计算机历史的来龙去脉都讲了。不愧是大佬写书，不光兼顾了历史，而且还有技术细节。爱了爱了
10年前加入的“想读列表”，10年后终于把“想读”改成“已读”了
极致的理性和逻辑，用文字和符号表达的方式呈现都是天才们孜孜不倦的追求。我感觉我需要理解的只是一些更本质的规律，而这些简单却接近真理的规律是脆弱人类望向宇宙的途径。
连这些科学家的梦想都看不懂😂图灵能提出通用计算机真的好厉害
最后日常找searle开刀
二十年前的著作，像作者老老垂矣后午觉打盹时的清梦。“本书中的故事，强调了观念的力量以及预测它们结果的徒劳。”现在我们课本头几页就是爱因斯坦，以及Weyl的名言（还有潜在出场的Kodaira吗？大概是有的），而作者曾于四五十年代在普林斯顿亲眼看着他们说出来，这些今日之“陈词滥调”。全书行文渐入佳境，到讲图灵机停机问题时，马丁老爷子已经很兴奋了，清晰、展开、掀起波澜（“等等！这里还有一个固执的人不相信这一点……你说的真是很有道理。但如果我同意你已经证明了你的观点，那么我就不再是一个顽固的人了”。Hilbert抑或Neumann？）。所以逻辑和计算之间是如何彼此关联的？算术与推理有什么关系？问图灵去吧，尽管他已吃下苹果。ELIZA：为什么你的问题难以描述？马丁：因为每当我试图去描述它时，我就哭了。
下载
收藏