吴文俊(Wentsun Wu) ─ 2006年度邵逸夫数学科学奖得奖人及2004-2005年邵逸夫奖数学科学奖遴选委员会主席﹑中国数学会主席及中央科学研究院院士,于2017年5月7日在中国北京离世,享年98岁。

吴文俊在拓朴学﹑自动推理﹑机器证明﹑代数几何﹑中国数学史﹑对策论等研究领域均有杰出的贡献,尤其是在拓朴学的示性类及示嵌类的研究方面,他取得一系列重要成果,是拓朴学中的奠基性工作并有许多重要应用,国际数学界称为“吴公式”及“吴示性”便是以他为名。再者,他的“吴方法”在国际机器证明领域产生巨大的影响,有广泛重要的应用价值。例如目前国际流行的主要符号计算软件都实现了吴文俊的算法。除此以外,他在中国的数学历史上亦十分活跃,是十卷《中国数学史大系》的主编。

吴教授的逝世是数学界重大的损失,邵逸夫奖基金会谨向他的家人、同事及朋友致以最诚挚的慰问。


2017年5月9日