您现在的位置: 首页 >  院士信息 >  已故院士名单
院士信息

吴文俊

 

【字号:    
吴文俊

数学家 19195月生于上海。1940年毕业于上海交通大学。1949年获法国国家科学博士学位。1957年被选聘为中国科学院学部委员(院士)1991年当选为第三世界科学院院士。中国科学院数学与系统科学研究院系统科学研究所研究员、名誉所长,中国数学会名誉理事长。 

中国数学机械化研究的创始人。20世纪50年代在示性类、示嵌类等研究方面取得吴文俊公式、吴文俊示性类等一系列突出成果,并有许多重要应用。70年代创立了定理机器证明的“吴方法”,影响巨大,具有重要应用价值,将引起数学研究方式的变革。 1956年获国家自然科学奖一等奖,1989年获第三世界科学院奖,1993年获陈嘉庚数理科学奖,1994年获求是基金杰出科学家奖,获2000年度首届国家最高科学技术奖。  

导航
首页
学部介绍
院士信息
院士大会
院士增选
智库建设
出版物
学部工作局
动态
学部动态
媒体报道
咨询评议
学术交流
科普活动
院士动态
专题
2017中科院院士增选
陈嘉庚科学奖
科学与中国
学术引领
科学人生·百年
院士文库
缅怀院士
中科院第十八次院士大会
纪念学部成立60周年
院士口述故事
工具栏
院士邮箱系统
院士增选系统
学部咨询项目管理系统
学部学科项目管理系统
学部局综合办公平台