计算进化史

作者：[法] 吉尔·多维克

译者：劳佳

副标题：改变数学的命运

出版社：人民邮电出版社

出版年：2017-02

ISBN：9787115447579

行业：学术研究

浏览数：46

内容简介

本书从计算的变迁这一独特视角回顾了数学、逻辑学和哲学的历史沿革，展现了计算为数学研究发展带来的全新前景，展望了这场数学革命在自然科学、信息科学与哲学领域引发的重大变革。

......(更多)

作者简介

吉尔·多维克（Gilles Dowek），法国数学家、逻辑学家和计算机科学家，法国国家计算机与自动化研究所机器证明处理系统、编程语言、航空系统安全专家，美国国家航空研究院顾问。多维克撰写过多部数学和计算机科学科普作品，曾荣获法国数学学会达朗贝尔奖和法兰西学术院哲学大奖。

......(更多)

读书文摘

直到20世纪70年代，数学基本上仍可算是唯一一种不使用任何一起的科学。与那些在实验室穿着白大褂的科学同僚们不同，数学家们只需要一块黑板，一支粉笔就能推动科学发展了。……1976年，数学进入了工具化时代。但是，数学家们使用的工具——计算机并不能延伸我们的感官，而是拓展了我们的思维能力——我们的推理能力，特别是计算能力。

我们吃惊地发现，许多公理都可以用计算规则代替。这让我们隐约看到一种新研究计划的曙光：在谓词逻辑中，证明由公理和演绎规则构成；在演绎模中，证明则由公理、演绎规则和计算规则构成。为什么不能更进一步，去掉公理，仅仅用演绎规则和计算规则来构造证明呢？

......(更多)