计算进化史 : 改变数学的命运电子书免费下载

文
章
目
录

在数学史的研究领域，相关书籍多如繁星，而《计算进化史：改变数学的命运》却独树一帜。它由法国的数学家、逻辑学家和计算机科学家吉尔·多维克所著，译者为劳佳，2017年2月由人民邮电出版社出版。这本书斩获了法兰西学术院哲学大奖，在豆瓣收获了8.0的高分。文末附上《计算进化史 : 改变数学的命运》一书的免费下载地址。

另辟蹊径，聚焦计算发展脉络

多数数学史书热衷于讲述那些著名定理和伟大数学家的故事，《计算进化史》却剑走偏锋，以计算的变迁作为独特切入点。要知道，计算可不是个新玩意儿，古代人就用它来丈量土地、计算税收。从史前数学到希腊数学，计算经历了漫长的演变。在这期间，计算方法不断革新，为后续的数学发展奠定了基础。

深入探索，见证数学变革历程

进入古典时代，数学领域迎来了重大理论突破，像谓词逻辑的诞生。不过，当时数学家们也面临着一些难题，比如判定性问题。丘奇定理的出现，给这些问题提供了一种解答思路，丘奇论题也应运而生。与此同时，人们还尝试用λ演算为计算在数学领域“正名”。此外，构造性证明和算法的发展，也让数学证明与计算之间的联系愈发紧密。

随着研究的深入，数学界出现了公理化危机。为解决这一危机，直觉主义类型论诞生了。后来，自动化证明、证明检验等技术相继出现，让数学研究进入了新的阶段。到了1976年，计算机成为数学家们的新工具，极大地拓展了他们的推理和计算能力，数学正式迈入工具化时代。