10月11日下午3点,数学与信息科学学院特邀原中科院数学所党委书记、副所长,原中国数学会秘书长李文林先生来欧洲杯下注平台_NBA赌注app-【下载官网】作学术报告。报告在主楼304举行,由院长孟宪礼主持,300余名教师、研究生和大一新生聆听了报告。
李文林先生作了题为《笛卡尔之梦—从笛卡尔几何到数学机械化》的学术报告。首先,李先生从笛卡尔的三个梦境引出解析几何的起源,其次介绍了笛卡尔的著作《方法论》及《指导思维的法则》的主要内容。最后李文林先生又带领同学们重温笛卡尔之梦,并讲述了逻辑途径的新发展、代数方向的突破——“吴方法”与数学机械化。
本次报告激发了同学们学习数学的兴趣,加深了老师和同学们对数学机械化的认识,对他们以后的学习提供了新的思路。
(数学与信息科学学院)