作者：〔美〕马丁·戴维斯
分类：科普百科
字数：134275字
ISBM：9787535794420
价格：￥19.99
出版社：湖南科学技术出版社/2018-01
提供方：湖南科学技术出版社
提供方简介：湖南科学技术出版社，系中南传媒旗下子公司。出版社以“弘扬科学精神，推动科技发展”为出版宗旨，推出一大批高品位、高格调、重实用、讲实效的科技佳作，如《时间简史》《医学临床“三基”训练》等。
图书简介：本书讲述了计算机思想层面的历史，通过引人入胜的材料描写了莱布尼茨、布尔、康托尔、希尔伯特、哥德尔、图灵等天才的生活和工作，讲述了数学家们如何在成果付诸应用之前就已经提出了其背后的思想。马丁·戴维斯（MartinDavis），计算机科学发展史上的先驱人物，其《可计算性与不可解性》一书被誉为计算机科学领域极少数真正的经典著作之一，他是纽约大学库朗数学科学研究所的荣誉教授，之后在加州大学伯克利分校做访问学者。