大集合与模型论
(2018-09-21 16:59:26)大集合与模型论
2014年8月,I.Goldbring在美国加州大学数理逻辑夏季讲习班关于非标准分析的数学讲稿,漂洋过海,入驻中国无穷小微积分网站,极大地提高了网站的数学含金量。
9月20日,I.Goldbring(哥德布林),开宗明义,指出:超实数有两条来源,一是数理逻辑紧致性定理;二是大集合构造性方法。目前,第二种方法已经成为世界主流。
回想当年,1821年,柯西在“分析讲义”中,把实数定义为有理数列“等价类”,忽略了大集合分类的可能性,影响至今。
如今,国内数百万00后成了大学生,眼巴巴地想学习新知识。但是,实际情况是:学校拿柯西极限论老古董来应付学生。真是可气!
00后大学生不懂大集合?非也。是老师不懂,还是学生不学?耽误了一代人,谁来负责?
袁萌