数学家 吴文俊院士

简介

　　吴文俊(Wentsun WU)，男，1919年5月12日生于上海，1940年毕业于交通大学，1949年获法国国家博士学位。世界著名数学家， 中国科学院数学与系统科学研究院系统科学研究所研究员、名誉所长，中国数学会名誉理事长。中国数学机械化研究的创始人之一，现任中国科学院系统科学研究所名誉所长、研究员，中国科学院院士，第三世界科学院院士；曾任中国数学会理事长（1985-1987），中国科学院数理学部主任（1992-1994），全国政协委员、常委（1979-1998）。
　　他在拓扑学、自动推理、机器证明、代数几何、中国数学史、对策论等研究领域均有杰出的贡献,在国内外享有盛誉。他在拓扑学的示性类、示嵌类的研究方面取得一系列重要成果，是拓扑学中的奠基性工作并有许多重要应用。他的“吴方法”在国际机器证明领域产生巨大的影响，有广泛重要的应用价值。当前国际流行的主要符号计算软件都实现了吴文俊教授的算法。
　　曾获得首届国家自然科学一等奖(1956)、中国科学院自然科学一等奖(1979)、第三世界科学院数学奖(1990)、陈嘉庚数理科学奖(1993)、首届香港求是科技基金会杰出科学家奖(1994)、Herbrand自动推理杰出成就奖(1997)、首届国家最高科学技术奖(2000)、第三届邵逸夫数学奖(2006)。

对数学发展的预言

　　数学家

吴文俊院士对数学发展的预言：
　　将来的数学，应该是走中国古代数学道路，而不是国际道路，这是一条总的趋势。

简历

　　1936年8月—1940年7月，在第一交通大学(现西安交通大学和上海交通大学的前身)数学系学习并毕业．
　　1940年9月—1941年12月 上海育英中学任教员．
　　1942年9月—1945年12月上海培真中学任教员．
　　1946年1月—1946年7月上海临时大学任助教．
　　1946年8月—1947年6月上海中央研究院数学研究所实习研究员．
　　1947年11月—1951年7月法国留学，获法国国家博士学位．
　　1951年9月—1952年9月北京大学数学系教授．
　　1952年10月—1979年9月 中国科学院数学研究所研究员．
　　1956年因示性类及示嵌类的工作荣获国家第一届自然科学奖最高奖一等奖（其他两位一等奖获得者为华罗庚和钱学森）
　　1957年1月被选为中国科学院学部委员(后称院士)。
　　1958年邀请在1958年国际数学家大会 （爱丁堡）做分组报告（未能成行）
　　1958年--1970年担任中国科技大学数学系副主任。
　　1978年全国科学大会得科学大会奖
　　1979年10月—1998年中国科学院系统科学研究所研究员．
　　1984年当先选中国数学会理事长。
　　1988年7月巴黎国际数学和计算机模拟大会，被邀请为专家小组的召集人, (未成行)。
　　

江泽民为吴文俊颁发国家最高科学技术奖励

1991年当选为第三世界科学院院士。
　　1992年获得第三世界科学院数学奖
　　1993年度陈嘉庚数理科学奖
　　1994年荣获香港求是基金会“杰出科学家奖”
　　1997年获自动推理的最高奖Herbrand奖
　　1998年12月——中国科学院数学与系统科学研究院系统科学研究所研究员、名誉所长，中国数学会名誉理事长。
　　2000年获首届国家最高科学技术奖。
　　2006年邵逸夫数学奖

对数学的贡献

　　吴

文俊在数学上作出了许多重大的贡献。
　　◆ 拓扑学方面，在示性类、示嵌类等领域获得一系列成果，还得到了许多著名的公式，指出了这些理论和方法的广泛应用。他还在拓扑不变量、代数流形等问题上有创造性工作。1956年吴文俊因在拓扑学中的示性类和示嵌类方面的卓越成就获中国自然科学奖一等获。
　　◆ 数学机械化或机器证明方面，从初等几何着手，在计算机上证明了一类高难度的定理，同时也发现了一些新定理，进一步探讨了微分几何的定理证明。提出了利用机器证明与发现几何定理的新方法。这项工作为数学研究开辟了一个新的领域，将对数学的革命产生深远的影响。1978年获全国科学大会重大科技成果奖。
　　◆ 中国数学史方面，吴文俊认为中国古代数学的特点是：从实际问题出发，经过分析提高，再抽象出一般的原理、原则和方法，最终达到解决一大类问题的目的。他对中国古代数学在数论、代数、几何等方面的成就也提出了精辟的见解。
　　

胡锦涛主席看望吴文俊

吴文俊教授的数学研究活动，可分为前后两个时期，涉及到好几个数学领域， 在代数拓扑和机器证明两个领域有重大贡献，对数学研究影响深远。 前期自1947 年至70年代，以代数拓扑为主，他的贡献主要有两个方面：
　　1．示性类研究
　　通过Grassmann流形对在30年代由瑞士Stiefel，美国Whitney，苏联Pontrjajin 和陈省身通过不同途径引入的示性类进行了系统的论述，确定了名称，探讨了相应关系，并应用于流形的构造。他引入的上同调类，后来在文献中被称之为吴示性类，他提出的蕴含拓扑不变性和同伦不变性的两个公式，后来都被称之为吴公式。由于这些结果的根本重要性，在多种问题中被广泛应用，如50年代德国的Dold, 60年代德国的 Hirzebruch苏联的Novikov并因而获Fields奖，美国的Bott 与Milnor等等。
　　2. 示嵌类研究
　　他引入具有非同伦拓扑不变量的一种一般构造方法，并系统地用之于嵌入问题，引入了复合形示嵌类，并用同样方法研究浸入问题与同痕问题，引入类似的示浸类与示痕类。瑞士Haefiger由于在1958年听到了他关于上述示嵌类研究工作的讲学，于1961年将嵌入问题作了重要推广，因而成为瑞士主要拓扑专家。美国Smale应用他的工作于维数大于4的Poincare猜测，并因而获Fields奖。他后来应用关于示嵌类的成果于电路布线问题，给出线性图平面性的新的判定准则，与以往的判定准则在性质上完全不同，尤其是可计算。