书籍介绍
图书目录
第一章 莱布尼茨之梦 1
第二章 布尔把逻辑变成代数 21
第三章 弗雷格：从突破到绝望 45
第四章 康托尔：在无限中摸索 66
第五章 希尔伯特的营救 92
第六章 哥德尔使计划落空 118
第七章 图灵构想通用计算机 156
第八章 研制第一批通用计算机 197
第九章 超越莱布尼茨之梦 221
尾声 232
注释 234
参考书目 264
索引 274
译后记 291
上一篇：史考帝·皮朋：空中飞人的独家拍档下一篇：殷商贞卜文字考
相关书籍
- 《逻辑的引擎》（美）马丁·戴维斯著；张卜天译 2012
- 《逻辑的引擎》（美）马丁·戴维斯（Martin Davis）著 2018
- 《逻辑的引擎》（美）马丁·戴维斯（Martin Davis）著 2018
- 《逻辑的引擎》（美）戴维斯著；张卜天译 2007
- 《逻辑的引擎》（美）戴维斯著；张卜天译 2007
- 《逻辑的引擎》（美）马丁·戴维斯（Martin Davis）著；张卜天译 2005
- 《逻辑的引擎》（美）马丁·戴维斯（Martin Davis）著；张卜天译 2005
- 《移动电子商务安全研究 模糊逻辑与身份识别》黄轩著 2016
- 《移动电子商务安全研究 模糊逻辑与身份识别》黄轩著 2016
- 《搜索引擎营销向导》周亮编著 2012
出版社其它书籍
