Wu Wenjun and Wus 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 France.In 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 mathematics.lts 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 Wus imbedding and characteristic classes and establishing Wus Formulae, well-known for Wus Method, which have been widely accepted by his counterparts and had exerted worldwide influence. Wus research has made a series of international leading results and has been applied internationally popular symbolic computation software.吴文俊的研究工作牵涉到数学的诸多领域,其主要成就展现出在拓扑学和数学机械化两个领域。他为拓扑学做到了奠基性的工作。20世纪70年代后期,在计算机技术大发展的背景下,他承继和发展了中国古代数学的传统(即算法化思想),转而研究几何定理的机器证明,彻底改变了这个领域的面貌,是国际自动推理小说界先驱性的工作。