吴文俊

来源：阅读, 2022, (86): 50.

<正>吴文俊(1919—2017)，著名数学家、中国科学院院士。1919年，吴文俊出生于上海。1940年，毕业于上海交通大学数学系。1957年，当选中国科学院学部委员（院士）。1990年，当选第三世界科学院院士。吴文俊的研究工作涉及数学诸多领域，在多年研究中取得了丰硕成果。其主要成就表现在拓扑学和数学机械化两个领域。他为拓扑学发展作出了杰出贡献。他的示性类和示嵌类研究被国际数学界称为“吴公式”“吴示性类”“吴示嵌类”，至今仍被国际同行广泛引用，影响深远。他的研究取得了一系列国际领先成果，并已应用于国际上当前流行的符号计算软件方面。