中国人工智能学会发起人

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

人工智能为何向社科院求助?

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

人工智能何时传入中国?

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

中国人工智能40年

        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日

今年高考查分20周年

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

我们为什么创立无穷小微积分网站?

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