吴文俊，1919年出生，1957年当选为中科院学部委员（后改为院士）。现任中国科学院系统科学研究所名誉所长。1991年当选第三世界科学院院士。在拓扑学、自动推理、机器证明、代数几何、中国数学史、对策论等研究领域均有杰出的贡献，在国内外享有盛誉。他在拓扑学的示性类、示 Wu Wenjun, born in 1919, was elected member of the Chinese Academy of Sciences in 1957 (later renamed the academician). Now the honorary director of Institute of Systems Science, Chinese Academy of Sciences. In 1991 was elected to the Third World Academy of Sciences. In topology, automatic reasoning, machine certification, algebraic geometry, the history of Chinese mathematics, game theory and other research have outstanding contributions, reputation at home and abroad. He is an illustrative class in topology, shown