我国著名数学家吴文俊院士日前由于“对数学机械化这一新兴交叉学科的贡献”同David Mumford分享了2006年邵逸夫数学奖。在25日召开的庆祝会上,全国人大常委会副委员长、中国科学院院长路甬祥发来贺信,邵逸夫奖评审委员会主席、诺贝尔奖获得者杨振宁也在致辞中表示:“这代表华人对国际科学界的贡献达到顶峰的人数越来越多。”
中国数学会理事长文兰院士介绍说,被称为“东方诺贝尔奖”的邵逸夫奖设立于2004年,是国际性科学奖项,包括天文学、生命科学和医学、数学三个奖项,每年颁发一次。我国已故著名数学家陈省身院士曾获得第一届邵逸夫数学科学奖。吴文俊是深受陈省身影响的几何学家之一,早期在拓扑学领域作出突出贡献。上世纪70年代,吴文俊又开创了崭新的数学机械化研究领域,他把中国传统数学中的机械化思想加以发展,同时引入了一种基于理特(Ritt)特征集概念的强大的机械化方法,提出了用计算机证明几何定理的有效方法,被国际上称为“吴方法”。邵逸夫数学奖委员会认为:“吴文俊的这一方法使该领域发生了一次彻底的革命性变化,并导致了该领域研究方法的变革。”
