吴文俊

吴文俊（1919-2017）是中国著名的数学家。毕业于上海交通大学，1949年在法国取得博士学位。在拓扑学的示性类和示嵌类、数学机械化等领域中作出了重要贡献，后者得益于他对中国数学史的研究。这是近代数学史上的第一个中国原创的领域，被国际上称为“吴方法”。因病医治无效，2017年5月7日7时21分在北京不幸去世，享年98岁。

性别：男

出生日期：1919年05月12日

民族：汉族

毕业院校：法国斯特拉斯堡大学

学位：博士

所属行业：教育行业

职务：研究员

1、人物生平

吴文俊1919年5月12日出生于上海。1940年毕业于上海交通大学，1946年到中研院数学所工作。1947年赴法国斯特拉斯堡大学留学，1949年获得法国国家博士学位，随后在法国国家科学中心任研究员。新中国成立后，吴文俊于1951年回国，先后在北京大学，中国科学院数学研究所，中国科学院系统科学研究所、中国科学院数学与系统科学研究院任职。曾任中国数学会理事长、中国科学院数理学部主任、全国政协常委、2002年国际数学家大会主席，中国科学院系统所名誉所长。1957年当选为中国科学院学部委员(院士)。

吴文俊对数学的主要领域—拓扑学做出了重大贡献。他引进的示性类和示嵌类被称为“吴示性类”和“吴示嵌类”，他导出的示性类之间的关系式被称为“吴公式”。他的工作是1950年代前后拓扑学的重大突破之一，成为影响深远的经典性成果。1970年代后期，他开创了崭新的数学机械化领域，提出了用计算机证明几何定理的“吴方法”，被认为是自动推理领域的先驱性工作。他是我国最具国际影响的数学家之一，他的工作对数学与计算机科学研究影响深远。

吴文俊曾获得首届国家最高科技奖(2000)、首届国家自然科学一等奖(1956)、首届求是杰出科学家奖(1994)、邵逸夫数学奖(2006)、国际自动推理最高奖Herbrand自动推理杰出成就奖(1997)。

2、荣誉成绩

示性类研究：通过GrAssmann流形对在30年代由瑞士Stiefel，美国Whitney，苏联Pontrjajin和陈省身通过不同途径引入的示性类进行了系统的论述，确定了名称，探讨了相应关系，并应用于流形的构造。他引入的上同调类，后来在文献中被称之为吴示性类，他提出的蕴含拓扑不变性和同伦不变性的两个公式，后来都被称之为吴公式。由于这些结果的根本重要性，在多种问题中被广泛应用，如50年代德国的Dold,60年代德国的Hirzebruch苏联的Novikov并因而获Fields奖，美国的Bott与Milnor等等。

示嵌类研究：他引入具有非同伦拓扑不变量的一种一般构造方法，并系统地用之于嵌入问题，引入了复合形示嵌类，并用同样方法研究浸入问题与同痕问题，引入类似的示浸类与示痕类。瑞士Haefiger由于在1958年听到了他关于上述示嵌类研究工作的讲学，于1961年将嵌入问题作了重要推广，因而成为瑞士主要拓扑专家。美国Smale应用他的工作于维数大于4的Poincare猜测，并因而获Fields奖。他后来应用关于示嵌类的成果于电路布线问题，给出线性图平面性的新的判定准则，与以往的判定准则在性质上完全不同，尤其是可计算。应当注意的是他在1956年前完成的研究成果的重要性，在多年以后才显现出来，至今仍在国际上广泛引用。

后期始于1976年，从事机器征明与数学机械化的研究。他提出的用计算机证明几何定理的方法，与常用的基于数理逻辑的方法根本不同，显现了无比的优越性，改变了国际上自动推理研究的面貌，被称为自动推论领域的先驱性工作，并因此获得Herbrand自动推论杰出成就奖。以下是14届国际自动推论大会上对吴文俊工作的介绍与评价。

八十年代末，他提出了偏微分代数方程组的整序方法，是目前处理偏微分代数方程组的完整的构造性方法。该方法已被应用于微分几何定理机器证明和偏微分方程组求解。扩展了代数簇的通常局限无奇点情形的陈示性数于有任意奇点的陈类与陈数，且定义是可计算的，形成代数几何机械化的新篇章。他给出了多元多项式组的零点结构定理，这是构造性代数几何发展的重要标志。

1948年开始参加CNRS研究工作初任Attach?derecherches,1951年升为Chang?deRecherches国家科委攀登项目“机器证明及其应用”，任项目专家委员会首席科学家(1992年);国家科委攀登项目“数学机械化及其应用”，任专家委员会首席科学家(1996年);国家重点基础研究规划项目“数学机械化与自动推理平台”。专家委员会的首席科学家改由高小山担任，吴文俊退为专家委员会的学术指导，属顾问性质(1999年)

3、所获奖项

1956年因示性类及示嵌类的工作荣获国家第一届自然科学奖最高奖一等奖(其他两位一等奖获得者为华罗庚和钱学森);1957年1月增选为中国科学院院士;1958年邀请在1958年国际数学家大会(爱丁堡)做分组报告(未能成行);1978年全国科学大会得科学大会奖;1988年7月巴黎国际数学和计算机模拟大会，被邀请为专家小组的召集人，(未成行)。;1992年获得第三世界科学院数学奖;1993年度陈嘉庚数理科学奖;1994年荣获香港求是基金会“杰出科学家奖”;1997年获自动推理的最高奖Herbrand奖;香港城市大学名誉博士学位;2000年国家最高科学技术奖;2006年邵逸夫数学奖;2000年度国家最高科技奖。

4、因病逝世

中国科学院数学与系统科学研究院发布讣告称，首届国家最高科技奖获得者、著名数学家吴文俊院士因病医治无效，于2017年5月7日7时21分在北京不幸去世，享年98岁。