无穷小微积分与元数学
大家已经知道，无穷小微积分产生于上世纪数学的形式化与公理化浪潮。
另一方面，数学形式化与公理化产生于希尔伯特的元数学思想。由此，我们可以说，无穷小微积分的历史根源源自希尔伯特的元数学思想。
请见本文附件。
袁萌 陈启清 12月24日
附件：
希尔伯特数学形式化与自动推理机
上世纪初期，希尔伯特力挺数学形式化、公理化，现在，希尔伯特的创新思想变成了自动推理机，成了第一生产力，广泛应用在科技、生产战线上，前景无可限量。
当今，大飞机与航天器的设计、生产都需要精密推理，进行系统验证。希尔伯特的“证明器”（Prover）派上用场，少了不行。
希尔伯特形式化学派，原本是书生“造反”，雕虫小技，不足道也。谁也没有想到，有今天的辉煌。
袁萌 2018年2月13日