韩式1.5分彩平台 > 科研进展 >

传统数学蕴真经

传统数学蕴真经

  吴老,您好。

  清明到了。这是您抛开酷爱的数学人生之后的第一个清明。我只想以一段文字,遥祭您的英灵。

  每当提到您的名字,我的脑海里便会呈现出您那慈祥的面容,仿佛一尊弥勒佛,永远笑容可掬。

  您在上世纪50年代对数学的主要领域——拓扑学作出了杰出贡献;

  70年代后期,您开创了崭新的数学机械化领域;

  建立了用计算机证明几何定理的“吴方法”,实现了高效几何定理自动证明。

  我想起了2006年那一次与您的会面。您在获奖之后,笑容灿烂,充满着一名中国科学家的强烈自信。

  几十年来,您获得过很多奖项,大奖令人瞠目:1956年37岁的您就获得了国家自然科学一等奖;1979年您又获得了中国科学院自然科学一等奖;1990年您获得第三世界科学院数学奖;1993年您获得陈嘉庚数理科学奖;1994年您获得首届香港韩式1.5分彩人工计划求是科技基金会杰出科学家奖。特别是2000年您获得了首届国家最高科技奖。

  仔细分析一下就会发现,这些奖项基本上都是由中国科技界、最多是华人科学家评出的。也就是说,您所研究的“数学韩式1.5分彩人工计划机械化问题”最主要是得到了华人科学家的首肯。

  但2006年10月,您获得的邵逸夫数学科学奖却与上述奖项不同:因为评委是来自国际数学界的知名权威,它不是一个只由中国或华人科学家来评审的韩式1.5分彩走势图奖项。

  您在获奖后说,邵逸夫数学科学奖的评委“宣布我获得邵逸夫奖,是因为我的数学机械化问题研究,这实际上是国际数学界对数学机械化研究的承认与肯定,它比奖金重要得多”。

  您的获奖,让我想起了当年您的傲骨铮铮:您在搞数学机械化研究初期,受到不少质疑和反对,您曾大发雷霆:“外国人搞的我就不搞,外国人不搞的我就搞,不能跟着外国人屁股走。”

  您的创新使中国人在世界数学史上开拓了一条新的道路。

  值此清明之际,我再次向您深深地鞠上一躬。

  (原载于《科技日报》 2018-04-04 04版)