永远的攀登者吴文俊

摘要

＜正＞吴文俊,1919年出生,早年毕业于上海交通大学数学系,1949年荻法国Strassbourg大学博士学位,1957年当选为中科院学部委员（后改为院士）。现任中国科学院系统科学研究所名誉所长。1991年当选第三世界科学院院士。吴文俊在拓扑学、自动推理、机器证明、代数几何、中国教学史、对策论等研究领域均有杰出的贡献,在国内外事有盛誉。他在拓扑学的示性类、示嵌类的研究方面取得的一系列重要成果,是拓扑学中的英基性工作,并有许多重要应用。他创立的"吴文俊方法"在国际机器证明领城产生巨大的影响,有广