我与陈景润的一次争论

记得，大约在上世纪70年代木末期某一天的中午，我在中科院数学所食堂与陈景润一块吃饭，谈起哥德巴赫猜想（即：一个偶数必可分为两个质数之和）。

我对他说，哥德巴赫猜想很有可能证明不了。他一听这话，立即火了。当时，他对我说了一大堆“道理”，还说我不懂数论。

我也生气了，拿出Paris.J的结果予以反击，与其争吵起来。

实际上，Paris.J的研究结果是上世纪数学证明论的最大进展。1977年，Paris.J证明了在自然数系中存在一些看起来很自然成立的命题，但是，却是不可严格证明的。

据此，我猜想，陈景润关注的哥德巴赫猜想有可能也是不可证明的。当然，我的这个猜想本身也只是一个猜想而已。……陈景润的脾气很大。

袁萌  1月26日