当前位置:首页》故事详情
吴文俊的数学境界
来源:数学与系统科学研究院 科学家: 吴文俊 故事标签: 创新 发布时间:2021/8/17 11:19:01


他年少以拓扑学研究成名海外,

38岁当选中科院学部委员,

年近花甲又开辟了一个崭新的领域——数学机械化而震惊学界,两次问鼎国家最高科技奖励,……。

他的这些记录在当今中国数学界至今无人打破。

他,就是被誉为“人民科学家”的——吴文俊。

在许多人心目中,吴文俊就是这样一位不断创新、得奖无数的数学英雄,但是吴文俊自己却如是说:“评价一个国家的科学发展,群体的高度才是真正的进步!”他渴望“一个没有英雄的数学境界!”

1977年,58岁的吴文俊依然以战斗的姿态在科学攀登路上再出发,开始了一个与他过去从事的研究完全不同的新领域──几何定理机器证明方面的研究。

当时电子计算机在国内远未普及,他最初尝试并获成功的几条定理都是依靠手算,他幽默地称自己的手和笔为“吴氏计算机”。证明过程涉及的多项式往往都是数百项,任何一步出错都会导致以后的计算失败。算了多少记不清了,光废纸就一大堆。后来所里有了计算机,但编写程序还得自己来。

编程一般都是年轻人做,为了确保研究过程准确无误,好几年的时间里,吴文俊一直坚持自己编程,他从零开始学习编写计算机程序,自己上机。70年代末期上机编程序的时候,条件非常简陋,存储媒介是穿孔纸袋,打卡的打洞的卡片。这样的卡片,在吴文俊的办公室里堆了一麻袋。 同时,吴文俊是机房里年龄最大的“程序员”,在相当一段时间里也是数学所上机时间最长的人。

吴文俊对于用新型的工具来助力数学研究,有着非常前瞻的眼光。正是因为他的这些分析和判断,才能够在用计算机进行证明定理的过程当中取得了突破,从而开创了数学机械化研究的一个新的研究领域。

面对光环,吴文俊却从未有丝毫的骄意,他说:“我不想当社会活动家,我是数学家、科学家,我最重要的工作是科研。我欠的“债”,是科学上的“债”,也是对党和国家的债。”

党和人民不会忘记为国家作出过卓越贡献的英雄。在中华人民共和国成立70周年的日子,吴文俊被授予了崇高的“人民科学家”的国家荣誉称号。

(原作者:李文林、魏蕾,本文略有删减。)

相关信息
为了看他的成果,传真机都烧坏了 中国科学报社 2021/12/20 16:38:35
吴文俊的数据盘 数学与系统科学研究院 2021/10/12 10:48:30
吴文俊的数学境界 数学与系统科学研究院 2021/8/17 11:19:01
主办:中国科学院直属机关党委     承办:中国科学报社    策划:中国科学报社科学传播中心   技术支持:中国科学报社网媒中心
联系邮箱:kxj@stimes.cn