论文部分内容阅读
吴文俊,1919年出生,早年毕业于上海交通大学数学系,1949年荻法国Strassbourg大学博士学位,1957年当选为中科院学部委员(后改为院士)。现任中国科学院系统科学研究所名誉所长。1991年当选第三世界科学院院士。吴文俊在拓扑学、自动推理、机器证明、代数几何、中国教学史、对策论等研究领域均有杰出的贡献,在国内外事有盛誉。他在拓扑学的示性类、示嵌类的研究方面取得的一系列重要成果,是拓扑学中的英基性工作,并有许多重要应用。他创立的“吴文俊方法”在国际机器证明领城产生巨大的影响,有广
Wu Wenjun, born in 1919, graduated early in mathematics from Shanghai Jiao Tong University. In 1949, he received a doctorate from Strassbourg University in France. In 1957, he was elected a member of the Chinese Academy of Sciences (later renamed as an 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. Wu Wenjun in topology, automatic reasoning, machine certification, algebraic geometry, the history of Chinese teaching, game theory and other research have outstanding contributions, both at home and abroad have a good reputation. A series of important achievements he made in the study of the topological demonstrative classes and the embedded classes are topical English work and have many important applications. He founded the “Wu Wenjun method ” in the international machinery to prove a huge impact, there is wide