献给吴文俊院士：数学王国中自由翱翔的雄鹰

编者按：

他是数学界的“泰斗”，他的示性类和示嵌类研究被国际数学界称为“吴公式”，“吴示性类”，“吴示嵌类”，至今仍被国际同行广泛引用。

他就是吴文俊。

吴文俊，早年毕业于上海交通大学数学系，1949年获法国Strassbourg大学博士学位，1957年当选为中科院学部委员(院士)，现任中国科学院系统科学研究所名誉所长，1991年吴老当选第三世界科学院院士。

吴文俊在拓扑学、自动推理、机器证明、代数几何、中国数学史、对策论等研究领域均有杰出的贡献，尤其是他在拓扑学的示性类、示嵌类的研究方面取得一系列重要成果，是拓扑学中的奠基性工作，并有许多重要应用。

他创立的“吴文俊方法”，更是在国际机器证明领域产生巨大的影响，有广泛的重要的应用价值。

1991年，吴文俊任国家科委攀登项目“机器证明及其应用”首席科学家。

https://v.qq.com/txp/iframe/player.html?vid=q0368xsst7t&width=500&height=375&auto=0

作者：郭曰方

朗诵：王世贵

转自科学大院