双语科技百科(近现代成就) 第101期:吴文俊及"吴方法"

Wu Wenjun and Wu's Method

吴文俊及“吴方法”

wu Wenjun, a well known mathematician, born in Shanghai in May 1919, graduated from Shanghai Jiaotong University in 1940. In 1947,he went to France for advanced study in University of Strassbourg. In 1949, he obtained his national doctor s degree of 1957, he was elected as an academician of Chinese Academy of Sciences ( CAS). In 1990, he was elected as an academician of the Third World Academy of Sciences.

吴文俊，1919年5月12日出生于中国上海，著名的数学家，1940年毕业于上海交通大学，1949年获得法国斯特拉斯堡大学博士学位。1957年，他被选举为中国科学院( CAS)的院士。1990年，被选举为第三世界科学院科学院士。

His research work covered a wide area of main achievements involved two areas of topology and mathematical mechanization. In the late 1970s, against the background of great development of computer technology, he has inherited and developed the tradition of ancient Chinese mathematics (that is, algorithm of thinking), and turned to study automated theorem proving, completely changed the face of this area. As a disciplinary precursor, Wu made monumental contributions to the field of topology by introducing Wu's imbedding and characteristic classes and establishing Wu's Formulae, well-known for Wu's Method, which have been widely accepted by his counterparts and had exerted worldwide influence. Wu's research has made a series of international leading results and has been applied internationally popular symbolic computation software.

吴文俊的研究工作涉及数学的诸多领域，其主要成就表现在拓扑学和数学机械化两个领域。他为拓扑学做了奠基性的工作。20世纪70年代后期，在计算机技术大发展的背景下，他继承和发展了中国古代数学的传统（即算法化思想），转而研究几何定理的机器证明，彻底改变了这个领域的面貌，是国际自动推理界先驱性的工作。他的示性类和示嵌类研究被国际数学界称为“吴公式”，“吴示性类”，“吴示嵌类”，并在国际上产生了深远影响，被称为“吴方法”。吴的研究取得了一系列国际领先成果并已应用于国际上当前流行的符号计算软件方面。