English


2000年度国家最高科学技术奖获得者——吴文俊

2018-01-05 18:52 来源:国家科学技术奖励工作办公室 
2018-01-05 18:52:51来源:国家科学技术奖励工作办公室作者:责任编辑:赵清建

2000年度国家最高科学技术奖获得者——吴文俊

  吴文俊,男,1919年5月出生,1957年当选中国科学院学部委员(院士),1990年当选第三世界科学院院士。著名数学家。他的研究工作涉及到数学诸多领域,在多年研究中取得了丰硕成果。其主要成就表现在拓扑学和数学机械化两个领域。他为拓扑学发展做出了杰出贡献。他的示性类和示嵌类研究被国际数学界称为“吴公式”,“吴示性类”,“吴示嵌类”,至今仍被国际同行广泛引用,影响深远,享誉世界。上世纪70年代后期,他继承和发展了中国古代数学的传统(即算法化思想),转而研究几何定理的机器证明,彻底改变了这个领域的面貌,是国际自动推理界先驱性的工作,被称为“吴方法”。他的研究取得了一系列国际领先成果并已应用于国际上当前流行的符号计算软件方面。吴文俊是数学界德高望重的前辈,他始终站在数学领域的前沿,做出了原创性研究成果,在国际上产生了重大影响。2000年,吴文俊荣获国家最高科学技术奖。2001年,经国际天文学联合会小天体命名委员会批准,中国科学院国家天文台发现并获得国际永久编号的第7683号小行星永久命名为“吴文俊星”。

[责任编辑:赵清建]

手机光明网

光明网版权所有

光明日报社概况 | 关于光明网 | 报网动态 | 联系我们 | 法律声明 | 光明员工 | 光明网邮箱 | 网站地图

光明网版权所有