逻辑的引擎/综合系列/推动丛书

作者简介

作者简介： 马丁？戴维斯（Martin D**is），计算机科学发展**的先驱人物，其《可计算性与不可解性》一书被誉为计算机科学领域极少数真正的经典著作之一，他是纽约大学库朗数学科学研究所的荣誉教授，之后在加州大学伯克利分校做访问学者。 译者介绍： 张卜天，1979年9月生，师从吴国盛。热爱哲学和科学史方面的翻译，研究方向为西方中世纪和近代早期科学思想史，研究领域主要集中在近代科学的起源和科学革命。

内容简介

莱布尼茨的奇思妙想 1**6年，莱布尼茨出生于德国的莱比锡。那时的 德国被分成了1000多个半**的政治单元，几乎为持 续了近30年的战争所毁。30年战争直到1**8年才结束 ，尽管欧洲所有的主要力量都参与了这场战争，但它 主要是在德国本土进行的。莱布尼茨的父亲是莱比锡 大学的哲学教授，当孩子仅6岁时就去世了。到了8岁 的时候，莱布尼茨不顾老师的反对，开始阅读父亲图 书馆中的藏书，不久他便能够熟练地阅读拉丁文作品 了。 莱布尼茨注定要成为人类历***伟大的数学家 之一。他从他的老师那里得到了数学思想的启蒙，但 老师们对欧洲其他地方的革命性数学著作一无所知。 在当时的德国，即便是欧几里得的初等几何也是一门 高等学科，人们通常只是在大学阶段才开始学习它。 然而当莱布尼茨只有10岁时，他的老师就把亚里士多 德于2000年前提出的逻辑系统介绍给了莱布尼茨，这 门学科唤起了他的数学才能和**。莱布尼茨对亚里 士多德把概念分成固定的“范畴”着了迷，他产生了 一种“奇思妙想”：他想寻求这样一张特殊的字母表 ，其元素表示的不是声音而是概念。有了这样一个符 号系统，我们就可以发展出一种语言，我们仅凭符号 演算，就可以确定用这种语言写成的哪些句子为真， 以及它们之间存在着什么样的逻辑关系。莱布尼茨一 生都沉迷于亚里士多德的理论，并且对此矢志不渝。 事实上，莱布尼茨在莱比锡写的学士论文就是关 于亚里士多德形而上学的。他的老师在同一所大学的 论文论述的是哲学与法律之间的关系。莱布尼茨显然 也被法律研究所吸引，他又获得了一个法律学士学位 ，这一次他写的论文强调了系统性的逻辑在法律方面 的应用。莱布尼茨对数学的**项真正贡献源于他在 大学讲授哲学课程的资格论文 （Habilitationsschrift）：作为他关于一个概念 符号系统的奇思妙想的**步，莱布尼茨预见到计算 出这些概念有多少种不同的组合方式是有必要的。这 使他系统地研究了基本元素复杂排列的数目问题。这 方面的工作首先见于他那篇大学授课资格论文，然后 是那部内容*加广泛的专著《论组合术》 (Dissertatio de Arte Combinatoria)。 在继续进行法律研究的过程中，莱布尼茨为获得 莱比锡大学的法律博士学位而提交了一篇论文。它的 主题具有典型的莱布尼茨风格，即用理性来解决那些 用一般方法难以处理的法律案件。由于种种原因，莱 比锡大学并没有接*这篇论文，于是莱布尼茨就把它 转交给纽伦堡附近的阿特道夫（Altdorf）大学，在 那里这篇论文获得一致好评。22岁那年，莱布尼茨的 正式教育完成了，他面临着毕业生的常见问题：如何 获得一个职位。 巴黎 莱布尼茨对在德国当大学教授没有多大兴趣，他 本书被誉为从逻辑角度讲述计算机发展的很好通俗读本之一。 读完该书你将对西方文化的核心逻辑有*深的理解，有助于形成一种敏锐的眼光和问题意识，可认识到复杂的东西是如何由简单的东西根据一定的规则组合而成。 2018年新版的《**推动丛书》全新设计了版式和封面，简约个性，提升了阅读体验，让科普给你*多想象。 随书附赠价值39.6元由汪洁、吴京平掰开揉碎,带你懂科学好书的《经典科普解读课》**券。