吴文俊

维基百科,自由的百科全书
跳转至: 导航搜索
吴文俊
出生 (1919-05-12)1919年5月12日
中華民國上海
逝世 2017年5月7日2017-05-07
 中国北京
国籍  中国
研究領域 数学
母校 交通大学
斯特拉斯堡大学
博士導師 夏尔·埃雷斯曼
博士生 王东明 (数学家)
著名獎項 邵逸夫奖 (2006)
国家最高科学技术奖 (2000)

吴文俊(1919年5月12日-2017年5月7日),浙江嘉兴人,出生于中國上海数学家。吴文俊的研究工作涉及到数学的诸多领域其主要成就表现在拓扑学数学机械化两个领域。他为拓扑学做了奠基性的工作。他的示性类和示嵌类研究被国际数学界称为“吴公式”、“吴示性类”、“吴示嵌类”至今仍被国际同行广泛引用。

生平[编辑]

1940年毕业于交通大学,随后在一所中学任教。1945年在浙江之江大学任教。1946年,陈省身将他招入中央研究院数学所,指导他进行拓扑学研究。1947年赴法求学,1949年获得法国斯特拉斯堡大学博士学位。1951年返回中国大陆,被聘为北京大学数学系教授。1952年,任中国科学院数学所研究员。1980年,调往中国科学院系统科学研究所。1998年,转入新成立的中国科学院数学与系统科学研究院[1]

从1946年到1951年,主要从事施蒂费尔-惠特尼示性类的研究工作。从1953年到1957年,主要从事庞特里亚金示性类的研究工作。其后,转向示嵌类的研究。70年代后期,在计算机技术大发展的背景下,吴文俊继承和发展了中國古代数学的传统的算法化思想,转而研究几何定理的机器证明,彻底改变了这个领域的面貌,是国际自动推理界先驱性的工作,被称为吴特征列方法,产生了巨大影响。吴文俊的研究取得了一系列国际领先成果并已应用于国际上当前流行的符号计算软件方面。

曾任中国数学会理事长(1985-1987),中国科学院数理学部主任(1992-1994),全国政协委员、常委(1979-1998),2002年国际数学家大会主席,1993年开始任中国科学院系统所名誉所长。

曾获得多项国内外奖:1956年获首届国家自然科学一等奖;1957年增选为中国科学院学部委员(院士);1990年荣获第三世界科学院数学奖;1993年获陈嘉庚科学奖数理科学奖;1994年获首届香港求是杰出科学家奖;1997年获自动推理领域最高奖埃尔布朗奖;2000年获中华人民共和国国家最高科学技术奖;2006年获邵逸夫獎数学科学奖。

编号第7683号小行星被永久命名为“吴文俊星”。

2017年5月7日,因病医治无效,在北京去世,享年98岁[2]

著作[编辑]

  • 吴文俊 《数学机械化》 中国科学出版社 2003
  • 《吴文俊文集》 山东教育出版社 1986
  • 吴文俊 《力学在几何中的一些应用》 科学出版社 2002
  • 吴文俊主编 《中国数学史大系》 1-10卷 北京师范大学出版社
  • Wen-Tsun, Wu:Rational Homotopy Type: A Constructive Study Via the Theory of the I*-Measure ISBN 0-387-13611-8
  • Wen-tsun, Wu & Min-de, Cheng, CHINESE MATHEMATICS INTO THE 21ST CENTURY
  • Wen-tsun, Wu, A THEORY OF IMBEDDING IMMERSION AND ISOTOPY OF POLYTOPES IN A EUCLIDEAN SPACE
  • Wen-tsun, Wu,Mechanical Theorem Proving in Geometries. ISBN 3211825061
  • Wen-Tsun, Wu; Georges Reeb:Sur Les Espaces Fibres Et Les Varietes Feuilletees
  • SELECT WORKS OF WEN-TSUN WU ISBN 9789812791078
  • Wen-tsun, Wu: Mathematics Mechanization: Mechanical Geometry Theorem-Proving, Mechanical Geometry Problem-Solving and Polynomial Equations-Solving ISBN 0-7923-5835-X
  • Wen-Tsun, Wu, and Hu Guo-Ding, eds, Computer Mathematics ISBN 9810215282

参考文献[编辑]

  1. ^ 中国院士——吴文俊. 科技日报. 2007-06-14 [2016-09-22]. (原始内容存档于2016-09-29). 
  2. ^ 首届国家最高科技奖得主吴文俊院士逝世. 科学网. 2017-05-07 [2017-05-07]. 

外部链接[编辑]