无穷小微积分与元数学

    大家已经知道，无穷小微积分产生于上世纪数学的形式化与公理化浪潮。

    另一方面，数学形式化与公理化产生于希尔伯特的元数学思想。由此，我们可以说，无穷小微积分的历史根源源自希尔伯特的元数学思想。

    请见本文附件。

袁萌  陈启清  12月24日

附件：

希尔伯特数学形式化与自动推理机

上世纪初期，希尔伯特力挺数学形式化、公理化，现在，希尔伯特的创新思想变成了自动推理机，成了第一生产力，广泛应用在科技、生产战线上，前景无可限量。

当今，大飞机与航天器的设计、生产都需要精密推理，进行系统验证。希尔伯特的“证明器”（Prover）派上用场，少了不行。

希尔伯特形式化学派，原本是书生“造反”，雕虫小技，不足道也。谁也没有想到，有今天的辉煌。

袁萌  2018年2月13日