上世纪六十年代,几何、代数与分析实现形式公理化,面目一新
(2018-02-10 06:02:37)上世纪六十年代,几何、代数与分析实现形式公理化,面目一新
记得,在上世纪六十年代,国内忙于“文革”,淡漠了基础研究。在此期间,国外数学基础研究,突飞猛进,面目焕然一新。
1978年,无穷小微积分,搭乘数理逻辑模型论的“复兴号”快车,来到中国,至今已有40年了。
2018年1月16日,国家教育部发文,出台普通高中数学课程新标准,实现微积分下放高中。这是历史性的进步。
在这种大好形势下,希尔伯特、塔尔斯基的名字频频出现,引起人们的关注。在互联网上,此刻搜索“无穷小微积分”关键词,搜索的相关结果已经达到6万级别,已经形成规模人群。无穷小微积分有了自己的“拉拉队”!
袁萌