1、1977年，中国科学院计算所举行数理逻辑讨论班，评论班主持人张锦文，邀请袁萌作为第一个发言人，发言的内容为《无穷小基本原理及其应用》的报告，随后，无穷小分析在全国高校传播开来，影响深远。        2、1980...

        1978年，袁萌给一年级研究生讲授《离散数学》基础课程，离散数学主张数学研究集合以及集合的集合，而不研究其它任何东西。这种主张与希尔伯特的几何基础教导完成一致。袁萌2022年05月21日

        今天，5月20日，是南京大学诞辰120周年纪念日。        记得1957年秋天，袁萌考入南京大学数学天文系，攻读数学专业。毕业后，服从国家统一分配，去中国人民大学任教至今。   &n...

        1965年，美国数学家鲁滨逊用数学数理逻辑证明了可以把实数系扩大为超实数系，在超实数系里包含无穷小和无穷大，从而可以建立无穷小微积分。        如果对此有兴趣，请访问无穷小微积分专业网站首页查看《非标准分析》中译...

        德国数学家希尔伯特(1862年-1943年)公理化数学的创始人，于现代数学发展有深远的影响。        以希尔伯特为代表的公理化数学时代是18世纪下半叶到19世纪上半叶数学发展的旗帜。  &nb...

        中国《西游记》作者吴承恩(1500年-1582年)在《西游记》书中写道：“现实先于心灵而存在”他是一位典型的唯物主义代表人物。        法国数学家笛卡尔(1596年-1650年)主张“我思固我在”，他是一位典型的唯心主义代表人物。袁...

    今天是《西游记》作者吴承恩诞辰500周年，2004年江苏淮安市淮安区政府设立吴承恩纪念馆，树立吴承恩塑像，纪念他的事迹，吴承恩是杰出的明代浪漫主义小说家，他的浪漫主义文学创作，对中国的文学发展有深远影响。吴承恩生与1522年，是江苏淮安人。袁萌2022年0510日

        2018年6月5日，为进一步推动我国数学教育现代化进程，我们创立了“无穷小微积分网站”。        为此，我们网站收录了5篇数学经典著作，包含《无穷小分析》、《基础微积分》、《模型论》、《非标准分析》、《马克思数学...

        1957年，袁萌在南京大学学习期间，汪声望先生从美国回来，给我们讲授泛函分析课程，效果很好。        如今，汪声望先生逝世，在此沉痛悼念先生，希望先生在天之灵，安息吧！袁萌2022年05月05日

        记得七十多年前，在南京新街口西北方旧货市场上，袁萌在地摊上发现希尔伯特的《几何基础》英文版，由于没有钱购买该书，用七毛钱换了这本薄书。当时读这本书的心情，想起来都激动不已。        1962年袁萌从南京大学毕业，...