吴文俊的数学田地—往事—迷信网

吴文俊在合计机上编程测试其机械证实措施。 图片源头：中科院数学院档案室

■李文林 魏蕾

英国数学家哈代在《一个数学家的数学辩解》中说：“数学是年迈人的游戏……我不知道是否有这样的例子，即一个逾越50岁的田地人又独创了一项主要的数学实际。”

可是迷信，在今世中国就有这样一位数学家。吴文往事网他以自己的数学科学生涯举出了哈代以为不可能的例子。

他幼年以拓扑学钻研成名外洋，田地38岁落选中科院学部委员（院士），迷信年近花甲又因开拓了一个斩新的吴文往事网规模——数学机械化而震撼学界，两次问鼎国家最高科技处分……

他的数学这些记着实现今中国数学界至今无人突破。他，田地便是迷信被誉为“国夷易近迷信家”的吴文俊。

在良多夷易近意目中，吴文往事网吴文俊便是数学这样一位不断立异、患上奖有数的田地数学好汉，可是吴文俊自己却如是说：“评估一个国家的迷信睁开，群体的高度才是真正的后退！”他渴想“一个不好汉的数学田地”！

1977年，58岁的吴文俊已经是中国迷信院学部委员、国家做作迷信奖一等奖取患上者，具备骄人的头衔以及艰深人难以企及的声誉，可能说已经功成名就，残缺可能调养天算了。可是，他以战争的姿态在迷信攀登路上再动身，开始了一个与他以前处置的钻研残缺差距的新规模──多少多定理机械证实方面的钻研。并在随后的数十年间，独创了一个既有浓郁中国特色又有强烈时期气息的数学规模──数学机械化。

1978年，吴文俊正式宣告了他对于多少多定理及其证实的第一篇论文，提出了多少多定理机械证实的新措施。该措施是将要证实的多少多下场代数化，并有一套高度机械化的、可能直接在合计机上实用运行的代数关连整理挨次。这一措施是笛卡尔妄想的秉持，作为这一措施的关键算法——多元非线性代数方程组的消元挨次，如今国内上就称为“吴措施”，运用这一措施不光可能实用地证实低等多少多的大部份定理，而且可能自动发现新的定理，微分多少多中主要定理的证实也可能经由这一措施实现机械化。

当时电子合计机在国内远未普遍，他最后试验并获乐成的多少条定理都是依靠手算，他幽默地称自己的手以及笔为“吴氏合计机”。证实历程波及的多项式每一每一都是数百项，任何一步侵蚀都市导致之后的合计失败。算了多少多记不清了，光废纸就一大堆。其后所里有了合计机，但编写挨次还患上自己来。

编程艰深都是年迈人做，为了确保钻研历程精确无误，好多少年的光阴里，吴文俊不断坚持自己编程，他从零开始学习编写合计机挨次，自己上机。上世纪70年月末期上机编挨次的时候，条件颇为简陋，存储前言是穿孔纸袋、打洞的卡片。这样的卡片，在吴文俊的办公室里堆了一麻袋。

吴文俊是机房里年纪最大的“挨次员”，在至关一段光阴里也是中科院数学所上机光阴最长的人。每一每一是破晓8点前，你就会看到他已经在机房外等着开门。在机房里他会不断使命近10个小时，清晨回家用饭，还要整理合计服从。可两个小时之后你又会在机房里看到他，无意致使要使命到深夜或者越日清晨。越日清晨，他又出如今机房上机了。24小时连轴转的情景也时有爆发。

当时北京中关村落到处修路，挖深沟埋管道，已经过花甲之年的吴文俊每一每一在深夜径自一人步辇儿回家，沟沟坎坎，高一脚低一脚，无意下雨，就要蹚着没脚踝的雨水试探前行。

吴文俊对于用新型的工具来助力数学钻研，有着颇为前瞻的目力。1977年，他就提出：对于数学的睁开，对于数学未来睁开，具备抉择性影响的一个不可估量的方面是合计机对于数学带来的侵略，在不久的未来，电子合计机之于数学家将与显微镜之于生物学家、望远镜之于地舆学家那样不可或者缺，如今的合计机经由小型化而成为每一个数学家的囊中之物，这一想象将成为事实，数学家们对于这些远景必需有着饶富的脑子豫备。

正是这些合成以及分说，让他在用合计机证实定理的历程中取患了突破，从而独创了数学机械化钻研的一个新的钻研规模。

上世纪80年月，吴文俊将多少多定理机械证实的措施扩展到了更艰深的方程机械求解，组成为了一个零星的规模——数学机械化，并取患了极普遍的运用。数学机械化的措施正在渗透到力学、地舆学、物理学、化学、合计机迷信等规模，同时被运用于机械人、连杆妄想、操作技术、合计机辅助妄想等高技术规模。

数学机械化实际的建树，美全是中国人自己开拓的新的数学道路，全部历程展现了吴文俊强烈的自主立异肉体。吴文俊每一每一夸张，“要有自己的工具，不能随着他人跑”，“走自己的路”定夺颇为刚强。“外国人有道理我尽管会跟，我不是不学外国，外国的工具我都看了，并非不看，我罗致我感应精确的部份，不能说外国人奈何样搞我就患上奈何样搞。”

从多少多定理机械证实到数学机械化实际，吴文俊的钻研发生了重大的国内影响。1997年吴文俊取患上国内自动推理最高奖“Herbrand自动推理卓越造诣奖”；2000年，吴文俊因其对于拓扑学的根基贡献以及独创了数学机械化钻研规模成为了国家最高迷信技术奖设立以来的首位获奖人；2006年，吴文俊取患了有“西方诺贝尔奖”之称的邵逸夫奖。邵逸夫奖评奖委员会在品评中写道：“吴的措施使该规模爆发了一次残缺的革命性变更，并导致了该规模钻研措施的刷新。经由引入高深的数学想法，吴开拓了一种全新的措施，该措施被证切实处置一大类下场上都是极为实用的，而不光仅是规模在低等多少多规模。”其使命“揭示了数学的广度。为未来的数学家们建树了新的典型”。

面临这些光环，吴文俊却从未有丝毫的孤高，他说：“我不想当社会行动家，我是数学家、迷信家，我最紧张的使命是科研。我欠的‘债’，是迷信上的‘债’，也是对于党以及国家的债。”

党以及国夷易近不会淡忘为国家作出过卓越贡献的好汉。2019年，在中华国夷易近共以及国建树70周年的日子，吴文俊被付与了“国夷易近迷信家”的国家声誉称谓。

（作者单元：中国迷信院数学与零星迷信钻研院）

(责任编辑：时尚)