无穷小放飞互联网，告慰恩师在天之灵

如今“火星人家园”网站已经开通，无穷小经过这个“喷口”放飞互联网已经成为现实。

五十多年前，罗宾逊（A.Robinson）发表基于Skolen非标准算术的无穷小微积分，开创了现代微积分学公理化之先河。

然而，很可惜的是，经过一百多年的大学教育，培养出成千上万的痴迷于极限轮的守旧派，全然漠视超实数微积分的存在。

我的恩师、无穷小微积分的教学实践者莫揆绍先生（已故、南京大学数学教授、国内知名数理逻辑专家）已经离开我们几年了。“火星人家园”网站开通，稳定、持久地宣传、讲解、阐述公理化的无穷小微积分，将数学公理化（数理逻辑模型论）思想放飞互联网，告慰恩师莫绍揆的在天之灵。

袁萌  9月21日