吴文俊：计算机对数学带来冲击

　　对于数学未来发展具有决定性影响的一个不可估量的方面是，计算机对数学带来的冲击。——吴文俊

　　人物百科

　　吴文俊，1919年5月12日生于上海，世界著名数学家，中国科学院数学与系统科学研究院系统科学研究所研究员、名誉所长，中国数学会名誉理事长。中国数学机械化研究的创始人之一，现任中国科学院系统科学研究所名誉所长、研究员，中国科学院院士，第三世界科学院院士；曾任中国数学会理事长，中国科学院数理学部主任。

　　他在拓扑学、自动推理、机器证明、代数几何、中国数学史、对策论等研究领域均有杰出的贡献，在国内外享有盛誉。曾获得首届国家自然科学一等）、中国科学院自然科学一等奖、第三世界科学院数学奖、陈嘉庚数理科学奖、首届香港求是科技基金会杰出科学家奖、Herbrand自动推理杰出成就奖、首届国家最高科学技术奖、第三届邵逸夫数学奖。