首页 百年院士名录 科学人生展览
当前位置：首页 >>吴文俊
数学物理学部，数学家
1919.5.12-2017.5.7
数学物理学部，数学家
曾任中国科学院数学与系统科学研究院系统科学研究所研究员、名誉所长，中国数学会名誉理事长。中国数学机械化研究的创始人。20世纪50年代在示性类、示嵌类等研究方面取得吴文俊公式、吴文俊示性类等一系列突出成果，并有许多重要应用。70年代创立了定理机器证明的“吴方法”，影响巨大，具有重要应用价值，将引起数学研究方式的变革。 1956年获国家自然科学奖一等奖，1989年获第三世界科学院奖，1993年获陈嘉庚数理科学奖，1994年获求是基金杰出科学家奖，获2000年度首届国家最高科学技术奖。
特别报道 SPECIAL REPORT 更多报道
图片说PICTURE THEORY 更多报道
出生于上海
1919年
1940年
毕业于上海交通大学
考取中法交换生，进入斯特拉斯堡大学
1947年
1951年
回国任北京大学数学系教授
任中国科学院数学研究所研究员
1952年
1956年
获国家自然科学奖一等奖
被选聘为中国科学院学部委员(院士)
1957年
1993年
获陈嘉庚数理科学奖
获首届国家最高科学技术奖
2000年
2017年
逝世