去年的今天,袁萌发表博客文章,题为“我与陈景润的一次争论”,很有意思。有兴趣的读者,请参阅本文附件。
陈景润“痴迷”解析数论,不懂数理逻辑模型论。对于数学,陈景润只偏爱解析数论,其他数学分支,概不理会。袁萌真佩服他了。
希望小朋友,学习陈景润叔叔钻研数学的精神,不要学习他的“偏执”解析数论的“痴迷”。
袁萌 陈启清 1月29日
附件:我与陈景润的一次争论
2018年01月26日
记得,大约在上世纪70年代末期某一天的中午,我在中科院数学所食堂与陈景润一块吃饭,谈起哥德巴赫猜想(即:一个偶数必可分为两个质数之和)。
我对他说,哥德巴赫猜想很有可能证明不了。他一听这话,立即火了。当时,他对我说了一大堆“道理”,还说我不懂数论。
我也生气了,拿出Paris.J的结果予以反击,与其争吵起来。
实际上,Paris.J的研究结果是上世纪数学证明论的最大进展。
1977年,Paris.J证明了在自然数系中存在一些看起来很自然成立的命题,但是,却是不可严格证明的。
据此,我猜想,陈景润关注的哥德巴赫猜想有可能也是不可证明的。当然,我的这个猜想本身也只是一个猜想而已。……陈景润的脾气很大。
袁萌 1月29日