大集合与模型论

    ​    ​2014年8月,I.Goldbring在美国加州大学数理逻辑夏季讲习班关于非标准分析的数学讲稿,漂洋过海,入驻中国无穷小微积分网站,极大地提高了网站的数学含金量。

    ​    ​9月20日,I.Goldbring（哥德布林）,开宗明义,指出：超实数有两条来源,一是数理逻辑紧致性定理；二是大集合构造性方法。目前,第二种方法已经成为世界主流。

    ​    ​回想当年,1821年,柯西在“分析讲义”中,把实数定义为有理数列“等价类”,忽略了大集合分类的可能性,影响至今。

    ​    ​如今,国内数百万00后成了大学生,眼巴巴地想学习新知识。但是,实际情况是：学校拿柯西极限论老古董来应付学生。真是可气！

    ​    ​00后大学生不懂大集合？非也。是老师不懂,还是学生不学？耽误了一代人,谁来负责？

        袁萌   陈启清   9月21日