吴文俊

2015年02月28日 点击:[]

吴文俊(1919~),上海市人。中国当代著名数学家。中国科学院院士。1940年毕业于交通大学数学系。1949年在法国斯特拉斯堡大学获法国国家科学博士学位。1952年至1979年任中国科学院数学所副所长、研究员。1979年至今任中国科学院系统科学研究所副所长、名誉所长、研究员。1957年被选为中国科学院学部委员。1990年被第三世界科学院选为院士。研究工作涉及到数学的诸多领域,其主要成就表现在拓扑学和数学机械化两个领域。为拓扑学做出了奠基性的工作,他的示性类和示嵌类研究被国际数学界称为“吴公式”、“吴示性类”、“吴示嵌类”,至今仍被国际同行广泛引用。20世纪70年代后期,在计算机技术大发展的背景下,他继承和发展了中国古代数学的传统(即算法化思想),转而研究几何定理的机器证明,彻底改变了这个领域的面貌,取得了一系列国际领先成果,并已应用于国际上当前流行的符号计算软件方面。2001年获首届“国家最高科学技术奖”。他热爱祖国,具有高尚的科学道德,是数学界德高望重的老前辈。在50多年的研究工作中,做出了许多原创性研究成果,在国际上产生了重大影响。