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

10月11日下午3点，我院特邀原中科院数学所党委书记、副所长，原中国数学会秘书长李文林先生来我院作学术报告。报告在主楼304举行，由院长孟宪礼主持。300余名教师、研究生和大一新生聆听了报告。
李文林先生作了题为《笛卡尔之梦—从笛卡尔几何到数学机械化》的学术报告。首先，李先生从笛卡尔的三个梦境引出解析几何的起源，其次介绍了笛卡尔的著作《方法论》及《指导思维的法则》的主要内容。最后李文林先生又带领同学们重温笛卡尔梦，并讲述了逻辑途径的新发展、代数方向的突破——“吴方法”与数学机械化。
报告会前，李文林先生评审了数学硕士点评估材料并提出了非常中肯的意见，还就学科发展和人才培养等方面与学院领导班子进行了交流。本次报告激发了同学们学习数学的兴趣，加深了老师和同学们对数学机械化的认识，对他们以后的学习提供了新的思路。