注册 登录 设为首页 加入收藏

逻辑的引擎

作者:马丁-戴维斯(著)张卜天(译)           2016年03月29日06:50

图书简介
本书讲述的是我们的现代计算机所基于的那些基本概念和发展出这些概念的人。计算机从二十世纪五十年代的塞满整个房间的庞然大物,逐渐演变成今天轻巧而强大的能够完成各种任务的机器,在这整个过程中,其背后的逻辑始终保持如一。这些逻辑概念是几个世纪以来数位天才思想家一步步发展出来的。在本书中,我将讲述这些人的生活故事,并解释他们的部分思想。这些故事本身是引人入胜的,我希望读者们不仅能够喜欢它们,而且在读完之后能够更加了解计算机内部的秘密,同时对抽象思想的价值多一份敬意。

本书作者马丁-戴维斯是计算机科学发展史上的先驱人物,曾对希尔伯特第十问题有过深入的研究。本书被誉从逻辑角度讲述计算机发展的最好的通俗读本。读者将对西方文化的核心之一--逻辑或数学有更深的理解,并且造就一种敏锐的眼光和问题意识,认识到再复杂的东西其实也是由简单的东西根据一定的规则组合而成的。在普遍崇拜技术外表而忽视其深层本质的今天,本书显得尤为难得和重要。本书讲述了位于计算机背后的思想层面的历史。它通过引人入胜的材料描写了莱布尼茨、布尔、康托尔、希尔伯特、哥德尔、图灵等天才的生活和工作,讲述了数学家们如何在成果付诸应用之前很久就已经提出了其背后的思想。

作者简介

作者:(美国)马丁-戴维斯 

    马丁-戴维斯,是计算机科学发展的先驱人物,其《可计算性与不可解性》一书被誉为计算机科学领域极少数真正的经典著作之一他是纽约大学库朗数学科学研究所的荣誉退休教授,目前在加州大学伯克利分校做访问学者。 

 

(责任编辑:刘欢)

图说陕西

热门搜索

陕西日报传媒集团  |  网站简介 |  网站动态 |  广告服务 |  联系我们 |  版权声明

Copyright ?2012-2016 陕西传媒网版权所有 未经书面授权不得复制或建立镜像

地址:西安市环城南路东段一号 邮编:710054 广告招商:029-82267190 传真:029-82267154

互联网新闻信息许可证:6112013002 新闻热线:029-82267123 投稿邮箱:news@sxdaily.com.cn

陕ICP备05009370号-1 增值电信业务许可证:陕B2-20120007 广播电视节目制作经营许可证:(陕)字第626号