吳文俊 新華社發(fā)

吳文俊

“人民科學(xué)家”

吳文俊，男，漢族，中共黨員，1919年5月生，2017年5月去世，上海市人，中國科學(xué)院數(shù)學(xué)與系統(tǒng)科學(xué)研究院研究員，中國科學(xué)院院士。第五、六、七、八屆全國政協(xié)委員。他對數(shù)學(xué)的核心領(lǐng)域拓?fù)鋵W(xué)作出重大貢獻(xiàn)，開創(chuàng)了數(shù)學(xué)機(jī)械化新領(lǐng)域，對國際數(shù)學(xué)與人工智能研究影響深遠(yuǎn)。他用算法的觀點(diǎn)對中國古算作了分析，同時(shí)提出用計(jì)算機(jī)自動(dòng)證明幾何定理的有效方法，在國際上被稱為“吳方法”。榮獲國家最高科學(xué)技術(shù)獎(jiǎng)。