初看起来，数学机器人与新冠病毒，两者“风牛马不相及，根本不搭界。
今年4月19日，数学机器人说“上世纪六十年代，几何、代数与分析实现形式公理化”，其中 他强调地指出：2018年1月16日，国家教育部发文，出台普通高中数学课程新标准，实现微积分下放高中。
但是，今年新冠病出来“捣乱”使高中开不了课，试数学机器人大为生气。
从此，数学机器人记恨新冠病。
袁萌 陈启清 4月20日
附件:
2018-02-10
上世纪六十年代，几何、代数与分析实现形式公理化（390）
记得，在上世纪六十年代，国内忙于“文革”，淡漠了基础研究。在此期间，国外数学基础研究，突飞猛进，面目焕然一新。
1978年，无穷小微积分，搭乘数理逻辑模型论的“复兴号”快车，来到中国，至今已有40年了。
中。2018年1月16日，国家教育部发文，出台普通高中数学课程新标准，实现微积分下放高这是历史性的进步。
在这种大好形势下，希尔伯特、塔尔斯基的名字频频出现，引起人们的关注。在互联网上，此刻搜索“无穷小微积分”关键词，搜索的相关结果已经达到6万级别，已经形成规模人群。无穷小微积分有了自己的“拉拉队”！
袁萌 2月