逻辑的引擎/(美) 马丁·戴维斯, 张卜天
附件:设置1:设置2:设置3:本书剖析了计算机思想层面的历史, 通过引人入胜的材料描写了莱布尼茨、布尔、康托尔、希尔伯特、哥德尔、图灵等天才的生活和工作, 讲述数学家们如何在成果付诸应用之前就已经提出了其背后的思想。摘要:有书目 (第225-263页) 和索引
附注提要
本书剖析了计算机思想层面的历史, 通过引人入胜的材料描写了莱布尼茨、布尔、康托尔、希尔伯特、哥德尔、图灵等天才的生活和工作, 讲述数学家们如何在成果付诸应用之前就已经提出了其背后的思想。