逻辑的引擎

作者：[美]马丁•戴维斯

出版社：湖南科学技术出版社

原作名：EnginesofLogic：MathematiciansandtheOriginoftheComputer

译者：张卜天

出版年：2018-1

定价：49.00

装帧：平装

丛书：第一推动丛书：综合系列

ISBN：9787535794420

内容简介
······

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

作者简介
······

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

目录
······

引言

第一章 莱布尼茨之梦

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

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

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

第五章 希尔伯特的营救

第六章 哥德尔使计划落空

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

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

第九章 超越莱布尼茨之梦

尾声

注释

参考书目

索引

译后记

评论 ······

丝丝入扣地把计算机的数学逻辑一一捋出来、讲清楚，佩服这种认真的态度。

作者对推动计算机发展的逻辑发展史给出了一个十分全面的描绘，书中各种观念和概念的解释也跟到位，信息量很大，但也有很多地方解释的不够透彻，可以以这本书为框架再分别对里面的概念进行研究。
此外，该书的排版实在有点随便了。
ps:话说推理和演算的关系到底该如何理解？

好垃圾，难道逻辑就是这么无聊吗？作者一直自嗨，真无趣。书印的也垃圾，引用的页数都要比原文厚了

严格来说，这是一部科技史科普读物，或更确切说，数理逻辑史读物。所以任何想要在这本书中看到对数理逻辑详细介绍或哥德尔不完备定理严格证明的人都会有所失望，且收获甚微。

• 下载电子版：下载地址
• 购买纸质版：京东商城
• 购买纸质版：当当网