逻辑的引擎(综合系列/第一推动)
分类: 图书,传记,科学家,工业技术,
品牌: 马丁·戴维斯
基本信息·出版社:湖南科学技术出版社
·页码:293 页
·出版日期:2007年
·ISBN:9787535742391
·条形码:9787535742391
·包装版本:第2版
·装帧:平装
·开本:32
·正文语种:中文
·丛书名:综合系列/第一推动
产品信息有问题吗?请帮我们更新产品信息。
内容简介《逻辑的引擎》讲述的是我们的现代计算机所基于的那些基本概念和发展出这些概念的人。计算机从二十世纪五十年代的塞满整个房间的庞然大物,逐渐演变成今天轻巧而强大的能够完成各种任务的机器,在这整个过程中,其背后的逻辑始终保持如一。这些逻辑概念是几个世纪以来数位天才思想家一步步发展出来的。在《逻辑的引擎》中,我将讲述这些人的生活故事,并解释他们的部分思想。这些故事本身是引人入胜的,我希望读者们不仅能够喜欢它们,而且在读完之后能够更加了解计算机内部的秘密,同时对抽象思想的价值多一份敬意。
作者简介马丁·戴维斯,是计算机科学发展史上的先驱人物,其《可计算性与不可解性》一书被誉为计算机科学领域极少数真正的经典著作之一他是纽约大学库朗数学科学研究所的荣誉退休教授,目前在加州大学伯克利分校做访问学者。
媒体推荐“一部出色的作品,戴维斯的书不仅使我们受益匪浅,而且读起来其乐无穷。它对技术方面的讨论清晰准确、易于理解,传记概略使人物形象栩栩如生……当会吸引许多人。”
——小约翰·w·道森“通过和马丁·戴维斯一起漫步逻辑的历史及其先驱者的生活,任何同计算机打交道的人,任何试图展望电子技术未来的人都会受益匪浅。”
——约翰·麦卡锡,斯坦福大学
“这是一段探寻逻辑的边界以及介于其间的机器的美妙历史。戴维斯熔数学细节和趣闻逸事为一炉,说明了我们是怎样逐渐认识到计算机和逻辑思想的界限的……他的书引领我们对数学和逻辑的一个重要分支进行了全面的了解。”
——彼得·韦纳,《连线》
“这本关于计算机起源的书生动讲述了人类探求逻辑和真理的故事。马丁·戴维斯用博学而充满人情味的语言,娓娓讲述了那些为计算机的出现奠定基础的非凡人物的故事。、这些人物以阿兰·图灵为顶峰,其通用机器现在已经主宰了世界经济。”
——安德鲁·霍奇斯,《阿兰·图灵:一个不可思议的人》的作者“如同一位雕塑家充满爱意地述说着石头,马丁·戴维斯以生动的笔触讲述着逻辑。通过对这些思想家寥寥可数而又充满温情的描述,他向我们展现了为数不多的几种关键的洞察和符号——它们往往产生于精神的渴望——如何营造了一个我们当今仍在探索的空间架构。”
——丹尼斯·夏沙,纽约大学“逻辑学家提出的思想促成了计算机革命,要讲述他们的故事,很难想象还有谁会比马丁·戴维斯更能胜任……生动诙谐,平易近人,不乏珍闻趣事……一段迷人的故事……读此书其乐融融。”
——赖恩·布兰克,华盛顿大学
编辑推荐《逻辑的引擎》作者马丁·戴维斯是计算机科学发展史上的先区人物,曾对希尔伯特第十问题有过深入的研究。《逻辑的引擎》被誉从逻辑角度讲述计算机发展的最好的通俗读本。读者将对西方文化的核心之一——逻辑或数学有更深的理解,并且造就一种敏锐的眼光和问题意识,认识到再复杂的东西其实也是由简单的东西根据一定的规则组合而成的。在普遍崇拜技术外表而忽视其深层本质的今天,《逻辑的引擎》显得尤为难得和重要。《逻辑的引擎》讲述了位于计算机背后的思想层面的历史。它通过引人入胜的材料描写了莱布尼茨、布尔、康托尔、希尔伯特、哥德尔、图灵等天才的生活和工作,讲述了数学家们如何在成果付诸应用之前很久就已经提出了其背后的思想。
目录
引言
第一章莱布尼茨之梦
第二章布尔把逻辑变成代数
第三章弗雷格:从突破到绝望
第四章康托尔:在无限中摸索
第五章希尔伯特的营救
第六章哥德尔使计划落空
第七章图灵构想通用计算机
第八章研制第一批通用计算机
第九章超越莱布尼茨之梦
尾声
注释
参考书目
索引
译后记
……[看更多目录]
序言科学,特别是自然科学,最重要的目标之一,就是追寻科学本身的原动力,或日追寻其第一推动。同时,科学的这种追求精神本身,又成为社会发展和人类进步的一种最基本的推动。
科学总是寻求发现和了解客观世界的新现象,研究和掌握新规律,总是在不懈地追求真理。科学是认真的、严谨的、实事求是的,同时,科学又是创造的。科学的最基本态度之一就是疑问,科学的最基本精神之一就是批判。
的确,科学活动,特别是自然科学活动,比较起其他的人类活动来,其最基本特征就是不断进步。哪怕在其他方面倒退的时候,科学却总是进步着,即使是缓
文摘乔治·布尔的艰辛岁月
美丽而聪慧的卡洛琳娜·冯·安斯巴赫公主日后将会成为英国王后,即乔治二世之妻。1704年,当她18岁时,她在柏林见到了莱布尼茨。在她随同王室前往英国之后,他们仍然借助通信保持着友谊。她试图说服自己的公公——英王乔治一世——把莱布尼茨带到英国,但正如我们已经知道的,国王坚持让莱布尼茨呆在德国完成汉诺威家族史。
卡洛琳娜发现自己被卷入了莱布尼茨与牛顿及其支持者之间的没完没了的愚蠢争论之中,双方都指控对方在微积分的发明上进行了剽窃。她试图使莱布尼茨相信这件事情没有那么重要,但他却不这样认为。事实上,莱布尼茨希望能被任命为英国的史料编纂者,从而与牛顿担任的造币厂厂长一职相当,而且声称只有这样,与英国相比,德国对抗英国的荣耀才能被保持下来。为此,他曾在国王面前寻求过她的帮助。
后记计算机技术无疑是当今最热门、应用最广的技术之一,它的作用和威力可以说无人不知、无人不晓。然而,尽管计算机技术的发展日新月异,学习它的人数也与日俱增,但很少有人了解其背后的思想,很少有人知道如此复杂精妙的机器所依据的是什么。它被设计得越来越方便合用,以至于我们几乎不再对它背后的奥秘感到好奇,计算机对大多数人来说仍然是一种神奇的东西,是一个谜。
本书作者马丁·戴维斯是纽约大学库朗数学科学研究所的名誉教授,目前在加州大学伯克利分校做访问学者。他是计算机科学发展史上的先驱人物,也是世界著名的数理逻辑学家,曾