编者按：
他是数学界的“泰斗”，他的示性类和示嵌类研究被国际数学界称为“吴公式”，“吴示性类”，“吴示嵌类”，至今仍被国际同行广泛引用。他就是吴文俊。
吴文俊，早年毕业于上海交通大学数学系，1949年获法国Strassbourg大学博士学位，1957年当选为中科院学部委员(院士)，现任中国科学院系统科学研究所名誉所长，1991年吴老当选第三世界科学院院士。
吴文俊在拓扑学、自动推理、机器证明、代数几何、中国数学史、对策论等研究领域均有杰出的贡献，尤其是他在拓扑学的示性类、示嵌类的研究方面取得一系列重要成果，是拓扑学中的奠基性工作，并有许多重要应用。他创立的“吴文俊方法”，更是在国际机器证明领域产生巨大的影响，有广泛的重要的应用价值。1991年，吴文俊任国家科委攀登项目“机器证明及其应用”首席科学家。
作者：郭曰方
朗诵：王世贵