【摘要】 吴文俊院士是中国数学领域的领军人物,在国际数学界也具有崇高声誉和重要影响。吴文俊在拓扑学、自动推理、机器证明、代数几何、中国数学史、对策论等研究领域均有杰出的贡献。在拓扑学方面提出了著名的"吴示性类"及"吴示嵌类";在中国古代数学的研究上,提出数学机械化思想,这一思想在国际上被称为"吴方法"。更多还原

【Abstract】 Wu Wenjun is the leaderof Chinese Mathematics.He also hasa high reputation in in-ternational mathematics domain.He has done so many outstanding contributions in topology,auto-matic reasoning,machine proved,algebraic geometry,Chinese history of mathematic,the game theo-ry.He presented famous Wu’s characteristic class and Wu’s imbedding class in topology and famous Mechanization of Mathematics which is so called Wu’s method in international in research of histo-ry of mathematics.更多还原