中國教育在線
吳文俊，男，1919年5月出生于上海，1940年畢業于上海交通大學數學系。2017年5月7日逝世。
1946年赴法國Strassbourg大學留學，獲博士學位。1957年被選為中國科學院學部委員(院士)。1990年被第三世界科學院選為院士。
1952年至1979年任中國科學院數學所副所長、研究員。1979年至現在任中國科學院系統科學研究所副所長、名譽所長、研究員。
吳文俊院士是著名的數學家，他的研究工作涉及到數學的諸多領域。在多年的研究中取得了豐碩成果。其主要成就表現在拓撲學和數學機械化兩個領域。他為拓撲學做了奠基性的工作。他的示性類和示嵌類研究被國際數學界稱為“吳公式”，“吳示性類”，“吳示嵌類”，至今仍被國際同行廣泛引用，影響深遠，享譽世界。
70年代后期，在計算機技術大發展的背景下，他繼承和發展了中國古代數學的傳統(即算法化思想)，轉而研究幾何定理的機器證明，徹底改變了這個領域的面貌，是國際自動推理界先驅性的工作，被稱為“吳方法”，產生了巨大影響。吳的研究取得了一系列國際領先成果并已應用于國際上當前流行的符號計算軟件方面。
吳文俊院士熱愛祖國，有高尚的科學道德，是數學界德高望重的前輩，至今仍在數學機械化研究的第一線。在50多年的研究工作中，始終站在數學領域的前沿，做出了原創性研究成果。在國際上產生了重大影響。
① 凡本站注明“稿件來源：中國教育在線”的所有文字、圖片和音視頻稿件，版權均屬本網所有，任何媒體、網站或個人未經本網協議授權不得轉載、鏈接、轉貼或以其他方式復制發表。已經本站協議授權的媒體、網站，在下載使用時必須注明“稿件來源：中國教育在線”，違者本站將依法追究責任。
② 本站注明稿件來源為其他媒體的文/圖等稿件均為轉載稿，本站轉載出于非商業性的教育和科研之目的，并不意味著贊同其觀點或證實其內容的真實性。如轉載稿涉及版權等問題，請作者在兩周內速來電或來函聯系。
