| 这是一段探寻逻辑的边界以及介于其间的机器的美妙历史。戴维斯熔数学细节和趣疗逸事为一炉，说明了我们是怎样逐渐认识到计算机和逻辑思想的界限的……他的书引领我们对数学和逻辑的一个重要分支进行了全面的了解。 ——彼得·韦纳，《连线》 如同一位雕塑家充满爱意地述说着石头，马丁·戴维斯以生动的笔触讲述着逻辑。通过对这些思想家寥寥可数而又充满温情的描述，他向我们展现了为数不多的几种关键的洞察和符号——它们往往产生于精神的渴望——如何营造了一个我们当当仍在探索的空间架构。 ——丹尼斯·夏沙，纽约大学 |
| 马丁·戴维斯是计算机科学发展史上的先驱人物，其《可计算性与不可解性》一书被誉为计算机科学领域极少数真正的经典著作之一他是纽约大学库朗数学科学研究所的荣誉退休教授，目前在加州大学伯克利分校做访问学者。 |
| 引言 第一章莱布尼茨之梦 第二章布尔把逻辑变成代数 第三章弗雷格：从突破到绝望 第四章康托尔：在无限中摸索 第五章希尔伯特的营救 第六章哥德尔使计划落空 第七章图灵构想通用计算机 第八章研制第一批通用计算机 第九章超越莱布尼茨之梦 尾声 注释 参考书目 索引 译后记 |
内容加载中，请稍后...
商品评论（0条）