首届科技奖得主吴文俊逝世 个人资料背景回顾
吴文俊1919年5月12日出生于上海，1940年毕业于上海交通大学，1946年到中研院数学所工作。1947年赴法国斯特拉斯堡大学留学，1949年获得法国国家博士学位，随后在法国国家科学中心任研究员。吴文俊的研究工作涉及数学的诸多领域，其主要成就表现在拓扑学和数学机械化两个领域。他为拓扑学做了奠基性的工作，他的示性类和示嵌类研究被国际数学界称为“吴公式”，“吴示性类”，“吴示嵌类”，至今仍被国际同行广泛引用。
吴文俊个人资料
中 文 名：吴文俊
外 文 名：Wu Wen-tsün
国 籍：中国
民 族：汉族
出 生 地：上海
出生日期：1919年5月12日
逝世日期：2017年5月7日
毕业院校：交通大学、斯特拉斯堡大学
主要成就：国家最高科学技术奖（2000年）
Herbrand自动推理杰出成就奖（1997年）
求是杰出科学家奖（1994年）
第三世界科学院数学奖（1992年）
国家自然科学奖一等奖（1956年）
代表作品：《几何定理的机械化证明》《数学机械化》
吴文俊具有强烈的爱国心，新中国成立后，吴文俊于1951年回国，参加社会主义建设。吴文俊对数学的主要领域—拓扑学做出了重大贡献，他引进的示性类和示嵌类被称为“吴示性类”和“吴示嵌类”，他导出的示性类之间的关系式被称为“吴公式”。
吴文俊的工作是1950年代前后拓扑学的重大突破之一，成为影响深远的经典性成果。1970年代后期，他开创了崭新的数学机械化领域，提出了用计算机证明几何定理的“吴方法”，被认为是自动推理领域的先驱性工作。他是我国最具国际影响的数学家之一，他的工作对数学与计算机科学研究影响深远。
1919年5月12日，吴文俊出生于上海，祖籍浙江嘉兴，因战乱迁至地势高、远离战乱的青浦县朱家角。吴文俊自幼受父亲民主思想熏陶，他是长子，下有两妹一弟。他4岁时被送到弄堂里的文蔚小学读书，课程简单，因此有许多空余时间。上海“一·二八”事变爆发后，吴文俊被送回浙江嘉兴老家，躲避战乱。半年之后，他返回上海继续读书。
1933年秋，吴文俊就读于正始中学，这才是他正规读书生涯的开始。吴文俊高中毕业时，其实兴趣在物理而不在数学。一次物理考试题很难，他却成绩出色。毕业时校方讨论保送，物理老师却以他独特的目光推荐他学数学。他认定吴文俊物理考得好的原因在于数学，而攻读数学才能使他的才能得到更好更多的发挥。
据了解，吴文俊曾获得首届国家最高科技奖、首届国家自然科学一等奖、首届求是杰出科学家奖、有东方诺贝尔奖之称的邵逸夫数学奖、国际自动推理最高奖Herbrand自动推理杰出成就奖。此外，吴文俊培养的许多学生成为所在领域的领军人物，他建立的数学机械化重点实验室是国际符号计算领域最主要的研究中心之一。
