10月11日下午3點，數(shù)學(xué)與信息科學(xué)學(xué)院特邀原中科院數(shù)學(xué)所黨委書記、副所長，原中國數(shù)學(xué)會秘書長李文林先生來我校作學(xué)術(shù)報告。報告在主樓304舉行，由院長孟憲禮主持，300余名教師、研究生和大一新生聆聽了報告。

李文林先生作了題為《笛卡爾之夢—從笛卡爾幾何到數(shù)學(xué)機械化》的學(xué)術(shù)報告。首先，李先生從笛卡爾的三個夢境引出解析幾何的起源，其次介紹了笛卡爾的著作《方法論》及《指導(dǎo)思維的法則》的主要內(nèi)容。最后李文林先生又帶領(lǐng)同學(xué)們重溫笛卡爾之夢，并講述了邏輯途徑的新發(fā)展、代數(shù)方向的突破——“吳方法”與數(shù)學(xué)機械化。

本次報告激發(fā)了同學(xué)們學(xué)習(xí)數(shù)學(xué)的興趣，加深了老師和同學(xué)們對數(shù)學(xué)機械化的認識，對他們以后的學(xué)習(xí)提供了新的思路。

（數(shù)學(xué)與信息科學(xué)學(xué)院）