1981年春天，在武汉大学图书馆会议室，社科院哲学所童天湘召开小型“统筹会”，传达社科院院长胡乔木的指示：确定学会发起人、学会章程以及学会领导机构（理事会）。    在这次“统筹会”上，大家一致同意：哲学所童天湘、中国人民大学袁萌、北航渠川璐、北大凃序彦以及浙江大学和武汉大学各一位为学会正式发起人。胡乔木个人简历见本...

        1980年，由于人工智能被中科院数学所拒之门外。        1977年，中国中国社会科学院成立。首任院长是著名哲学家胡乔木，中国社科院有权批准国家一级学会。    人工智能学会筹备过程中，袁萌到社科院传达室说明了来意。在值班室接待人员说“人工智能”大概属于哲学所研究范围，要...

        把时钟拨回到40年前，1980年春，改革开放的春风终于到来了。        此时，北京航天航空大学访美学者渠川璐回国带回美国人工智能学会（AAAI）成立的消息。    由此，中国人工智能学会（CAAI）成立筹备工作正式开启。     &nbs...

        1981年，中国人工智能协会(CCAI)成立于武汉大学，开启中国人工智能新征程。        袁萌是协会六人发起人之一，担任协会第一年常务理事兼第二届副秘书长，第三、第四年秘书长，布置协会日常工作，是中国人工智能先驱...

        当前，全国普通高校高等数学教材中，存在大量时间及脑力浪费现象。        1960年深秋，在数学证明中，美国数学家鲁滨逊提出两种方法：（1）全新的非标准方法（2）传统的标准方法。大量实例证明，在数学证明过程中，采用方法（1），较之方法（2），更加易懂、简单且具有更强的直觉性。由此，人...

鲁滨逊在非标准分析第二版前言中写道： “我愿意指出一个事实。这个事实，A. Robinson教授并没有明确地提出来，但在我看来是非常重要的；即非标准分析不仅常常可以把初等定理的证明，而且也能够将一些深刻结果的证明大大地加以简化。例如，对于紧致算子存在不变子空间的证明就是这样，暂且不说对结论的改进；在其他一些情况，甚至在更大的程度上是这样。这种情况应能防止对非标准分析的相当普遍的误解，即认为非...

2018年1月19日，国务院发布“关于全面加强基础科学研究的若干意见” （国发〔2018〕4号）。 2018年6月5日，遵照国务院4号文件的精神，我们创立无穷小微积分专业网站，收录若干基础数学经典名著（PDF文件）。供读者下载学习，促进基础数学现代化进程。 但是，北大袁萌博客专栏不接授PDF文件，请读者直接访问无穷小微积分专业网站，查看、下载相关文章。敬请相互转告。 袁萌 陈启清 2021...

2018年6月5日，全国知名网站“无穷小微积分”收录了北大袁萌博客专栏的数千篇关于技术研究文章，是北大袁萌博客专栏的第一部功能体现。 北大袁萌博客专栏是“无穷小微积分”的合法前身，是值得我们珍贵的。 在国内，个人博客专栏网站，前面关于“北大”两字并不多解。 北大袁萌博客专栏时间不久即将内容更新，请读者关注。袁萌 陈启清 2021年6月28日

2001年7月，袁萌做为国家教委学生司计算机顾问，受江西省报考招生办公室的邀请，实施报考计算机查分工程。 袁萌利用一台高档计算机，录入江西省全省报考考生的考试成绩，在省招生办公室的统一安排下，全省考生在同时上网查分，取得圆满成功。这是国内利用计算机查分的第一次。                 &nbs...

        2018年1月19日，国务院颁布“关于全面加强基础科学研究的若干意见”（国发〔2018〕4号），内容丰富，思想深刻，是我国基础数学现代化的指路明灯。        2018年6月5日，正当国务院4号文件的精神，我们创立无穷小微积分网站，收录若干数学经典名著，供广大读者下载学习，与我们一同阔步向前。...