点击购买此书全本PDF电子书
第1章 莱布尼茨之梦 1
第2章 布尔把逻辑变成代数 21
第3章 弗雷格：从突破到绝望 44
第4章 康托尔：在无限中摸索 65
第5章 希尔伯特的营救 90
第6章 哥德尔使计划落空 115
第7章 图灵构想通用计算机 151
第8章 研制第一批通用计算机 190
第9章 超越莱布尼茨之梦 213
尾声 224
注释 225
参考书目 258
索引 264
译后记 289