中科院消息：崔坤已经证明了孪生素数猜想，发表于智慧火花栏目

wangyangke

在数学论坛，包装和推销靠不住的东西————除cuikun-186外；因为，这样说得过去！————是愚蠢行为！

论坛上没有称得上靠得住的————除崔坤的哥猜证明外；因为，这样，行得通！————哥猜证明，却有些靠得住的二百五；鲁思顺是二百五中的突出代表，，，

cuikun-186

首先要懂得逻辑是自由的，但自由的前提是自洽。

目标是证明f(x)>Q(x)这个命题,

那么我们看：

第一步来自验证了f(9)>Q(9)+1；

第二步，根据第一步假设x=k(奇数k≥9)，f(k)>Q(k)+1。【解释一下：这一段完全遵循数学归纳法的逻辑推理严谨布局，没毛病】。


第三步，当x=k+2时，f(x)是增函数，则f(k+2)>f(k)。 同时根据SD数模，分析k+2这个奇数的素合性给出它与k的素合性，有且仅有的四种平行组合：


【1】k为合数，k+2为素数，此时Q(k+2)=Q(k)+1

【2】k为合数，k+2为合数，此时Q(k+2)=Q(k)

【3】k为素数，k+2为合数，此时Q(k+2)=Q(k)

【4】k为素数，k+2为素数，此时Q(k+2)=Q(k)

则【1】情况下，f(k+2)>f(k)>Q(k)+1=Q(k+2)

即f(k+2)>Q(k+2),【这证明了f(x)>Q(x)】

其余【2】【3】【4】情况下都推得：

f(k+2)>f(k)>Q(k)+1=Q(k+2)+1>Q(k+2)


即f(k+2)>Q(k+2)【即证明了f(x)>Q(x)】

综上所述，

关于所有奇数x≥9的不等式f(x)>Q(x)恒成立。

这个逻辑推理严谨，且自洽。

形式上属于数学归纳法中的强性数学归纳法。