当前位置:首页》故事详情
为了看他的成果,传真机都烧坏了
来源:中国科学报社 科学家: 吴文俊 故事标签: 爱国 发布时间:2021/12/20 16:38:35


作为一名爱国科学家,吴文俊时刻把家国情怀融于自己的学术工作中。他很多重要的学术成果,都发表在了国内期刊上。

1984年,吴文俊又将他在数学机械化领域最重要的成果《几何定理机器证明的基本原理》发表在中科院系统所主办期刊《系统科学与数学》上。这是世界级的突破,引起了很大的轰动。

当时国外很多科学家得知吴文俊的突破,却苦于看不到中国期刊,不得不打电话求传真,以至于中科院系统所的传真机都烧坏了。后来,为便于大家学习吴文俊开创的新方法,国际自动推理权威期刊JAR破例将这篇30多页的论文重新刊登一遍,并专门撰文评价吴的论文“不仅建立了几何高效推理的基础,而且建立了一个杰出的标准来衡量以后出现的几何定理证明器”。

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