荣获“首届国家最高科学技术奖”的吴文俊院士,是中国现当代最杰出的数学家之一。他早年留学法国时,就已在拓扑学方面做出了重要贡献,提出了后来以他的名字命名的“吴公式”和“吴示性类”。他关于示性类与示嵌类的研究,已成为20世纪拓扑学的经典,同时也使国际数学界对中国拓扑学的成就刮目相看;20世纪70年代以来,吴文俊院士在汲取中国古代数学精髓的基础上,开创了崭新的现代数学领域——数学机械化。他发明的被国际上誉为“吴方法”的数学机械化方法,改变了国 Wu Wenjun, who won the First State Supreme Science and Technology Award, is one of the most outstanding modern mathematicians in China. When he was studying in France in his early years, he had made an important contribution to topology and proposed “Wu formula” and “Wu class” which was named after him. His researches on the categories of demonstratives and demonstrations have become the classic of topological studies in the 20th century. At the same time, his achievements in the field of Chinese topological studies have been widely admired. Since the 1970s, Academician Wu Wenjun has learned the essence of ancient Chinese mathematics Based on, creating a new field of modern mathematics - mathematical mechanization. He invented the method of mathematical mechanization internationally praised as “Wu method ”, changing the country