【百道编按】人民邮电出版社推出《计算进化史：改变数学的命运》，讲的是我们并不陌生的计算的故事，同时它也是数学与哲学的故事。展现了计算为数学研究发展带来的全新前景，展望了这场数学革命在自然科学、信息科学与哲学领域引发的重大变革。本书荣获年法兰西学术院哲学大奖，一直是数学、计算机科学和哲学领域的畅销读物。

计算，是大家耳熟能详的数学概念，是步入数学大门最基础的知识，是加减乘除这样的算法。计算经常被看成是缺乏创造性的枯燥工作。似乎计算紧紧是一个基础工具，而解决一个数学问题，关键的是推理。然而公理化方法的局限，让越来越多的人们不满，许多研究者大胆构想，将计算重新搬上数学的舞台，比如从希尔伯特提出了用计算代替推理的宏伟构想，到可计算性理论与构造理论，再到通过计算机进行海量计算来完成证明。

这场由计算引起的关于计算与推理之间关系的问题引发了一场解决数学问题方式的革命。同时也促进了人们重新审视数学与物理学、生物学等自然科学的关系，甚至牵涉到哲学、逻辑、语言学、计算机科学等诸多领域。

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

作者将一些抽象乃至艰涩的哲学、逻辑、数学和计算机科学的内容转化为通俗易懂的语言，概念清晰，必要的理论说明则用简明的算法示例和生动的故事加以介绍，便于理解，可读性强。

欧洲数学学会评价此书为：“无论从事何种研究方向的数学家，都该读一读这本书。”

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