当前位置：首页 ›› 数学家介绍 ›› 数学家介绍 ›› 吴文俊
【 注册 | 登陆 】
-
吴文俊
- 作者:佚名
- 发表日期:十月 01, 2007
- 浏览:173次
-
收藏本文
- 编者导读:资深院士 数学家。上海人。1940年毕业于上海交通大学。1949年获法国国家科学研究中心博士学位。1991年当选为第三世界科学院院士。中国科学院数学与系统科学研究院系统科学研究所研究员、名誉所长，中国数学会名誉理事长。中国数学机械化研究的创始人之一。50年代在示性类、示嵌类等研究方面取得吴文俊公式、吴文俊示性类等一系列突出成果，并有许多重要应用。70年代创立了定理机器证明的“吴方法”，影响巨大，有重要应用价值，它将引起数学研究方式的变革。2000年获首届国家最高科学技术奖。1957年选聘为中国科学院院士（学部委员)
- 资深院士
数学家。上海人。1940年毕业于上海交通大学。1949年获法国国家科学研究中心博士学位。1991年当选为第三世界科学院院士。中国科学院数学与系统科学研究院系统科学研究所研究员、名誉所长，中国数学会名誉理事长。中国数学机械化研究的创始人之一。50年代在示性类、示嵌类等研究方面取得吴文俊公式、吴文俊示性类等一系列突出成果，并有许多重要应用。70年代创立了定理机器证明的“吴方法”，影响巨大，有重要应用价值，它将引起数学研究方式的变革。2000年获首届国家最高科学技术奖。
1957年选聘为中国科学院院士（学部委员)
-
前一篇:田刚下一篇:陈景润
- 【引用地址】http://www.suanshu.net/list/4489.aspx
- 【关键字】吴文俊
版权申明:非特殊申明,本站文章均系转载自互联网,如果侵犯了你的合法权益,请告知我们,我们会第一时间处理.
要点评这篇文章,请在下面留言
针对这篇文章的评论
- 不良评论请用报告管理员，以利管理员及时删除。
- 尊重网上道德，遵守中华人民共和国的各项有关法律法规。
- 承担一切因您的行为而直接或间接导致的民事或刑事法律责任。
- 本站评论管理人员有权保留或删除其管辖评论中的任意内容。
- 您在本站发表的作品，本站有权在网站内转载或引用。
- 参与本评论即表明您已经阅读并接受上述条款。