由原命题的逆否命题"计算机不可验证的问题就是计算机不可解决的问题"的否命题~G:[计算机可验证的问题就是计算机可解决的问题]，∵我们知道像费马大定理的解是计计算机可以验证但不可证明，即计算机可以验证的问题即计算机可以解决(证明)是假的，由~G=0(假)，则~~G=1(真)，即计算机不可验证的问题是计算机不可解决的问题是个真命题
p↔q ⇔ (p→q)∧(q→p)
p←→q⇔(p→q)∧(q→P)
尊敬的朱先生，你好！
我是71生的，89年考入武汉工学院自动化系，大学读了两年半，就退学了，原因是重症精神分裂症。从92年到2012年都发病，2005年父亲病逝前是一个月病一次，05年到12年之间是一年发病两次。2012年打老婆，家里人把我送到精神病专科医院住院8个月后，药物控制，从2012年到现在是没发过病了。现在是自己种了3亩2的地，开销是一家都啃老，母亲健在，是小高退休，只是母亲86岁了，我想靠知识改变命运，我研究千禧年难题PNP问题，BSD猜想，黎曼猜想，杨米尔斯方程，我将杨米尔斯方程的证明向清华大学期刊投稿了，只是清华的编辑老师说要有大学教授的推荐信才可以出版，不知尊敬的朱老先生给可以给我写封推荐信
此致
祝朱老先生身体健康
杨艳红
20210723
--
发自新浪邮箱客户端
尊敬的朱先生，你好！
我是71生的，89年考入武汉工学院自动化系，大学读了两年半，就退学了，原因是重症精神分裂症。从92年到2012年都发病，2005年父亲病逝前是一个月病一次，05年到12年之间是一年发病两次。2012年打老婆，家里人把我送到精神病专科医院住院8个月后，药物控制，从2012年到现在是没发过病了。现在是自己种了3亩2的地，开销是一家都啃老，母亲健在，是小高退休，只是母亲86岁了，我想靠知识改变命运，我研究千禧年难题PNP问题，BSD猜想，黎曼猜想，杨米尔斯方程，我将杨米尔斯方程的证明向清华大学期刊投稿了，只是清华的编辑老师说要有大学教授的推荐信才可以出版，不知尊敬的朱老先生给可以给我写封推荐信
此致
祝朱老先生身体健康
杨艳红
20210723
--
发自新浪邮箱客户端
6112个阅览者
可解决 可验证 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=1S-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
@蔡天新 尊敬的蔡教授，你好！
我是71生的，89年考入武汉工学院自动化系，大学读了两年半，就退学了，原因是重症精神分裂症。从92年到2012年都发病，2005年父亲病逝前是一个月病一次，05年到12年之间是一年发病两次。2012年打老婆，家里人把我送到精神病专科医院住院8个月后，药物控制，从2012年到现在是没发过病了。现在是自己种了3亩2的地，开销是一家都啃老，母亲健在，是小高退休，只是母亲86岁了，我想靠知识改变命运，我研究千禧年难题PNP问题，BSD猜想，黎曼猜想，杨米尔斯方程，我将杨米尔斯方程的证明向清华大学期刊投稿了，只是清华的编辑老师说要有大学教授的推荐信才可以出版，我现在生活是啃老，儿子是今年高中毕业，生活费是娃娃的两个姑妈负担。现在的生活是种地与买彩票，彩票是2018年中过体彩3P120倍的一注，得奖金107460元。
此致
祝蔡先生身体建康
杨艳红
2017-07-28
杨老师您好！
感谢您来信并寄来大作。我虽然从事逻辑，但身在哲学系，主要关心哲学逻辑问题，而不是数理逻辑的专家。您的解决方法，我不能判断是否正确。因此，我建议您咨询计算机系或数学系研究算法和可计算性理论的专家，他们或许能正确评价您的工作。
祝好！
邢滔滔
点击隐藏引用邮件
在 2021年8月20日，上午10:34，云南玉龙杨艳红 < 13312690681@sina.cn> 写道：
尊敬的邢教授，你好！
邢教授，你好，我从网上搜到你是中国数理逻辑界的权威了。我是一名残疾人，希望能够以知识改变命运，我将《千禧年难题PNP的逻辑探讨》向大学期刊投稿了，可编辑老师说要有大学教授的推荐信才可以发表，希望没浪费你的时间，帮我看看论文并写封推荐信。一个渴望能得到你帮助的人