吴文俊

吴文俊（1919年5月12日－2017年5月7日），浙江嘉兴人，出生于上海，毕业于交通大学，是中国著名的数学家。吴文俊的研究工作涉及到数学的诸多领域其主要成就表现在拓扑学和数学机械化两个领域。他为拓扑学做了奠基性的工作。他的示性类和示嵌类研究被国际数学界称为“吴公式”、“吴示性类”、“吴示嵌类”至今仍被国际同行广泛引用。吴文俊现在是中国科学院系统科学研究所名誉所长，1997年获自动推理领域最高奖Herbrand Award，2006年获邵逸夫奖数学科学奖。编号第7683号小行星被永久命名为“吴文俊星”。2017年5月7日7时21分，吴文俊在北京不幸去世，享年98岁。