来到哥德巴赫猜想吧后,大致看看了诸位对猜想的证明。应该说不少人对哥猜下了很大的功夫,有的证明动辄数十页,但真正认真看下来者寥寥。对于各式各样的证明,下面说一点我自己的看法。
1、几乎所有的证明都缺乏一个明晰的证明大纲。这个大纲应该是几个由浅入深的定理,每个定理都是建立在前一个或前几个定理的基础之上,最后一个就是哥猜本身。这些定理承接的证明难度应该大致相同。通过大纲及其证明构架,读者可以很容易寻找每一部分证明的关键环节,并提出质疑。
现实情况是,很多人根本不明白证明真正的困难之处。开始几个定理都是在绕着圈子把一些等价命题证来证去,而到了关键环节则一步跳过或出现明显错误。我读一些证明,感觉一系列证明的结果越来越弱,突然出现一个错误的证明得出一个很强的结论,再逐步减弱为哥德巴赫猜想。如果有了大纲的话,读者可以直接找到此处错误,从而节省很多时间。
2、有的作者对命题的逻辑关系不甚明了。遇到这种情况通常很无奈,你怎么说基本都是鸡对鸭讲。有人甚至连反证法中的全称命题与存在命题的关系都弄不清楚,很容易得出各种荒谬结论。另一种情况是有作者在有限范围内构造了各种理论证明,并断言此法可以推广到任意大的n,由此来得出结论的正确性。事实上,这种方法和对每一个偶数分别验证没什么区别,唯一不同的地方就是更麻烦,从逻辑上讲没有任何用处。
3、作者的态度问题。说句不很客气的话,我认为大部分言之凿凿的自称证明出哥猜的人,在生活中都输属于偏执类型的。他们首先有一个坚定的信念,就是我的证明绝对是正确的。在此信仰的基础上讨论技术问题,一旦遇到质疑,从不考虑这里的错误带来的破坏力,基本是修修补补,绕过去了事。基本上你今天提出质疑,明天他就宣布已经补救了错误,找出了新的证明途径。只有少数人会认真质疑自己的证明,勇敢的承认失败,遗憾的是这样的人真少。
最遗憾的某些人的精力根本没放在解决问题上,而是相互攻讦,甚至人身攻击,早已偏离了做学问的初衷。也降低了本吧的品味。
1、几乎所有的证明都缺乏一个明晰的证明大纲。这个大纲应该是几个由浅入深的定理,每个定理都是建立在前一个或前几个定理的基础之上,最后一个就是哥猜本身。这些定理承接的证明难度应该大致相同。通过大纲及其证明构架,读者可以很容易寻找每一部分证明的关键环节,并提出质疑。
现实情况是,很多人根本不明白证明真正的困难之处。开始几个定理都是在绕着圈子把一些等价命题证来证去,而到了关键环节则一步跳过或出现明显错误。我读一些证明,感觉一系列证明的结果越来越弱,突然出现一个错误的证明得出一个很强的结论,再逐步减弱为哥德巴赫猜想。如果有了大纲的话,读者可以直接找到此处错误,从而节省很多时间。
2、有的作者对命题的逻辑关系不甚明了。遇到这种情况通常很无奈,你怎么说基本都是鸡对鸭讲。有人甚至连反证法中的全称命题与存在命题的关系都弄不清楚,很容易得出各种荒谬结论。另一种情况是有作者在有限范围内构造了各种理论证明,并断言此法可以推广到任意大的n,由此来得出结论的正确性。事实上,这种方法和对每一个偶数分别验证没什么区别,唯一不同的地方就是更麻烦,从逻辑上讲没有任何用处。
3、作者的态度问题。说句不很客气的话,我认为大部分言之凿凿的自称证明出哥猜的人,在生活中都输属于偏执类型的。他们首先有一个坚定的信念,就是我的证明绝对是正确的。在此信仰的基础上讨论技术问题,一旦遇到质疑,从不考虑这里的错误带来的破坏力,基本是修修补补,绕过去了事。基本上你今天提出质疑,明天他就宣布已经补救了错误,找出了新的证明途径。只有少数人会认真质疑自己的证明,勇敢的承认失败,遗憾的是这样的人真少。
最遗憾的某些人的精力根本没放在解决问题上,而是相互攻讦,甚至人身攻击,早已偏离了做学问的初衷。也降低了本吧的品味。