吴文俊简介
基本资料
中文名：吴文俊
外文名：Wu Wen-tsün
国籍：中国
民族：汉族
出生地：上海
出生日期：1919年（己未年）5月12日
逝世日期：2017年5月7日
职业：数学家
毕业院校：交通大学、斯特拉斯堡大学
主要成就：国家最高科学技术奖（2000年） Herbrand自动推理杰出成就奖（1997年） 求是杰出科学家奖（1994年） 第三世界科学院数学奖（1992年） 国家自然科学奖一等奖（1956年）
代表作品：《几何定理的机械化证明》《数学机械化》
人物生平
1919年（中华民国八年）5月12日，吴文俊出生于上海，祖籍浙江嘉兴，因战乱迁至地势高、远离战乱的青浦县朱家角。吴文俊自幼受父亲民主思想熏陶。他是长子，下有两妹一弟。他4岁时被送到弄堂里的文蔚小学读书，课程简单，因此有许多空余时间。
1932年（中华民国二十一年），上海“一·二八”事变爆发后，吴文俊被送回浙江嘉兴老家，躲避战乱。半年之后，他返回上海继续读书。
1933年（中华民国二十二年）秋，吴文俊就读于正始中学，这才是他正规读书生涯的开始。吴文俊高中毕业时，其实兴趣在物理而不在数学。一次物理考试题很难，他却成绩出色。毕业时校方讨论保送，物理老师却以他独特的目光推荐他学数学。他认定自己物理考得好的原因在于数学，而攻读数学才能使他的才能得到更好更多的发挥。
1936年（中华民国二十五年），吴文俊被保送至交通大学数学系。大三学实变函数论，他以自学为主，读经典著作。有了实变函数论的基础，很快进入康托尔集
主要成就
在拓扑学方面的贡献
拓扑学是现代数学的支柱之一，也是许多数学分支的基础。吴文俊从1946年开始研究拓扑学，1974年后转向中国数学史研究，30年中在拓扑学领域取得了一系列重大成果，其中最著名的是“吴示性类”与“吴示嵌类”的引入以及“吴公式”的建立。
示性类是刻画流形与纤维丛的基本不变量，1940年后开始起步研究瑞士的Stiefel，美国的Whitney，前苏联的Pontrjagin和陈省身等著名数学家先后从不同角度引入示性类的概念，但大都是描述性的。吴文俊将示性类概念从繁化简，从难变易，形成了系统的理论。他分析了Stiefel示性类，Whitney示性类Pontrjagin示性类和陈示性类之间的关系，指出陈示性类可以导出其他示性类，反之则不成立。他在示性类研究中还引入了新的方法和手段.在微分情形，吴文俊引出了一类示性类，被称为吴示性类。它不但是抽述性的抽象概念，而且是可具体计算的。吴文俊给出了S
社会兼职
1979年10月-1984年2月，中国科学院系统所副所长
1984年2月起，中国科学院系统所名誉所长
1984年-1987年，中国数学会理事长
1990年8月-1999年5月，中国科学院系统所数学机械化研究中心主任
1992年4月-1996年4月，中国科学院数理学部主任
1996年，任天元基金领导小组组长（接替原组长程民德教授）
1978年12月-1983年2月，第五届全国政治协商会议常委
1983年3月-1988年2月，第六届全国政治协商会议常委
1988年3月-1993年2月，第七届全国政治协商会议常委
1993年3月-1998年2月，第八届全国政治协商会议常委
人物影响
2010年5月4日，国际小行星中心先后发布公报通知国际社会，将国际永久编号第7683号小行星永久命名为“吴文俊星”。
2011年，中国科学技术大学以中国科学技术大学数学所为基础组建了中国科学院吴文俊数学重点实验室。
人物评价
长期以来，吴老站在数学科学的前沿，潜心研究，勇于探索，取得了一系列原创性成就，特别是在拓扑学、数学机械化领域作出了杰出贡献，为国家、为民族争了光。（原中共中央总书记、国家主席胡锦涛评）
辛勤的努力和杰出的贡献，获得了国际学术界的广泛认可，为我国科技界争得了荣誉，也为青年学者树立了榜样。（中国科学院原院长路甬祥评）
天资聪慧，有数学天赋。是一位杰出的数学家，他的工作表现出丰富的想象力及独创性。他从事数学教研工作，数十年如一日，贡献卓著……（数学家、中国科学院外籍院士陈省身评）