第一章 莱布尼茨之梦

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

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

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

第五章 希尔伯特的营救

第六章 哥德尔使计划落空

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

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

第九章 超越莱布尼茨之梦

尾声

注释

参考书目

索引

译后记