加载中…
个人资料
  • 博客等级:
  • 博客积分:
  • 博客访问:
  • 关注人气:
  • 获赠金笔:0支
  • 赠出金笔:0支
  • 荣誉徽章:
正文 字体大小:

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

(2018-02-10 06:02:37)

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

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

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

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

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

袁萌   210

0

阅读 收藏 喜欢 打印举报/Report
  

新浪BLOG意见反馈留言板 欢迎批评指正

新浪简介 | About Sina | 广告服务 | 联系我们 | 招聘信息 | 网站律师 | SINA English | 产品答疑

新浪公司 版权所有