中科院数学与系统科学研究院研究员、原中国数学会秘书长李文林先生来太阳成官网作学术报告

10月11日下午3点，数学与信息科学学院特邀原中科院数学所党委书记、副所长，原中国数学会秘书长李文林先生来太阳成官网作学术报告。报告在主楼304举行，由院长孟宪礼主持，300余名教师、研究生和大一新生聆听了报告。

李文林先生作了题为《笛卡尔之梦—从笛卡尔几何到数学机械化》的学术报告。首先，李先生从笛卡尔的三个梦境引出解析几何的起源，其次介绍了笛卡尔的著作《方法论》及《指导思维的法则》的主要内容。最后李文林先生又带领同学们重温笛卡尔之梦，并讲述了逻辑途径的新发展、代数方向的突破——“吴方法”与数学机械化。

本次报告激发了同学们学习数学的兴趣，加深了老师和同学们对数学机械化的认识，对他们以后的学习提供了新的思路。

（数学与信息科学学院）