吴文俊,男,1919年5月12日生于上海。 著名数学家,资深院士,我国智能科学研究的开拓者和领军人。1940年毕业于上海交通大学数学系。1949年在法国斯特拉斯堡大学获法国国家科学博士学位。曾任中国科学院系统科学研究所名誉所长、中国数学会理事长、中国科学院数理学部主任。1990年创建数学机械化研究中心,并任主任。 1957年当选为中国科学院院士。1991年当选第三世界科学院院士。


吴文俊院士研究工作涉及代数拓扑学、代数几何、博奕论、数学史、数学机械化等众多学术领域。1956年因在拓扑学中示性类与示嵌类方面的卓越成就获国家自然科学奖一等奖。1980年获中国科学院科技成果一等奖,1992年获第三世界科学院数学奖,1993年获陈嘉庚基金会数理科学奖,1994年获求是科技基金会杰出科学家奖,1997年因在数学机械化研究方面的开创性贡献获Herbrand自动推理杰出成就奖,2000年荣获首届国家最高科学技术奖,2006年荣获邵逸夫奖。


吴文俊院士是我国人工智能研究的开拓者和领军人,系中国人工智能学会第四届和第五届理事会指导委员会名誉主席。他早年提出的机器定理证明方法在国际上被称尊为“吴方法”;随后提出的数学机械化和脑力劳动机械化研究已经成为我国和世界人工智能研究的重要目标。


中国人工智能学会
2016年01月09日


Copyright © 2010 中国人工智能学会 互联网ICP备案:京ICP备06029423号-1
地址: 北京市海淀区西土城路10号 邮编: 100876 技术支持: 010-62283919

二维码