冯火 画
中文名: 吴文俊
外文名: Wu Wen-tsün
国 籍: 中国
民 族: 汉族
出生地: 上海
出生日期: 1919年(己未年)5月12日
逝世日期: 2017年5月7日
职 业: 数学家
毕业院校:交通大学、斯特拉斯堡大学
主要成就:国家最高科学技术奖(2000年)
Herbrand自动推理杰出成就奖(1997年)
求是杰出科学家奖(1994年)
第三世界科学院数学奖(1992年)
国家自然科学奖一等奖(1956年)
代表作品: 《几何定理的机械化证明》《数学机械化》 吴文俊,1919年5月12日出生于上海,祖籍浙江嘉兴,数学家,中国科学院院士,中国科学院数学与系统科学研究院研究员,系统科学研究所名誉所长。
吴文俊毕业于交通大学数学系,1949年,获法国斯特拉斯堡大学博士学位;1957年,当选为中国科学院学部委员(院士);1991年,当选第三世界科学院院士;2001年2月,获2000年度国家最高科学技术奖。
吴文俊的研究工作涉及数学的诸多领域,其主要成就表现在拓扑学和数学机械化两个领域。他为拓扑学做了奠基性的工作;他的示性类和示嵌类研究被国际数学界称为“吴公式”,“吴示性类”,“吴示嵌类”,至今仍被国际同行广泛引用。
2017年5月7日7时21分,吴文俊在北京不幸去世,享年98岁。