塔尔斯基学派是无穷小微积分的坚定支持者

上世纪60年代，与哥德尔齐名的塔尔斯基主持数学研讨班（Seminar）形成了塔尔斯基数学学派，出了一大批著名的数学家与计算机科学家。

塔尔斯基的高徒、数理逻辑模型论专家J.Keisler是《Elementary  Calculus》的作者，他在该书的“后记”中指出：无穷小微积分产生于形式化公理系统，并且具体给出了该公理系统。

5年来，无穷小微积分放飞互联网已经取得明显实效，有助于国内广大中学生学习微积分。

说虚话无用，科普微积分要做实事。

袁萌  3月6日