保函网

吴文俊数学家是怎样而成的

发布时间：2025-09-18 | 来源：互联网转载和整理

吴文俊

(Wentsun

WU)，男，祖籍浙江嘉兴，1919年5月12日出生于中国上海，数学家。吴文俊的研究工作涉及到数学的诸多领域其主要成就表现在拓扑学和数学机械化两个领域。他为拓扑学做了奠基性的工作。他的示性类和示嵌类研究被国际数学界称为“吴公式”、“吴示性类”、“吴示嵌类”至今仍被国际同行广泛引用。吴文俊毕业于交通大学，1949年获得法国斯特拉斯堡大学博士学位。70年代后期，在计算机技术大发展的背景下，他继承和发展了中国古代数学的传统(即算法化思想)，转而研究几何定理的机器证明，彻底改变了这个领域的面貌，是国际自动推理界先驱性的工作，被称为吴特征列方法，产生了巨大影响。吴的研究取得了一系列国际领先成果并已应用于国际上当前流行的符号计算软件方面。吴文俊现在是中国科学院系统科学研究所名誉所长，他获得多项国内外奖，1997年获自动推理领域最高奖Herbrand

Award，2006年获邵逸夫奖数学科学奖。

谢谢您。祝生活愉快。