 吴文俊研究员，1949年获法国国家博士学位，1957年当选为中国科学院院士，1991年当选为第三世界科学院院士。现任中国科学院系统科学研究所名誉所长。曾任中国科学院数理学部主任、中国数学会理事长、第五至第八届全国政协常委。他在拓扑学、自动推理、机器证明、代数几何、中国数学史、对策论等研究领域均有杰出贡献，在国内外享有盛誉。他在拓扑学的示性类、示嵌类的研究方面取得了一系列重要成果，是拓扑学中的奠基性工作并有许多重要应用。他的“吴方法”在国际机器证明领域产生了巨大影响，有广泛重要的应用价值。当前国际流行的主要符号计算软件都实现了吴文俊教授的算法。1991年任国家科委攀登项目“机器证明及其应用”首席科学家。1986年在国际数学家大会上做邀请报告。从1956年到2000年曾先后获得国家自然科学一等奖、第三世界科学院数学奖、陈嘉庚数理科学奖、香港求是科技基金会杰出科学家奖、国际Herbrand自动推理杰出成就奖、首届国家最高科学技术奖。 |