数学手抄报的素材

 

　　数学手抄报的素材：数学家吴文俊

　　吴文俊(Wentsun WU)，男，祖籍浙江嘉兴人，1919年5月12日出生于中国上海，数学家。吴文俊的研究工作涉及到数学的诸多领域其主要成就表现在拓扑学和数学机械化两个领域。他为拓扑学做了奠基性的工作。他的示性类和示嵌类研究被国际数学界称为“吴公式”、“吴示性类”、“吴示嵌类”至今仍被国际同行广泛引用。

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

　　吴文俊现在是中国科学院系统科学研究所名誉所长，他获得多项国内外奖，1997年获自动推理领域最高奖Herbrand Award ，2006年获邵逸夫奖数学科学奖。

　　编号第7683号小行星被永久命名为“吴文俊星”。

　　吴文俊1940年毕业于交通大学数学系，1949年获法国国家博士学位。世界著名数学家， 中国科学院数学与系统科学研究院系统科学研究所研究员、名誉所长，中国数学会名誉理事长。中国数学机械化研究的创始人之一，现任中国科学院系统科学研究所名誉所长、研究员，中国科学院院士，第三世界科学院院士;曾任中国数学会理事长(1985-1987)，中国科学院数理学部主任(1992-1994)，全国政协委员、常委(1979-1998)。

　　他在拓扑学、自动推理、机器证明、代数几何、中国数学史、对策论等研究领域均有杰出的 贡献，在国内外享有盛誉。他在拓扑学的示性类、示嵌类的研究方面取得一系列重要成果，是拓扑学中的奠基性工作并有许多重要应用。他的“吴方法”在国际机器证明领域产生巨大的影响，有广泛重要的应用价值。当前国际流行的主要符号计算软件都实现了吴文俊教授的算法。

　　曾获得首届国家自然科学一等奖(1956)、中国科学院自然科学一等奖(1979)、第三世界科学院数学奖(1990)、陈嘉庚数理科学奖(1993)、首届香港求是科技基金会杰出科学家奖(1994)、Herbrand自动推理杰出成就奖(1997)、首届国家最高科学技术奖(2000)、第三届邵逸夫数学奖(2006)。

 

　　2010年5月4日，国际小行星中心先后发布公报通知国际社会，将国际永久编号第7683号小行星永久命名为“吴文俊星”。