逻辑的引擎
Douban
ISBN: 9787535794420
forfatter:
[美] 马丁•戴维斯
oversætter:
张卜天
forlag:
湖南科学技术出版社
udgivelsesdato: 2018
-1
serie: 第一推动丛书：综合系列
pris: 49.00
Engines of Logic: Mathematicians and the Origin of the Computer
[美] 马丁•戴维斯 张卜天
overblik
本书讲述了计算机思想层面的历史，通过引人入胜的材料描写了莱布尼茨、布尔、康托尔、希尔伯特、哥德尔、图灵等天才的生活和工作，讲述了数学家们如何在成果付诸应用之前就已经提出了其背后的思想。
indhold
引言
第一章 莱布尼茨之梦
第二章 布尔把逻辑变成代数
第三章 弗雷格：从突破到绝望
第四章 康托尔：在无限中摸索
第五章 希尔伯特的营救
第六章 哥德尔使计划落空
第七章 图灵构想通用计算机
第八章 研制第一批通用计算机
第九章 超越莱布尼茨之梦
尾声
注释
参考书目
索引
译后记
