ISBN: 9787535742391
作者:
[美] 马丁·戴维斯
译者:
张卜天
出版社: 湖南科学技术出版社
发行时间: 2005
-5
丛书: 第一推动丛书
语言:
Chinese
装订: 平装
价格: 20.00元
页数: 293
Engines of logic
[美] 马丁·戴维斯 译者: 张卜天
简介
本书介绍了现代计算机背后的那些基本概念和发展这些概念的人，描写了莱布尼茨、布尔、费雷格、康托尔、希尔伯特、哥德尔、图灵等天才的生活和工作，讲述了数学家们如何在成果付诸应用之前很久就已经提出了其背后的思想。博达著作权代理有限公司授权出版据美国W.W.Norton公司2000年版本译出。2007年第二版亦使用同一ISBN。
contents
引言
第一章莱布尼茨之梦
第二章布尔把逻辑变成代数
第三章弗雷格：从突破到绝望
第四章康托尔：在无限中摸索
第五章希尔伯特的营救
第六章哥德尔使计划落空
第七章图灵构想通用计算机
第八章研制第一批通用计算机
第九章超越莱布尼茨之梦
尾声
注释
参考书目
索引
译后记
