逻辑的引擎PDF电子书下载

本书作者美国著名数理逻辑学家，是计算机科学发展史上的先驱人物，曾对希尔伯特第十问题有过深入的研究。读者将对西方文化的核心之一——逻辑或数学有更深的理解，并且造就一种敏锐的眼光和问题意识，认识到再复杂的东西其实也是由简单的东西根据一定的规则组合而成的。在普遍崇拜技术外表而忽视其深层本质的今天，这样的书显得尤为难得和重要。

查看更多关于的内容

前言 1

引言 5

第一章 莱布尼茨之梦 1

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

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

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

第五章 希尔伯特的营救 92

第六章 哥德尔使计划落空 118

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

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

第九章 超越莱布尼茨之梦 221

尾声 232

注释 234

参考书目 264

索引 274

译后记 291

查看更多关于的内容