回覆列表
-
1 # 使用者610948097246691
-
2 # 今天月夜明又明
著名數學家吳文俊,榮獲2000年度“國家最高科學技術獎”。
吳文俊院士是著名的數學家,他的研究工作涉及到數學的諸多領域。在多年的研究中取得了豐碩成果。其主要成就表現在拓撲學和數學機械化兩個領域。他為拓撲學做了奠基性的工作。他的示性類和示嵌類研究被國際數學界稱為“吳公式”,“吳示性類”,“吳示嵌類”,至今仍被國際同行廣泛引用,影響深遠,享譽世界。70年代後期,在計算機技術大發展的背景下,他繼承和發展了中國古代數學的傳統(即演算法化思想),轉而研究幾何定理的機器證明,徹底改變了這個領域的面貌,是國際自動推理界先驅性的工作,被稱為“吳方法”,產生了巨大影響。吳的研究取得了一系列國際領先成果並已應用於國際上當前流行的符號計算軟體方面。
吳文俊,1919年5月12日出生於上海,祖籍浙江嘉興,數學家,中國科學院院士,中國科學院數學與系統科學研究院研究員,系統科學研究所名譽所長。
吳文俊畢業於交通大學(現上海交通大學、西安交通大學)數學系,1949年,獲法國斯特拉斯堡大學博士學位;1957年,當選為中國科學院學部委員(院士);1991年,當選第三世界科學院院士;2001年2月,獲2000年度國家最高科學技術獎。吳文俊的研究工作涉及數學的諸多領域,其主要成就表現在拓撲學和數學機械化兩個領域。他為拓撲學做了奠基性的工作;他的示性類和示嵌類研究被國際數學界稱為“吳公式”,“吳示性類”,“吳示嵌類”,至今仍被國際同行廣泛引用。