2000年度 吴文俊
发布时间:2015-11-07 17:58

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


版权所有 © 国家科学技术奖励工作办公室
业务咨询电话:010-68537564 网站技术支持电话:010-68598100
地址:中国·北京2143信箱三里河路54号 邮政编码:100045 京ICP备05036738号