作者：〔美〕马丁·戴维斯
分类：科普百科
字数：135604字
ISBM：9787535742391
价格：￥8.99
出版社：湖南科学技术出版社/2005-05
提供方：湖南科学技术出版社
提供方简介：湖南科学技术出版社，系中南传媒旗下子公司。出版社以“弘扬科学精神，推动科技发展”为出版宗旨，推出一大批高品位、高格调、重实用、讲实效的科技佳作，如《时间简史》《医学临床“三基”训练》等。
图书简介：本书介绍了现代计算机背后的那些基本概念和发展这些概念的人，描写了莱布尼茨、布尔、费雷格、康托尔、希尔伯特、哥德尔、图灵等天才的生活和工作，讲述了数学家们如何在成果付诸应用之前很久就已经提出了其背后的思想。博达著作权代理有限公司授权出版据美国W.W.Norton公司2000年版本译出。马丁·戴维斯是计算机科学发展史上的先驱人物，其《可计算性与不可解性》一书被誉为计算机科学领域极少数真正的经典著作之一。他是纽约大学库朗数学科学研究所的荣誉退休教授，目前在加州大学伯克利分校做访问学者。