拓展资源：历史资料.docVIP

吴文俊 吴文俊，中国科学院院士,第三世界科学院院士现任中国科学院系统科学研究所名誉所长，研究员；曾任中国数学会理事长，中国科学院数理学部主任，全国政协委员、常委。1919年５月出生于上海，1940年毕业于上海交通大学数学系。１９４６年赴法国Strassbourg?大学留学，1949年获法国国家博士学位。吴文俊的研究工作涉及数学的诸多领域。他在拓扑学、自动推理、机器证明、代数几何、中国数学史、对策论等研究领域均有杰出的贡献其主要成就表现在拓扑学和数学机械化两个领域。他为拓扑学做了奠基性的工作。他的示性类和示嵌类研究被国际数学界称为“吴公式”“吴示性类”“吴示嵌类”，至今仍被国际同行广泛引用，影响深远，享誉世界。７０年代后期，在计算机技术大发展的背景下，他继承和发展了中国古代数学的传统（即算法化思想），转而研究几何定理的机器证明，彻底改变了这个领域的面貌，是国际自动推理界先驱性的工作，被称为“吴方法”，产生了巨大影响。的研究取得了一系列国际领先成果并已应用于国际上当前流行的符号计算软件方面。吴文俊曾获得首届国家自然科学一等奖(1956)、中国科学院自然科学一等奖(1979)、第三世界科学院数学奖(1990)、陈嘉庚数理科学奖(1993)、首届香港求是科技基金会杰出科学家奖(1994)、Herbrand自动推理杰出成就