逻辑的引擎/综合系列/推动丛书
全新正版 极速发货
¥
26.1
5.3折
¥
49
全新
库存12件
作者马丁·戴维斯
出版社湖南科学技术出版社
ISBN9787535794420
出版时间2018-01
装帧其他
开本32开
定价49元
货号30088035
上书时间2024-10-23
商品详情
- 品相描述:全新
- 商品描述
-
导语摘要
马丁·戴维斯著的这本《逻辑的引擎》被誉为从逻辑角度讲述计算机发展的最好的通俗读本,主要讲述位于计算机背后的思想层面的历史。通过阅读此书,读者将对西方文化的核心之一——逻辑或数学有更深的理解,并且造就一种敏锐的眼光和问题意识,认识到再复杂的东西其实也是由简单的东西根据一定的规则组合而成的。
作者简介
张卜天,1979年生,中国科技大学物理学学士,北京大学科技哲学博士,现为中国科学院大学哲学系副教授。研究方向为西方中世纪和近代早期科学思想史。著有《质的量化与运动的量化——14世纪经院自然哲学的运动学初探》,“机械论的起源、演变及其问题研究”课题获得2011年国家社会科学基金青年项目资助。主编“科学源流译丛”“科学史译丛”。主要译有《大问题——简明哲学导论》《韦洛克拉丁语教程》《世界图景的机械化》《现代性的神学起源》《科学革命的编史学研究》等30余部著作。
目录
第1章 莱布尼茨之梦
第2章 布尔把逻辑变成代数
第3章 弗雷格:从突破到绝望
第4章 康托尔:在无限中摸索
第5章 希尔伯特的营救
第6章 哥德尔使计划落空
第7章 图灵构想通用计算机
第8章 研制第一批通用计算机
第9章 超越莱布尼茨之梦
尾声
注释
参考书目
索引
译后记
内容摘要
本书讲述了计算机思想层面的历史,通过引人入胜的材料描写了莱布尼茨、布尔、康托尔、希尔伯特、哥德尔、图灵等天才的生活和工作,讲述了数学家们如何在成果付诸应用之前就已经提出了其背后的思想。
精彩内容
莱布尼茨的奇思妙想1646年,莱布尼茨出生于德国的莱比锡。那时的德国被分成了1000多个半自治的政治单元,几乎为持
续了近30年的战争所毁。30年战争直到1648年才结束
,尽管欧洲所有的主要力量都参与了这场战争,但它主要是在德国本土进行的。莱布尼茨的父亲是莱比锡大学的哲学教授,当孩子仅6岁时就去世了。到了8岁
的时候,莱布尼茨不顾老师的反对,开始阅读父亲图书馆中的藏书,不久他便能够熟练地阅读拉丁文作品
了。
莱布尼茨注定要成为人类历史上最伟大的数学家之一。他从他的老师那里得到了数学思想的启蒙,但老师们对欧洲其他地方的革命性数学著作一无所知。
在当时的德国,即便是欧几里得的初等几何也是一门高等学科,人们通常只是在大学阶段才开始学习它。
然而当莱布尼茨只有10岁时,他的老师就把亚里士多德于2000年前提出的逻辑系统介绍给了莱布尼茨,这门学科唤起了他的数学才能和激情。莱布尼茨对亚里士多德把概念分成固定的“范畴”着了迷,他产生了一种“奇思妙想”:他想寻求这样一张特殊的字母表,其元素表示的不是声音而是概念。有了这样一个符号系统,我们就可以发展出一种语言,我们仅凭符号演算,就可以确定用这种语言写成的哪些句子为真,以及它们之间存在着什么样的逻辑关系。莱布尼茨一
生都沉迷于亚里士多德的理论,并且对此矢志不渝。
事实上,莱布尼茨在莱比锡写的学士论文就是关于亚里士多德形而上学的。他的老师在同一所大学的论文论述的是哲学与法律之间的关系。莱布尼茨显然也被法律研究所吸引,他又获得了一个法律学士学位,这一次他写的论文强调了系统性的逻辑在法律方面的应用。莱布尼茨对数学的第一项真正贡献源于他在大学讲授哲学课程的资格论文(Habilitationsschrift):作为他关于一个概念符号系统的奇思妙想的第一步,莱布尼茨预见到计算出这些概念有多少种不同的组合方式是有必要的。这使他系统地研究了基本元素复杂排列的数目问题。这方面的工作首先见于他那篇大学授课资格论文,然后是那部内容更加广泛的专著《论组合术》(DissertatiodeArteCombinatoria)。
在继续进行法律研究的过程中,莱布尼茨为获得莱比锡大学的法律博士学位而提交了一篇论文。它的主题具有典型的莱布尼茨风格,即用理性来解决那些用一般方法难以处理的法律案件。由于种种原因,莱比锡大学并没有接受这篇论文,于是莱布尼茨就把它转交给纽伦堡附近的阿特道夫(Altdorf)大学,在那里这篇论文获得一致好评。22岁那年,莱布尼茨的正式教育完成了,他面临着毕业生的常见问题:如何获得一个职位。
巴黎莱布尼茨对在德国当大学教授没有多大兴趣,他
— 没有更多了 —
以下为对购买帮助不大的评价