03吴文俊首先研究的是大邱定理。大邱定理是数学大师惠特尼的科学研究成果
,验证过程极其复杂,惠特尼曾觉得需要出一本书,来讲解这个定理。然而,吴文俊却在不到一年的时间里,把复杂的对偶定理进行简化,短短几张纸就得以证明。
这一科研结果,获得到了国际数学界的认可,惠特尼更是放弃了出书的打算。
第一次,吴文俊在国际数学界展露锋芒。
在研究院工作仅一年的时间,吴文俊就获得了到数学水平一流的法国留学的机会。
在留学期间,吴文俊深入研究拓扑学的示性类和示嵌类,得出的示性类之间的关系式,以他的姓氏命名为“吴公式”。
这些开创性的演技成果,引起的国际数学界泰斗级人物霍普夫的质疑,并带领一众学生到斯特拉斯堡对吴文俊“兴师问罪”。
吴文俊不卑不亢地把他的研究成果解释一番,并得到了所有人的称赞与认可。
随着吴文俊在国际数学界的大放异彩,抛向他的橄榄枝也越来越多。
吴文俊未曾有丝毫的犹豫,他深知国家现在虽落后,但如果人人都能回去报效自己的祖国,将来一定不会差。
1951年,吴文俊婉拒了法国老师的邀约,也拒绝了普林斯顿大学的教授聘请,回到了百废待兴的中国。
有人说,如果1951年吴文俊没有回国,菲尔兹奖一定是他的囊中之物。
菲尔兹奖,被称为是数学界的“诺贝尔奖”,是许多数学家终生的追求。
可他本人并不觉得有什么,不得这个奖,还可以得其他的奖,如果没有回国,他就不会遇到古代数学,也就没有了后来的数学机械化。
04
在数学研究这条路上,吴文俊一直跟着西方数学跑,但回国后的一次偶然,他接触到了中国古代数学。
《周髀算经》里面提到的日高公式,还要《九章算术》里面的提出246个问题,这些都说明中国古代数学是以解决问题为主的,归根结底是一部“算法”大全。
西方数学主要是证明定理,而中国的古代数学是不考虑各种定理的,是以解决问题为主,解方程辅助解决实际问题。
当吴文俊洞察到这一点的时候,他大胆地提出了数学机械化的思想。他开始把几何问题,转变成数学算法,输入计算机,最终实现数学机械化。这一科研成功被称作“吴方法”。
他曾说:“中国的古代数学,我把它认识清楚了,这是我最自豪的。”
为了早日把想法变成现实,他经常是很早就到机房门口等着开门,一直工作八九个小时。晚饭时间回家,他边吃饭边整理资料,之后又匆匆回到机房敲击键盘,一直到深夜。
第二天,他又会准时出现在机房门口等待开门。
吴文俊的数学机械化就是这样一点点“敲打”出来的,而这个研究领域是哪怕在国际上也是首创。
吴文俊在做研究过程中,遭到很多人的质疑,还曾被人嘲笑是“旁门左道”。
可只有他自己知道,自主创新有多重要,他一个程序往电脑里输入了五六次,因为软件每次更新,他就只能重新输,他太知道被人牵着鼻子走的难受,所以他不要做蛇尾,坚持自主创新。
“吴方法”早已应用在了多个领域。在吴文俊研究成果基础上,研制成功了我国第一台大型虚拟轴机床样机与集成电路制造装备关键子系统;也在机器人路径规划、数控机床加工、解决染色问题、构建计算机模型等领域被广泛应用。
用吴文俊命名的“吴文俊人工智能科学技术奖”更被外界誉为“中国智能科学技术最高奖”。
吴文俊倾尽一生研究数学,功勋卓著。他曾说过,在体力机械化时代,我们落伍了,脑力机械化一定不能落后。本着这样的信念,吴文俊把我国的拓扑学研究和数学机械化带到了世界领先水平。
如果没有吴文俊,我国数学研究的“漫漫长夜”不知道还要走多久。
吴老勤勉一生,躬耕数学,他用一生在践行什么叫:科学无国界,科学家有祖国。
吴文俊当之无愧“人民科学家”称号。
作者:青苔