塔尔斯基与柯西：不同时代的数学思想伟人

    翻开数学史册，塔尔斯基（1902-1983）与柯西（1789-1857），很明显的是，两者是不同时代的人。

                   柯西把目光投向数学之外，研究力学、天文学，创立极限理论，丰富了微积分学；塔尔斯基把目光投向数学之内，用精确的形式语言研究数学本身的不矛盾性问题，创立模型论，奠定了现代数学的基础。

                   微积分学在人类历史上已经存在了三百多年，柯西的极限论与塔尔斯基的模型论分别留下了不同的印记。柯西为微积分奠定了理论体系。而塔尔斯基则更进一步为微积分提供了公理化体系，c彻底驱逐了内部的悖论，

                   00后大学生，是二十年后国家建设之栋梁，学习微积分应该打下扎实的理论基础，不能稀里糊涂混日子。

    说明：1960年，鲁宾逊基于模型论核心定理（紧致性定理）创建了无穷小微积分。

  袁萌  7月10日