当前位置: 首页 >> 校友服务 >> 知名校友 >> 中国科学院院士 >> 正文
知名校友

吴文俊


 

上海市人。1940年毕业于交通大学,1949年获法国斯特拉斯堡大学博士学位。历任北京大学教授,中国科学院数学研究所研究员,数学机械化研究中心主任等职。在拓扑学,在示性类、示嵌类等领域获得一系列重要成果。创立了定理机器证明的“吴方法”,被国际同行认为是数学研究方式的变革。1984年当选为中国数学学会理事长。2000年获首届国家最高科学技术奖。

 

 1957年当选为中国科学院院士。

 

关闭