赠书：《计算进化史：改变数学的命运》

说起数学史，

也许你会想到各种定理前耳熟能详的名字，

他们是代表人类最高智慧的璀璨群星。

数学家们提出的定理，

以及这些定理的证明，

构成了数学史上一个又一个里程碑。

然而，在浩如烟海的数学史中，

我们却独辟蹊径，

挑出了一条似乎并不那么耀眼的主线

——计算。

古代的已经开发出各种方法

来丈量土地、计算税收。

无论是美索不达米亚，

还是我们的《九章算术》等书，

都体现了古人在计算方面的杰出成就。

然而随着问题范畴不断扩大，

“无穷”超出了计算力所能及的范围，

于是古希腊人以“推理”奠定了公理化方法的根基。

推理”和“计算”在20 世纪经历了反复的争斗。

和科学史上的许多争论一样，

重要的不是争论本身的结果，

而是这一过程带来了学科的巨大发展，

甚至创立出很多新的学科分支。

到底能不能用计算规则取代公理

或许还悬而未决，

但在数学家的工作中，

计算的角色越来越显著，

这一趋势似乎已无可逆转，

计算正在以一种全新的方式引领数学的前进。