欢迎访问龙岩市科学技术协会网站! 2018年12月3日 星期一   在线投稿 设为主页 加入收藏
首 页 科协简介 公告通知 重要新闻 科学普及 学会活动 科技人物 基层动态 政策法规 科普博览 科普惠农 文件下载
j 龙岩市科学技术协会 >> 绉戞妧浜虹墿 关闭窗口
吴文俊
发布人:admin 发布时间:2009/4/23 浏览次数:7637


吴文俊 


  吴文俊(1919.5— ),男,上海人。著名数学家,中国科学院院士,中国数学机械化研究的创始人。曾任中国科学院系统科学研究所名誉所长、研究员。


  吴文俊研究领域涉及代数拓扑学、自动推理、机器证明、代数几何、中国数学史、博奕论、数学机械化等,并有杰出的贡献,在国内外享有盛誉。他的“吴方法”在国际机器证明领域产生巨大的影响,有广泛重要的应用价值。当前国际流行的主要符号计算软件都实现了吴文俊教授的算法。


  1956年获首届国家自然科学一等奖;1979年获中国科学院自然科学一等奖;1990年获第三世界科学院数学奖;1993年获陈嘉庚数理科学奖;1994年获首届香港求是科技基金会杰出科学家奖;1997年获Herbrand自动推理杰出成就奖;2000年获首届国家最高科学技术奖;2006年获第三届邵逸夫数学奖。


  主编《中国数学史大系》(全10卷)等。



福建龙岩市科学技术协会 版权所有  闽ICP备16038052号-1  访问量:1647026
主办:福建龙岩市科学技术协会  地址:龙岩大道1号市行政中心东附楼4层  邮编:364000
电话:0597-3213020  传真:0597-3213011  电子信箱:fjlyskx@163.com  技术支持:福建创高科技有限公司