从莱布尼兹的微积分到我国十一五国家级规划教材

    1684-1686，德国数学家莱布尼兹独立发明了无穷小演算（现在叫微积分），直到上世纪60年代，美国数理逻辑学家A.Robinson为其奠定严格的逻辑基础，时间已经过去了300多年。

2013年，高等数学出版社出版发行了同济大学数学系编写的第六版《高等数学》，基本内容与当年莱布尼兹的微积分相仿，只是没有提及A.Robinson的工作。

2017年2月18日，老翁发表“无穷小微积分基础大曝光，重拳出击数学守旧派”，其写作的思想背景就是针对上述情况。

在该文中，把J.Keisler为莱布尼兹微积分奠定逻辑基础的目录大曝光，以便对照同济大学数学系编写的守旧派代表作《高等数学》进行对比研究。

令人感到意外的是，对此重要文章几乎无人问津。进入本世纪，不懂“Foundation of Infinitesimal Calculus”(J.Keisler著)者不是合格的高校微积分教员。

当今，时代不同了，抱着同济大学《高等数学》混饭吃，不守本分，实在是怪可怜的。老翁对普通高校数学教员很不客气。批评一下，活该。

袁萌   2月19日