6yr 卡拉OK•南京•我

Book

逻辑的引擎

Engines of Logic: Mathematicians and the Origin of the Computer Douban

[美] 马丁•戴维斯 translator: 张卜天 publishing house: 湖南科学技术出版社 2018 - 1

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