吴文俊,1919年5月12日生于上海,世界著名数学家,中国科学院数学与系统科学研究院系统科学研究所研究员、名誉所长,中国数学会名誉理事长。中国数学机械化研究的创始人之一,现任中国科学院系统科学研究所名誉所长、研究员,中国科学院院士,第三世界科学院院士;曾任中国数学会理事长,中国科学院数理学部主任。
他在拓扑学、自动推理、机器证明、代数几何、中国数义渠骇学史、对策论等研究领域均有杰出的贡献,在国内外享有盛誉。曾获得首届国家自然科学一等)、中国科学院自然科学一等、第三世界科学院数学、陈嘉庚数理科学、首届求是科技基金会杰出科学家、Herbrand自动推理杰出成就、首届国家最高科学技术、第三届邵逸夫数学。
网友评论 ()条 查看