作者：【美】马丁·戴维斯
类别：学术科普电子书
关键词：第一推动综合系列：逻辑的引擎
整理日期：2017-08-08 01:53:07
下载地址： 本地下载 网友上传
作品导读
本书讲述了位于计算机背后的思想层面的历史。它通过引人入胜的材料描写了莱布尼茨、布尔、康托尔、希尔伯特、哥德尔、图灵等天才的生活和工作，讲述了数学家们如何在成果付诸应用之前很久就已经提出了其背后的思想。
第一推动综合系列：逻辑的引擎的作者是【美】马丁·戴维斯。本站已与多数网站、公司和作者建立版权共享协议，若您发现您拥有版权的作品未与本站授权，请及时联系我们，我们会立刻处理。