数学"老顽童"吴文俊逝世:爱侦探小说 吴文俊个人经历全家福曝光

　　回国后，吴文俊先后在北京大学，中国科学院数学研究所，中国科学院系统科学研究所、中国科学院数学与系统科学研究院任职。曾任中国数学会理事长、中国科学院数理学部主任、全国政协常委、2002年国际数学家大会主席，中国科学院系统所名誉所长。1957年当选为中国科学院学部委员(院士)。

　　吴文俊对数学的主要领域—拓扑学做出了重大贡献。他的工作是1950年代前后拓扑学的重大突破之一，成为影响深远的经典性成果。1970年代后期，他开创了崭新的数学机械化领域，提出了用计算机证明几何定理的“吴方法”，被认为是自动推理领域的先驱性工作。

　　吴文俊曾获得首届国家最高科技奖(2000)、首届国家自然科学一等奖(1956)、首届求是杰出科学家奖(1994)、邵逸夫数学奖(2006)、国际自动推理最高奖Herbrand自动推理杰出成就奖(1997)。