1919年5月12日 —— 2017年5月7日
您的位置:首页 > 学术成就
邵逸夫数学奖
发布时间:2017-05-07 来源: 【字号:  
  

  2006年,吴文俊与David Mumford共同获的由“东方诺贝尔奖”之称的邵逸夫数学奖。下面是评委会对其工作的评价。 

  吴文俊主要研究几何领域的计算机证明在学术研究和学科发展上做出了先驱性的突出贡献。这些领域中许多领衔科学家都曾受到他们的指导,或是跟随他们的足迹进行研究。 

  吴文俊是深受陈省身影响的几何学家之一。他在二战以后早期的工作集中在流形的拓扑。拓扑学为微分几何提供支撑,著名的陈类是拓扑学中的重要概念。他发现了与陈类并行的一组不变量,现在被称为吴类,被证明与陈类几乎同等重要。他进一步利用吴类得到了将流形嵌入到欧氏空间这一问题的漂亮结果。 

  上世纪七十年代吴文俊把注意力转向了计算问题,特别是寻找几何中自动机器证明的有效方法。基于Ritt特征集概念,1977年吴引入了一种的强大的机械方法,将初等几何问题转化为多项式表示的代数问题,由此导致了有效的计算方法。 

  吴的这一方法使该领域发生了一次彻底的革命形变化,并导致了该领域研究方法的变革。在吴文俊之前,占统治地位的方法是AI搜索法,此方法被证明在计算上是行不通的。通过引入深邃的数学想法,吴开辟了一种全新的方法,该方法被证明在解决一大类问题上都是极为有效的,而不仅仅是局限在初等几何领域。 

  吴文俊也回到了他早年热爱的拓扑学领域,并提出了算法化发展Dennis Sullivan的有理同伦理论的途径。这样吴文俊将自己数学生涯的两个领域结合了起来。 

  1994年出版的《几何机器证明基本原理》和2000年出版的《数学机械化》中,吴文俊描述了他的革命性的想法以及后来的进展。在他的领导下,数学机械化在近几年已经发展成为一个快速成长的学科,并与计算代数几何、符号计算、计算机定理证明和编码理论相互交叉。 

  虽然Mumford 和吴文俊的数学生涯是彼此平行展开的,他们仍然有很多共同点。他们都是以传统数学领域—几何学为起点,并为其现代发展做出了贡献。他们都转向了由于计算机后出现而开启的新的领域与机遇。他们揭示了数学的广度。他们一起为未来的数学家们树立了新的榜样,应该得到邵逸夫奖的奖励。 

关闭窗口
备案序号:京ICP备05002857号 联系我们 电话:010-82541851 邮箱:wu-commemorate@amss.ac.cn