吴文俊：为现代数学开拓新天地

　　这是吴文俊院士（2014年5月15日摄）。新华社记者 金立旺 摄

　　吴文俊对数学的主要领域——拓扑学作出了重大贡献。他引进的示性类和示嵌类被称为“吴示性类”和“吴示嵌类”，他导出的示性类之间的关系式被称为“吴公式”，是上世纪五十年代前后拓扑学的重大突破之一，成为影响深远的经典性成果。上世纪七十年代后期，他开创了崭新的数学机械化领域，提出了用计算机证明几何定理的“吴方法”，被认为是自动推理领域的先驱性工作。他是我国最具国际影响的数学家之一，其工作对数学与计算机科学研究影响深远。

　　拓扑学被称为“现代数学的女王”。上世纪50年代前后，吴文俊由繁化简、由难变易，提出“吴示性类”“吴公式”等，为拓扑学开辟了新的天地。

　　他的工作起到了承前启后的作用，令国际数学界瞩目，也因此成为影响深远的经典性成果。吴文俊的工作被五位国际数学最高奖——菲尔兹奖得主引用，许多著名数学家从中受到启发或直接以他的成果为起始点之一。

　　“对纤维丛示性类的研究做出了划时代的贡献。”数学大师陈省身这样称赞吴文俊。1956年，吴文俊获得首届国家自然科学一等奖。

　　到了上世纪70年代后期，吴文俊又提出用计算机证明几何定理的“吴方法”，开创了近代数学史上的第一个由中国人原创的研究领域——数学机械化，实现将繁琐的数学运算证明交由计算机来完成的目标。

　　这一理论后来被应用于多个高技术领域，解决了曲面拼接、机构设计、计算机视觉、机器人等高技术领域核心问题。2011年，中国人工智能学会发起设立了“吴文俊人工智能科学技术奖”。

　　吴文俊的各项独创性研究工作使他在国际、国内享有很高的声誉。2010年，经国际天文学联合会小天体命名委员会批准，国际编号第7683号小行星被永久命名为“吴文俊星”。