P<---->NP(条件S=1)千禧年难题PNP的逻辑证明

云南玉龙之

p←→q&#8660;(p→q)∧(q→P)

云南玉龙之

尊敬的朱先生，你好！
我是71生的，89年考入武汉工学院自动化系，大学读了两年半，就退学了，原因是重症精神分裂症。从92年到2012年都发病，2005年父亲病逝前是一个月病一次，05年到12年之间是一年发病两次。2012年打老婆，家里人把我送到精神病专科医院住院8个月后，药物控制，从2012年到现在是没发过病了。现在是自己种了3亩2的地，开销是一家都啃老，母亲健在，是小高退休，只是母亲86岁了，我想靠知识改变命运，我研究千禧年难题PNP问题，BSD猜想，黎曼猜想，杨米尔斯方程，我将杨米尔斯方程的证明向清华大学期刊投稿了，只是清华的编辑老师说要有大学教授的推荐信才可以出版，不知尊敬的朱老先生给可以给我写封推荐信

            此致
       祝朱老先生身体健康
                     杨艳红
                    20210723
--
发自新浪邮箱客户端

云南玉龙之

[img][/img]

云南玉龙之

尊敬的朱先生，你好！
我是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=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

云南玉龙之

[cp]@蔡天新 尊敬的蔡教授，你好！
我是71生的，89年考入武汉工学院自动化系，大学读了两年半，就退学了，原因是重症精神分裂症。从92年到2012年都发病，2005年父亲病逝前是一个月病一次，05年到12年之间是一年发病两次。2012年打老婆，家里人把我送到精神病专科医院住院8个月后，药物控制，从2012年到现在是没发过病了。现在是自己种了3亩2的地，开销是一家都啃老，母亲健在，是小高退休，只是母亲86岁了，我想靠知识改变命运，我研究千禧年难题PNP问题，BSD猜想，黎曼猜想，杨米尔斯方程，我将杨米尔斯方程的证明向清华大学期刊投稿了，只是清华的编辑老师说要有大学教授的推荐信才可以出版，我现在生活是啃老，儿子是今年高中毕业，生活费是娃娃的两个姑妈负担。现在的生活是种地与买彩票，彩票是2018年中过体彩3P120倍的一注，得奖金107460元。
此致
     祝蔡先生身体建康
   
   杨艳红
     2017-07-28[/cp]

云南玉龙之

  杨老师您好！

感谢您来信并寄来大作。我虽然从事逻辑，但身在哲学系，主要关心哲学逻辑问题，而不是数理逻辑的专家。您的解决方法，我不能判断是否正确。因此，我建议您咨询计算机系或数学系研究算法和可计算性理论的专家，他们或许能正确评价您的工作。

祝好！

邢滔滔


点击隐藏引用邮件
在 2021年8月20日，上午10:34，云南玉龙杨艳红 < 13312690681@sina.cn> 写道：

尊敬的邢教授，你好！
邢教授，你好，我从网上搜到你是中国数理逻辑界的权威了。我是一名残疾人，希望能够以知识改变命运，我将《千禧年难题PNP的逻辑探讨》向大学期刊投稿了，可编辑老师说要有大学教授的推荐信才可以发表，希望没浪费你的时间，帮我看看论文并写封推荐信。一个渴望能得到你帮助的人

云南玉龙之

邢滔滔北大教授

云南玉龙之

使用道具
云南玉龙之

14

主题       
286

帖子       
362

积分
中级会员

Member

Rank: 3Rank: 3


积分362
38#
  楼主| 发表于 2021-8-7 10:16 | 只看该作者
可解决                可验证      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