吴文俊           ( 数学家 吴文俊院士获中国2000年度国家最高科技奖 )

吴文俊院士书库

　　吴文俊，男，1919年5月12日出生于上海。　
　　上海交通大学数学系（1936-1940）获学士学位。
　　中央研究院数学研究院实习研究员（1946-1947）。
　　法国留学（1947-1951），1949得博士学位。
　　北京大学数学系教授（1951-1952）。
　　中国科学院数学院研究院研究员（1953-1979）。
　　中国科学院系统科学院研究员（1980至今）。

　　获奖情况：

　　国家自然科学奖一等奖（1956）。
　　第三世界科学院数学奖（1990）。
　　陈嘉庚数理科学奖（1993）。
　　香港求是基金会杰出科学家奖（1994）。
　　Halnand自动推理奖（1997）。
　　国家最高科学技术奖(2001年）。
　　学术职务： 中国科学院数理学部学部委员（1956）。
　　第三世界科学院院士（1991）。

　　吴文俊院士是著名的数学家，他的研究工作涉及到数学的诸多领域。在多年的研究中取得了丰硕成果。其主要成就表现在拓扑学和数学机械化两个领域。他为拓扑学做了奠基性的工作。他的示性类和示嵌类研究被国际数学界称为“吴公式”，“吴示性类”，“吴示嵌类”，至今仍被国际同行广泛引用，影响深远，享誉世界。

　　70年代后期，在计算机技术大发展的背景下，他继承和发展了中国古代数学的传统（即算法化思想），转而研究几何定理的机器证明，彻底改变了这个领域的面貌，是国际自动推理界先驱性的工作，被称为“吴方法”，产生了巨大影响。吴的研究取得了一系列国际领先成果并已应用于国际上当前流行的符号计算软件方面。

　　吴文俊院士热爱祖国，有高尚的科学道德，是数学界德高望重的前辈，至今仍在数学机械化研究的第一线。在50多年的研究工作中，始终站在数学领域的前沿，做出了原创性研究成果。在国际上产生了重大影响。