逻辑的引擎 湖南科学技术出版社 下载 pdf 百度网盘 epub 免费 2025 电子书 mobi 在线

《逻辑的引擎》（马丁·戴维斯著）这本关于计算机起源的书剖析了计算机思想层面的历史，通过引人入胜的材料描写了莱布尼茨、布尔、康托尔、希尔伯特、哥德尔、图灵等天才的生活和工作，讲述数学家们如何在成果付诸应用之前就已经提出了其背后的思想。

第1章 莱布尼茨之梦

第2章 布尔把逻辑变成代数

第3章 弗雷格：从突破到绝望

第4章 康托尔：在无限中摸索

第5章 希尔伯特的营救

第6章 哥德尔使计划落空

第7章 图灵构想通用计算机

第8章 研制第一批通用计算机

第9章 超越莱布尼茨之梦

尾声

注释

参考书目

索引

译后记

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

张卜天，1979年9月生，师从吴国盛。热爱哲学和科学史方面的翻译，研究方向为西方中世纪和近代早期科学思想史，研究领域主要集中在近代科学的起源和科学革命。

暂无出版社相关信息，正在全力查找中！

在线阅读地址：逻辑的引擎 湖南科学技术出版社在线阅读

在线听书地址：逻辑的引擎 湖南科学技术出版社在线收听

在线购买地址：逻辑的引擎 湖南科学技术出版社在线购买

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

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

莱布尼茨认为我们需要的是一种普遍文字，即一个不仅真实，而且包含了人类全部思想领域的符号系统

弗雷格提出了把普通数学中一切演绎推理都包含在内的第一个完备的逻辑体系，他用逻辑分析工具来研究语言的开拓性工作为哲学的主要发张提供了基础。

弗雷格不仅仅是对逻辑进行了一种数学处理，他实际上创立了一种新的语言……他的目标是要表明一切数学如何可能被建立在逻辑的基础之上……必须找到某种不用逻辑来发展他的逻辑的方法……精确的语法规则或句法规则则把他的概念文字发展成一种人工语言。这就使逻辑推理表示为机械演算即所谓的推理规则成为可能，这些规则仅仅与符号排列的样式有关……概念文字是我们今天使用的所有计算机程序设计语言的前身。……弗雷格希望用纯逻辑术语来定义自然数……

康托尔因相信，在超限之外还存在着一个绝对的无限，它仅靠人类的理解力是永远无法完全企及的

编辑推荐

前言

本书讲述的是我们的现代计算机背后的那些基本概念和发展出这些概念的人。1951年春，当我在阿兰·图灵（Alan Turing）本人曾于10年前工作过的普林斯顿大学获得了数理逻辑博士学位之后不久，我便在伊利诺伊大学讲授一门以他的思想为基础的课程。有一位一直在听我的讲座的年轻的数学家使我注意到教室的街对面正在建造的两台机器，他认为它们就是图灵观念的物理体现。不久，我就在为这些早期的计算机编写软件了。我持续了半个多世纪的职业生涯便是围绕着现代计算机背后的抽象逻辑概念与它们的物理实现之间的关系而展开的。计算机从20世纪50年代的塞满整个房间的庞然大物，逐渐演变成今天轻巧而强大的能够完成各种任务的机器，在这整个过程中，其背后的逻辑始终保持如一。这些逻辑概念是几个世纪以来数位天才思想家一步步发展出来的。在本书中，我将讲述这些人的生活故事，并解释他们的部分思想。这些故事本身是引人入胜的，我希望读者们不仅能够喜欢它们，而且在读完之后能够更加了解计算机内部的秘密，同时对抽象思想的价值多一份敬意。在本书写作过程中，我曾得益于各种各样的帮助。约翰·西蒙·古根海姆纪念基金会在研究的早期阶段提供了热情的经济资助，正是当时所做的那些研究才使本书得以问世。 Patricia Bl an-chette, Michael Friedman, Andrew Hodges, Lothar Kreiser和Benson Mates慷慨地与我分享他们那些专业知识。Tony Sale友好地充当了我游览布莱奇利庄园的导游，图灵曾于二战期间在那里对破译德军的秘密通讯起了关键性的作用。Eloise Segal是一位忠实而热心的读者，他帮助我避免了解释方面的缺陷，可惜，他在这本书写成之前就离开了这个世界。我的妻子弗吉尼亚竭力使我避免行文含糊不清。Sher man Ste in极为认真地读了原稿，提出了许多改进意见，而且纠正了我的几处错误。我还得益于Eg on Bor ger, William Craig, Michael Richter, Alexis Manaster Ramer, Wilfried Sieg和Fra nsco is Treves等人的翻译。提出有益建议的其他读者还有：Harold Davis, Nathan Davis, Jack Feldman, Meyer Garber, Dick and Peggy K uhns和Alberto Policriti。我在W·W·诺顿公司的编辑Ed Barber用他那关于英语散文的学识慷慨地对本书加以润色，多处改进都直接得益于此。H arol d R abin owi tz向我引见了我的代理商Alex Hoyt，后者自始至终都在帮助我。当然，这一长串名字只是要表达我的感激之情，而不是要使我摆脱本书不足之处的责任。有关评论或修正，读者可发邮件至davis@eipye.com，我将心怀感激。马丁·戴维斯伯克利，2000年1月2日

书籍介绍

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