上世纪六十年代，几何、代数与分析实现形式公理化，面目一新

记得，在上世纪六十年代，国内忙于“文革”，淡漠了基础研究。在此期间，国外数学基础研究，突飞猛进，面目焕然一新。

1978年，无穷小微积分，搭乘数理逻辑模型论的“复兴号”快车，来到中国，至今已有40年了。

2018年1月16日，国家教育部发文，出台普通高中数学课程新标准，实现微积分下放高中。这是历史性的进步。

在这种大好形势下，希尔伯特、塔尔斯基的名字频频出现，引起人们的关注。在互联网上，此刻搜索“无穷小微积分”关键词，搜索的相关结果已经达到6万级别，已经形成规模人群。无穷小微积分有了自己的“拉拉队”！

袁萌   2月10日