计算机停机问题与千禧年难题PNP的证明

云南玉龙之

结论至少存在一个P问题等于NP问题，对于所有P类与NP类问题???

wlc1

结论至少存在一个P问题等于NP问题，

注意：但，并不是所有P问题都等于NP问题，

wlc1

结论至少存在一个P问题等于NP问题，

注意：但，并不是所有P问题都等于NP问题，

云南玉龙之

由原命题的逆否命题"计算机不可验证的问题就是计算机不可解决的问题"的否命题~G:[计算机可验证的问题就是计算机可解决的问题]，∵我们知道像费马大定理的解是计计算机可以验证但不可证明，即计算机可以验证的问题即计算机可以解决(证明)是假的，由~G=0(假)，则~~G=1(真)，即计算机不可验证的问题是计算机不可解决的问题是个真命题

云南玉龙之

￥3WYvcyoPJsF￥

云南玉龙之

p↔q ⇔ (p→q)∧(q→p)

云南玉龙之

S=2^(n十1)-1，由高阶逻辑2^n=1，则2^(n十1)=1，即S=2^(n十1)-1=O，即前提S≠1则
P≠NP

云南玉龙之

结论:S=2^(n十1)-1，由高阶逻辑2^n=1，则2^(n十1)=1，即S=2^(n十1)-1=O，即前提S≠1则
P≠NP

云南玉龙之

可解决                可验证      s+1
不可解决            可验证      s-1
不可解决            不可验证  s+1
可解决                不可验证  S-1
s=1+2+2^2+2^3+2^4+……+2^n
2s=2+2^2+2^3+2^4+……2^(n+1)
s=2s一S
s=2^(n+1)一1
则s+1=2^(n+1)
s-1=2^(n+1)-1-1
s-1=2*(2^n-1)
若有高阶逻辑2^n=1，则s-1=2*(2^n-1)=2*0=0
或因为2^n=1，则2^(n+1)=1，    s-1=2^(n+1)-1-1=1-1-1=0-1
在s+1=1  S-1=2*0=0的前题下可得出高阶逻辑结论
即计算机可解决的问题就是计算机可验证的问题为真①

在s-1=2^(n+1)-1-1=0-1的前题下，则命题真假不定，不可判定
一

结论:S=2^(n十1)-1，由高阶逻辑2^n=1，则2^(n十1)=1，即S=2^(n十1)-1=O，即前提S≠1则
P≠NP

云南玉龙之

不知PNP是否满足辛普森悖论一