这是一段探寻逻辑的边界以及介于其间的机器的美妙历史。戴维斯熔数学细节和趣疗逸事为一炉，说明了我们是怎样逐渐认识到计算机和逻辑思想的界限的……他的书引领我们对数学和逻辑的一个重要分支进行了全面的了解。 ——彼得·韦纳，《连线》 如同一位雕塑家充满爱意地述说着石头，马丁·戴维斯以生动的笔触讲述着逻辑。通过对这些思想家寥寥可数而又充满温情的描述，他向我们展现了为数不多的几种关键的洞察和符号——它们往往产生于精神的渴望——如何营造了一个我们当当仍在探索的空间架构。 ——丹尼斯·夏沙，纽约大学
¥16.90定价：¥20.00 (8.45折)
