编辑推荐
null
内容简介
《逻辑的引擎》（马丁·戴维斯著）这本关于计算机起源的书剖析了计算机思想层面的历史，通过引人入胜的材料描写了莱布尼茨、布尔、康托尔、希尔伯特、哥德尔、图灵等天才的生活和工作，讲述数学家们如何在成果付诸应用之前就已经提出了其背后的思想。
作者介绍
马丁·戴维斯(Martin Davis)，计算机科学发展史上的先驱人物，其《可计算性与不可解性》一书被誉为计算机科学领域极少数真正的经典著作之一，他是纽约大学库朗数学科学研究所的荣誉教授，之后在加州大学伯克利分校做访问学者。 张卜天，1979年9月生，师从吴国盛。热爱哲学和科学史方面的翻译，研究方向为西方中世纪和近代早期科学思想史，研究领域主要集中在近代科学的起源和科学革命。
目 录
第1章 莱布尼茨之梦 第2章 布尔把逻辑变成代数 第3章 弗雷格：从突破到绝望 第4章 康托尔：在无限中摸索 第5章 希尔伯特的营救 第6章 哥德尔使计划落空 第7章 图灵构想通用计算机 第8章 研制第一批通用计算机 第9章 超越莱布尼茨之梦 尾声 注释 参考书目 索引 译后记
媒体评论
null
