点击购买此书全本PDF电子书
目录前言 1
引言 1
第一章 莱布尼茨之梦 1
第二章 布尔把逻辑变成代数 21
第三章 弗雷格：从突破到绝望 45
第四章 康托尔：在无限中摸索 66
第五章 希尔伯特的营救 92
第六章 哥德尔使计划落空 118
第七章 图灵构想通用计算机 156
第八章 研制第一批通用计算机 197
第九章 超越莱布尼茨之梦 221
尾声 232
注释 234
参考书目 264
索引 274
译后记 291