微信读书

逻辑的引擎（第一推动丛书·综合系列）

马丁·戴维斯

8人今日阅读 推荐值 73.8%

本书讲述了计算机思想层面的历史，通过引人入胜的材料描写了莱布尼茨、布尔、康托尔、希尔伯特、哥德尔、图灵等天才的生活和工作，讲述了数学家们如何在成果付诸应用之前就已经提出了其背后的思想。