数学中国

标题: P<---->NP(条件S=1)千禧年难题PNP的逻辑证明 [打印本页]

作者: 云南玉龙之    时间: 2016-6-13 18:26
标题: P<---->NP(条件S=1)千禧年难题PNP的逻辑证明
P
天气千禧年难题P-NP与天气预报逻辑探讨
============中国 云南 玉龙纳西族自治县 杨艳红


[编辑] P和NP 满足条件S赋值为1,,则有:P<------>NP
Meet the conditions S assigned to 1, there are: P<------>NP


复杂度类P包含所有那些可以由一个确定型图灵机在多项式表达的时间内解决的问题;类NP由所有其肯定解可以在给定正确信息的多项式时间内验证的决定问题组成,或者等效的说,那些解可以在非確定型圖靈機上在多项式时间内找出的问题的集合。很可能,计算理论最大的未解决问题就是关于这两类的关系的:

[编辑] 学术定义
计算机天气预报显而易见是一个类P[WENTI]问题。
天气预报如果是有雨或者天晴。
DYI
定义
有雨是【1】
定义
天晴是【0】
预报有雨,实际天气也是下雨,则计算机天气预报是准的。
预报有雨,实际天气是晴,则计算机天气预报是不准。
======
预报天晴,实际天气也是天晴,则计算机天气预报是准的。
预报天晴,实际天气是下雨,则计算机天气预报是不准。
=====
有三种选择
AJ计算机天气预报的实际结果是准的。
BJ计算机天气预报的实际结果是不准的。
CJ计算机天气预报的实际结果是有时准有时不准。
===从计算机天气预报经时间到实际的天气状况的验证,不管从统计学还是实际经验来谈,可以得到验证的结果是CJ计算机天气预报的实际结果是有时准有时不准。
=====CONG从验证的时间检验的实际的天气结果如果用计算机语言逻辑来说结果是属于模糊逻辑。
即即计算机天气预报是数值计算是类P
===ER而可知:计算机天气预报的验证是类NP的。
====从实际经验来看有
1) 天气预报是类P,ER而天气预报的实际验证是类NP.
2)
3)
4) CHUL除了图灵停机问题外
5) 除了图灵停机问题外,所有的类PWT,类p问题不等于类NP问题
6) 除了图灵停机问题外,所有的类P问题等于类NP问题
7) 除了图灵停机问题外,有类P问题等于类NP问题,也有类P问题不等于类NP问题。
8)
9) 天气预报结果准加一分,天气预报结果不准减一分
10) 逻辑为S+1(准),S-1(不准), SFUZHU ……S赋值


定义   
有雨是表示为符号 F

   
定义   
天晴是表示为符号 L   
预报有雨,实际天气也是下雨,则计算机天气预报是准的。   
预报有雨,实际天气是晴,则计算机天气预报是不准。   
======   
预报天晴,实际天气也是天晴,则计算机天气预报是准的。   
预报天晴,实际天气是下雨,则计算机天气预报是不准。   
====================================

MFANG

模仿维特根斯坦真值表

[F ,F] 》S+1

[F ,L] 》S- 1

[L ,L] 》S+ 1

[L ,F] 》S - 1

YONG

用以1表示下雨,表示真,表示准

dou都符合维特根斯坦真值表规则
模仿维特根斯坦真值表

[F ,F] 》S+1       [1 ,1]》1+1  为1



[F ,L] 》S- 1       [1 ,0]》1- 1  为0

[L ,L] 》S+ 1     [0 ,0]》1+1  为1

[L ,F] 》S - 1      [0 ,1]》1- 1 为0

====考虑S赋值1

=====这是单次的天气预报的结论。
15 楼: 玉龙县杨艳红  关注  于 2016-05-22 19:04  发表    只看该作者    发短消息    加为好友  
对照仿维特根斯坦真值表

[F ,F] 》S+1       [1 ,1]》1+1  为1



[F ,L] 》S- 1       [1 ,0]》1- 1  为0

[L ,L] 》S+ 1     [0 ,0]》1+1  为1

[L ,F] 》S - 1      [0 ,1]》1- 1 为0

====考虑S赋值1

=====这是单次的天气预报的结论

由逻辑真值表得出:在S赋值为1的情况下,单次的天气预报与验证是证明出了



    P=(NP)



,在任何情况下,总有P = Q。即一个命题与其逆否命题等价。也记做: P ←→ Q

1) 天气预报是类P,ER而天气预报的实际验证是类NP.





          即P ←→ (NP)

即是) 除了图灵停机问题外,有类P问题等于类NP问题
=====S=0时,计算机采用算术通用规则
计算真与证明假

==由一般的算术规则出发

可以知道0-1= -1

===============
20 楼: 玉龙县杨艳红  关注  于 2016-05-23 08:44  发表    只看该作者    发短消息    加为好友  
S=0时,计算机采用算术通用规则




js计算真与证明假

==由一般的算术规则出发

可以知DAO道:S+1=0+1=1


S-1=0-1= - 1

有哥德尔 不完备定理告诉我们存在YOU      cz 存在有 P不等于NP完全问题并且是不可证明的

表示为P≥(NP!)    等号成立条件(s=0000)
=========================================

216 楼: 之zizizi十  关注  于 2016-05-23 18:20  发表    只看该作者    发短消息    加为好友  
计算机可以解决的问题就是计算机可以验证的问题  
等价:计算机不可验证的问题就是计算机不可解决的问题
《形式逻辑》金岳霖

2《虚实世界》哟翰。L.卡斯蒂

3,《维基百科》

4 《阿西莫夫科学指南》

5  《有趣的悖论详謬》---黄儒经  吴晓兰

回复   引用  

  
《视读逻辑学》



作者: 云南玉龙之    时间: 2016-6-13 19:05
P<---->NP(条件S=1)千禧年难题PNP的逻辑证明
The logical proof of P<---->NP (conditional S=1) Millennium puzzle PNP
作者: 云南玉龙之    时间: 2016-6-14 20:25
计算机可以解决的问题就是计算机可以验证的问题
等价:计算机不可验证的问题就是计算机不可解决的问题
前提条件 :S=1
作者: 云南玉龙之    时间: 2016-6-14 20:34
计算机可以解决的问题就是计算机可以验证的问题
The computer can solve the problem is the computer can verify the problem
等价:计算机不可验证的问题就是计算机不可解决的问题
Equivalence: the problem that the computer does not verify is the problem that the computer cannot solve
前提条件 :S=1
Prerequisite: S = 1
作者: 云南玉龙之    时间: 2016-6-16 19:47
A-A=0  的证明

楼: ylf521你好  关注  于 2010-12-18 10:58  发表    只看该作者    发短消息    加为好友  




对OF修订为δF后,的修订版,同时对原来的日期进行了删除



==========================================

P与NP难题的证明 回复 | 推荐 | 收藏 | 树状

作者: ylf521你好 于 2010-12-14 11:08:37 发表

[编辑] P和NP

复杂度类P包含所有那些可以由一个确定型图灵机在多项式表达的时间内解决的问题;类NP由所有其肯定解可以在给定正确信息的多项式时间内验证的决定问题组成,或者等效的说,那些解可以在非確定型圖靈機上在多项式时间内找出的问题的集合。很可能,计算理论最大的未解决问题就是关于这两类的关系的:



[编辑] 学术定义

更正式一些,一个决定问题是一个取一些字符串为输入并要求输出为是或否的问题。若有一个算法(譬如图灵机,或一个LISP或Pascal的程序并有无限的内存)能够在最多nk步内对一个串长度为n的输入给出正确答案,其中k是某个不依赖于输入串的常数,则我们称该问题可以在多项式时间内解决,并且将它置入类P。直观的讲,我们将P中的问题视为可以较快解决的问题。



IF程序输出一个完整的数学证明

AND证明的每一步合法

AND结论是S确实有(或者没有)一个和为0的子集

THEN

OUTPUT "是"(或者"不是"如果那被证明了)并停机

=============================================================



把f(X)+F(-X)=0归类为P问题,表示为集合S1--->{x|x∈Z,X>0,N-N=0}





猜想的运运算规则出发 设数字S+1 ,S-1 准需准寻同一角谷运算规则运算S整数



阿A=3(S+1)+1 T=3(S-1)+1 A+T=6S+2=



YOU由角谷规则出发A+T为偶数则应除2 记作角谷运算规则f(s)=A+T=3s+1



@@ 由解决-5,-7,-17时依3X+1计算重复执行时会进入循环圈 据负数运算规则出发修改角谷奇数负时运



算重复执行3X-1 偶数则除2记作F(S")



G=3(s"+1)-1 C=3(s"-1)-1 G+C=6S"-2=3S'-1 既F(s")=G+C



ze A+T+G+C=f(S)+F(S'")=3s+1+3S"-1=3(s+S")=3a



当(s+S")奇时则以!3x+1 f(s)+F(S"0=3a*3+1=9a+1 s+S">0



@@3x-1 f(s)+F(S")=3*3a-1=9a-1 s+S"<0



s+S"为偶数除以2 f(s)+F(S")=3/2a



yi乙 一整数小C表示为c=log(N*1/N*X) 则 -c=-log(N*1/N*X)



A+T=c=logN+log(X/N ) G+C=-c=logN+long(1/N*1/X)



ze A+T+G+C=f(c)+F(-c)=0000



ji f(s)+F(S")=A+T+G+C=0



因为由0定义是非奇非偶出发 当一个数表达为A+T+G+C时 不用(无法)执行循环的程序语句 即f(s)+F



(S")有一种可能结果为0000







a+t=3c+1=3logN+3log(x/N)+1

g+c=3x-1=3logN+3log(1/(Nx))-1

f(x)+f(-X)=6logN+3log(1/N*1/N)



=6logN-6logN=0000









图林条件停机、

D等价于哥德尔不完全定理



此解题方法叫=========对折迭加发法



知识的第一原理-----

---------同一事物即存在又不存在是不可能的-----

----------------==== A=A

--------------=====--[A]+[-A]=0 0就是不可能



“ 知识的第一原理-----

---------同一事物即存在又不存在是不可能的-

-------------是非常清楚确定的,但我看不出能供给我们任何知识”

-----《波儿罗亚尔逻辑》----《形式逻辑》---金乐霖


作者: 云南玉龙之    时间: 2016-6-16 20:45
真值表逻辑
作者: 云南玉龙之    时间: 2016-6-16 20:51
bg八卦与遗传密码----杨艳红原创
作者: 云南玉龙之    时间: 2016-6-26 20:49
计算机可以处理的问题包括图像处理。语音输入,数值计算

图像处理与语音输入与数值计算的三者交集就是二进制:0,1

对0,1进行穷举法有【0,0】【0,1】【1,0】【1,1】四种

===计算机验证解的正确与否是S+1,S-1

作者: 云南玉龙之    时间: 2016-7-1 09:36
逻辑结果是逻辑的类比
作者: 云南玉龙之    时间: 2016-7-18 21:42

P和NP [ 编辑 ]

复杂度类P即为所有可以由一个确定型图灵机在多项式表达的时间内解决的问题;类NP由所有可以在多项式时间内验证解是否正确的决定问题组成,或者等效的说,那些解可以在非确定型图灵机上在多项式时间内找出的问题的集合。 很可能, 计算理论最大的未解决问题就是关于这两类的关系的:
========维基百科

计算机可以处理的问题包括图像处理。语音输入,数值计算

图像处理与语音输入与数值计算的三者交集就是二进制:0,1

对0,1进行穷举法有【0,0】【0,1】【1,0】【1,1】四种

===计算机验证解的正确与否是S+1,S-1
======================================
讨论一个特殊的问题
==================
计算机天气预报显而易见是一个类P问题。
天气预报如果是有雨或者天晴。
DYI
定义
有雨是【1】
定义
天晴是【0】
预报有雨,实际天气也是下雨,则计算机天气预报是准的。
预报有雨,实际天气是晴,则计算机天气预报是不准。
======
预报天晴,实际天气也是天晴,则计算机天气预报是准的。
预报天晴,实际天气是下雨,则计算机天气预报是不准。
=====
有三种选择
AJ计算机天气预报的实际结果是准的。
BJ计算机天气预报的实际结果是不准的。
CJ计算机天气预报的实际结果是有时准有时不准。
===从计算机天气预报经时间到实际的天气状况的验证,不管从统计学还是实际经验来谈,可以得到验证的结果是CJ计算机天气预报的实际结果是有时准有时不准。
=====从验证的时间检验的实际的天气结果如果用计算机语言逻辑来说结果是属于模糊逻辑。
即即计算机天气预报是数值计算是类P
===ER而可知:计算机天气预报的验证是类NP的。
====从实际经验来看有
1) 天气预报是类P,ER而天气预报的实际验证是类NP.
2)
3)
4) 除了图灵停机问题外
5) 除了图灵停机问题外,所有的类p问题不等于类NP问题
6) 除了图灵停机问题外,所有的类P问题等于类NP问题
7) 除了图灵停机问题外,有类P问题等于类NP问题,也有类P问题不等于类NP问题。
8)
9) 天气预报结果准加一分,天气预报结果不准减一分
10) 逻辑为S+1(准),S-1(不准), SFUZHU ……S赋值


定义   
有雨是表示为符号 F


定义   
天晴是表示为符号 L   
预报有雨,实际天气也是下雨,则计算机天气预报是准的。   
预报有雨,实际天气是晴,则计算机天气预报是不准。   
======   
预报天晴,实际天气也是天晴,则计算机天气预报是准的。   
预报天晴,实际天气是下雨,则计算机天气预报是不准。   
====================================



模仿维特根斯坦真值表

[F ,F] 》S+1

[F ,L] 》S- 1

[L ,L] 》S+ 1

[L ,F] 》S - 1

YONG

用以1表示下雨,表示真,表示准

都符合维特根斯坦真值表规则
模仿维特根斯坦真值表

[F ,F] 》S+1       [1 ,1]》1+1  为1



[F ,L] 》S- 1       [1 ,0]》1- 1  为0

[L ,L] 》S+ 1     [0 ,0]》1+1  为1

[L ,F] 》S - 1      [0 ,1]》1- 1 为0

====考虑S赋值1

=====这是单次的天气预报的结论。
15 楼: 玉龙县杨艳红  关注  于 2016-05-22 19:04  发表    只看该作者    发短消息    加为好友   
对照逻辑真值表

[F ,F] 》S+1       [1 ,1]》1+1  为1



[F ,L] 》S- 1       [1 ,0]》1- 1  为0

[L ,L] 》S+ 1     [0 ,0]》1+1  为1

[L ,F] 》S - 1      [0 ,1]》1- 1 为0

====考虑S赋值1

=====这是单次的天气预报的结论

由逻辑真值表得出:在S赋值为1的情况下,单次的天气预报与验证是证明出了



   P<-->(NP)



,在任何情况下,总有P = Q。即一个命题与其逆否命题等价。也记做: P ←→ Q

1) 天气预报是类P,ER而天气预报的实际验证是类NP.





         即P ←→ (NP)

即是) 除了图灵停机问题外,有类P问题等于类NP问题
======================================================================
A-A=0 的证明

楼: ylf521你好 关注 于 2010-12-18 10:58 发表 只看该作者 发短消息 加为好友

由角谷猜想的运运算规则出发 设数字S+1 ,S-1 准需准寻同一角谷运算规则运算S整数




=
A=3(S+1)+1 T=3(S-1)+1 A+T=6S+2=



YOU由角谷规则出发A+T为偶数则应除2 记作角谷运算规则f(s)=A+T=3s+1



@@ 由解决-5,-7,-17时依3X+1计算重复执行时会进入循环圈 据负数运算规则出发修改角谷奇数负时运



算重复执行3X-1 偶数则除2记作F(S")



G=3(s"+1)-1 C=3(s"-1)-1 G+C=6S"-2=3S'-1 既F(s")=G+C



ze A+T+G+C=f(S)+F(S'")=3s+1+3S"-1=3(s+S")=3a



当(s+S")奇时则以!3x+1 f(s)+F(S"0=3a*3+1=9a+1 s+S">0



@@3x-1 f(s)+F(S")=3*3a-1=9a-1 s+S"<0



s+S"为偶数除以2 f(s)+F(S")=3/2a



yi乙 一整数小C表示为c=log(N*1/N*X) 则 -c=-log(N*1/N*X)



A+T=c=logN+log(X/N ) G+C=-c=logN+long(1/N*1/X)



ze A+T+G+C=f(c)+F(-c)=0000



ji f(s)+F(S")=A+T+G+C=0



因为由0定义是非奇非偶出发 当一个数表达为A+T+G+C时 不用(无法)执行循环的程序语句 即f(s)+F



(S")有一种可能结果为0000







a+t=3c+1=3logN+3log(x/N)+1

g+c=3x-1=3logN+3log(1/(Nx))-1

f(x)+f(-X)=6logN+3log(1/N*1/N)



=6logN-6logN=0000









图林条件停机、

D等价于哥德尔不完全定理



此解题方法叫=========对折迭加发法



知识的第一原理-----

---------同一事物即存在又不存在是不可能的-----

----------------==== A=A

--------------=====--[A]+[-A]=0 0就是不可能



“ 知识的第一原理-----

---------同一事物即存在又不存在是不可能的-

-------------是非常清楚确定的,但我看不出能供给我们任何知识”

-----《波儿罗亚尔逻辑》----《形式逻辑》---金乐霖
作者: 云南玉龙之    时间: 2016-7-18 21:44
《形式逻辑》金岳霖

2《虚实世界》哟翰。L.卡斯蒂

3,《维基百科》

4 《阿西莫夫科学指南》

5  《有趣的悖论详謬》---黄儒经  吴晓兰



  
《视读逻辑学》
7姜咏江的博客
作者: 云南玉龙之    时间: 2016-7-18 21:45
《形式逻辑》金岳霖

2《虚实世界》哟翰。L.卡斯蒂

3,《维基百科》

4 《阿西莫夫科学指南》

5  《有趣的悖论详謬》---黄儒经  吴晓兰



  
《视读逻辑学》
7姜咏江的博客
作者: 云南玉龙之    时间: 2016-8-1 09:27
更改了一个字:
S=0时,计算机采用算术通用规则




哥德尔不完全性定理有-----要么“计算真不可证”,要么“计算假可证”

==由一般的算术规则出发

可以知DAO道:S+1=0+1=1


S-1=0-1= - 1

有哥德尔 不完备定理告诉我们存在YOU      cz 存在有 P不等于NP完全问题并且是不可证明的

表示为P≥(NP!)   不 等号成立条件(s=0000)
=========================================
作者: 云南玉龙之    时间: 2016-8-3 09:35
更改了一个字:
S=0时,计算机采用算术通用规则




哥德尔不完全性定理有-----要么“计算真不可证”,要么“计算假可证”

==由一般的算术规则出发

可以知DAO道:S+1=0+1=1


S-1=0-1= - 1

有哥德尔 不完备定理告诉我们存在YOU cz 存在有 P不等于NP完全问题并且是不可证明的

表示为P≥(NP!) 不 等号成立条件(s=0000)
=========================================
作者: 云南玉龙之    时间: 2016-8-11 21:42
物理来说-----存在就是证明。
数学而言,存在不等于证明,证明依靠公理为前提,进行演绎推理或归纳推理而证明命题,得出结论定理。
作者: 云南玉龙之    时间: 2016-12-9 21:50
发信人: a13312690681 (云南玉龙县杨艳红), 信区: Algorithm
标  题: 千禧年难题PNP的逻辑探讨
发信站: 水木社区 (Thu Dec  1 19:59:33 2016), 站内
  
天气千禧年难题P-NP与天气预报逻辑探讨
============中国 云南 玉龙纳西族自治县 杨艳红
  
P<---->NP(条件S=1)千禧年难题PNP的逻辑证明
The logical proof of P<---->NP (conditional S=1) Millennium puzzle PNP
[编辑] P和NP 满足条件S赋值为1,,则有:P<------>NP
Meet the conditions S assigned to 1, there are: P<------>NP
  
  
复杂度类P包含所有那些可以由一个确定型图灵机在多项式表达的时间内解决的问题;类NP由所有其肯定解可以在给定正确信息的多项式时间内验证的决定问题组成,或者等效的说,那些解可以在非確定型圖靈機上在多项式时间内找出的问题的集合。很可能,计算理论最大的未解决问题就是关于这两类的关系的:
  
[编辑] 学术定义
计算机天气预报显而易见是一个类P[WENTI]问题。
天气预报如果是有雨或者天晴。
DYI
定义
有雨是【1】
定义
天晴是【0】
预报有雨,实际天气也是下雨,则计算机天气预报是准的。
预报有雨,实际天气是晴,则计算机天气预报是不准。
======
预报天晴,实际天气也是天晴,则计算机天气预报是准的。
预报天晴,实际天气是下雨,则计算机天气预报是不准。
=====
有三种选择
AJ计算机天气预报的实际结果是准的。
BJ计算机天气预报的实际结果是不准的。
CJ计算机天气预报的实际结果是有时准有时不准。
===从计算机天气预报经时间到实际的天气状况的验证,不管从统计学还是实际经验来谈,可以得到验证的结果是CJ计算机天气预报的实际结果是有时准有时不准。
=====CONG从验证的时间检验的实际的天气结果如果用计算机语言逻辑来说结果是属于模糊逻辑。
即即计算机天气预报是数值计算是类P
===ER而可知:计算机天气预报的验证是类NP的。
====从实际经验来看有
1) 天气预报是类P,ER而天气预报的实际验证是类NP.
2)
3)
4) CHUL除了图灵停机问题外
5) 除了图灵停机问题外,所有的类PWT,类p问题不等于类NP问题
6) 除了图灵停机问题外,所有的类P问题等于类NP问题
7) 除了图灵停机问题外,有类P问题等于类NP问题,也有类P问题不等于类NP问题。
8)
9) 天气预报结果准加一分,天气预报结果不准减一分
10) 逻辑为S+1(准),S-1(不准), SFUZHU ……S赋值
  
  
定义  
有雨是表示为符号 F
  
  
定义  
天晴是表示为符号 L  
预报有雨,实际天气也是下雨,则计算机天气预报是准的。  
预报有雨,实际天气是晴,则计算机天气预报是不准。  
======  
预报天晴,实际天气也是天晴,则计算机天气预报是准的。  
预报天晴,实际天气是下雨,则计算机天气预报是不准。  
====================================
  
MFANG
  
模仿维特根斯坦真值表
  
[F ,F] 》S+1
  
[F ,L] 》S- 1
  
[L ,L] 》S+ 1
  
[L ,F] 》S - 1
  
YONG
  
用以1表示下雨,表示真,表示准
  
dou都符合维特根斯坦真值表规则
模仿维特根斯坦真值表
  
[F ,F] 》S+1       [1 ,1]》1+1  为1
  
  
  
[F ,L] 》S- 1       [1 ,0]》1- 1  为0
  
[L ,L] 》S+ 1     [0 ,0]》1+1  为1
  
[L ,F] 》S - 1      [0 ,1]》1- 1 为0
  
====考虑S赋值1
  
=====这是单次的天气预报的结论。
15 楼: 玉龙县杨艳红  关注  于 2016-05-22 19:04  发表    只看该作者    发短消息    加为好友  
对照仿维特根斯坦真值表
  
[F ,F] 》S+1       [1 ,1]》1+1  为1
  
  
  
[F ,L] 》S- 1       [1 ,0]》1- 1  为0
  
[L ,L] 》S+ 1     [0 ,0]》1+1  为1
  
[L ,F] 》S - 1      [0 ,1]》1- 1 为0
  
====考虑S赋值1
  
=====这是单次的天气预报的结论
  
由逻辑真值表得出:在S赋值为1的情况下,单次的天气预报与验证是证明出了
  
  
  
    P=(NP)
  
  
  
,在任何情况下,总有P = Q。即一个命题与其逆否命题等价。也记做: P ←→ Q
  
1) 天气预报是类P,ER而天气预报的实际验证是类NP.
  
  
  
  
  
          即P ←→ (NP)
  
即是) 除了图灵停机问题外,有类P问题等于类NP问题
=====S=0时,计算机采用算术通用规则
计算真与证明假
  
==由一般的算术规则出发
  
可以知道0-1= -1
  
===============
20 楼: 玉龙县杨艳红  关注  于 2016-05-23 08:44  发表    只看该作者    发短消息    加为好友  
S=0时,计算机采用算术通用规则
  
  
  
  
js计算真与证明假
  
==由一般的算术规则出发
  
可以知DAO道:S+1=0+1=1
  
  
S-1=0-1= - 1
==由一般的算术规则出发
S=0
可以知DAO道:S+1=0+1=1
  
  
S-1=0-1= - 1
=======================
有1+1-1+1-1+1.。。。。。。。的和是个悖论
===不证自明
  
有哥德尔 不完备定理告诉我们存在YOU      cz 存在有 P不等于NP完全问题并且是不可证明的
  
表示为P≥(NP!)    等号成立条件(s=0000)
=========================================
  
216 楼: 之zizizi十  关注  于 2016-05-23 18:20  发表    只看该作者    发短消息    加为好友  
计算机可以解决的问题就是计算机可以验证的问题  
等价:计算机不可验证的问题就是计算机不可解决的问题
《形式逻辑》金岳霖
  
2《虚实世界》哟翰。L.卡斯蒂
  
3,《维基百科》
  
4 《阿西莫夫科学指南》
  
5  《有趣的悖论详謬》---黄儒经  吴晓兰
  
回复   引用  
6姜咏江的博客
  
《视读逻辑学》  
--
作者: 云南玉龙之    时间: 2017-1-4 22:38
祝浏览的朋友新年快乐
作者: 云南玉龙之    时间: 2017-1-5 21:04
复杂度类P包含所有那些可以由一个确定型图灵机在多项式表达的时间内解决的问题;类NP由所有其肯定解可以在给定正确信息的多项式时间内验证的决定问题组成,或者等效的说,那些解可以在非確定型圖靈機上在多项式时间内找出的问题的集合。很可能,计算理论最大的未解决问题就是关于这两类的关系的:
P<---->NP(条件S=1)千禧年难题PNP的逻辑证明
The logical proof of P<---->NP (conditional S=1) Millennium puzzle PNP
[编辑] P和NP 满足条件S赋值为1,,则有:P<------>NP
Meet the conditions S assigned to 1, there are: P<------>NP
[编辑] 学术定义
计算机天气预报显而易见是一个类P问题。
天气预报如果是有雨或者天晴。
DYI
定义
有雨是【1】
定义
天晴是【0】
预报有雨,实际天气也是下雨,则计算机天气预报是准的。
预报有雨,实际天气是晴,则计算机天气预报是不准。
======
预报天晴,实际天气也是天晴,则计算机天气预报是准的。
预报天晴,实际天气是下雨,则计算机天气预报是不准。
=============================================
有三种选择
AJ计算机天气预报的实际结果是准的。
BJ计算机天气预报的实际结果是不准的。
CJ计算机天气预报的实际结果是有时准有时不准。
===从计算机天气预报经时间到实际的天气状况的验证,不管从统计学还是实际经验来谈,可以得到验证的结果是CJ计算机天气预报的实际结果是有时准有时不准。
=====CONG从验证的时间检验的实际的天气结果如果用计算机语言逻辑来说结果是属于模糊逻辑。
即即计算机天气预报是数值计算是类P
===ER而可知:计算机天气预报的验证是类NP的。
====从实际经验来看有
1) 天气预报是类P,ER而天气预报的实际验证是类NP.
4) CHUL除了图灵停机问题外
5) 除了图灵停机问题外,所有的类P,类p问题不等于类NP问题
6) 除了图灵停机问题外,所有的类P问题等于类NP问题
7) 除了图灵停机问题外,有类P问题等于类NP问题,也有类P问题不等于类NP问题。
8)
9) 天气预报结果准加一分,天气预报结果不准减一分
10) 逻辑为S+1(准),S-1(不准), SFUZHU ……S赋值
定义  
天晴是表示为符号 L  
预报有雨,实际天气也是下雨,则计算机天气预报是准的。  
预报有雨,实际天气是晴,则计算机天气预报是不准。  
======  
预报天晴,实际天气也是天晴,则计算机天气预报是准的。  
预报天晴,实际天气是下雨,则计算机天气预报是不准。  
====================================

MFANG

模仿维特根斯坦真值表

[F ,F] 》S+1

[F ,L] 》S- 1

[L ,L] 》S+ 1

[L ,F] 》S - 1
YONG

用以1表示下雨,表示真,表示准

dou都符合维特根斯坦真值表规则
模仿维特根斯坦真值表

[F ,F] 》S+1       [1 ,1]》1+1  为1



[F ,L] 》S- 1       [1 ,0]》1- 1  为0

[L ,L] 》S+ 1     [0 ,0]》1+1  为1

[L ,F] 》S - 1      [0 ,1]》1- 1 为0

====考虑S赋值1

=====这是单次的天气预报的结论。
由逻辑真值表得出:在S赋值为1的情况下,单次的天气预报与验证是证明出了



   P=(NP)



,在任何情况下,总有P = Q。即一个命题与其逆否命题等价。也记做: P ←→ Q

1) 天气预报是类P,ER而天气预报的实际验证是类NP.





         即P ←→ (NP)

即是) 除了图灵停机问题外,有类P问题等于类NP问题
前提S=1
计算机可以解决的问题就是计算机可以验证的问题  
等价:计算机不可验证的问题就是计算机不可解决的问题
====S=0时,计算机采用算术通用规则
计算真与证明假
==由一般的算术规则出发
S=0
可以知DAO道:S+1=0+1=1


S-1=0-1= - 1
=======================
有1-1+1-1+1-1+1.。。。。。。。的和是个悖论
===不证自明
有1-1+1-1+1-1+1.。。。。。。。的和是个悖论
===不证自明
有哥德尔 不完备定理告诉我们存在YOU      cz 存在有 P不等于NP完全问题并且是不可证明的

表示为P≥(NP!)    等号成立条件(s=0000)
1 《形式逻辑》金岳霖

2《虚实世界》哟翰。L.卡斯蒂

3,《维基百科》

4 《阿西莫夫科学指南》

5  《有趣的悖论详謬》---黄儒经  吴晓兰



6 姜咏江的博客
7 《视读逻辑学》
作者: 云南玉龙之    时间: 2017-1-27 17:35
计算机可以处理的问题包括图像处理。语音输入,数值计算

图像处理与语音输入与数值计算的三者交集就是二进制:0,1

对0,1进行穷举法有【0,0】【0,1】【1,0】【1,1】四种

===计算机验证解的正确与否是S+1,S-1
作者: 云南玉龙之    时间: 2017-4-16 09:29
sx数学中国论坛
作者: 云南玉龙之    时间: 2017-6-13 21:23
谜语
=
远看一头牛/
近看不是牛/
东边轱噜噜/
稀屎两边流
作者: 云南玉龙之    时间: 2017-10-22 11:50
引用请著名出处
作者: 云南玉龙之    时间: 2017-11-3 09:48
谢谢你的阅读
作者: 云南玉龙之    时间: 2017-11-3 09:51
谢谢你的阅读
作者: 云南玉龙之    时间: 2018-8-10 01:03
在凯迪社区是接近十万的点击了
作者: 云南玉龙之    时间: 2019-4-21 16:11

计算机可以解决的问题就是计算机可以验证的问题
等价:计算机不可验证的问题就是计算机不可解决的问题  为真
前提条件 :S=1
作者: 云南玉龙之    时间: 2020-3-10 10:08
数学中国论坛,原命题与逆否命题是同真同假,还要证明命题是真还是假
作者: 云南玉龙之    时间: 2020-3-10 10:09
3450阅览
作者: 云南玉龙之    时间: 2021-2-9 11:24
可解决                可验证      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的前题下,则命题真假不定,不可判定
作者: 云南玉龙之    时间: 2021-2-9 11:24
4829个阅览
作者: 云南玉龙之    时间: 2021-2-26 22:58
由原命题的逆否命题"计算机不可验证的问题就是计算机不可解决的问题"的否命题~G:[计算机可验证的问题就是计算机可解决的问题],∵我们知道像费马大定理的解是计计算机可以验证但不可证明,即计算机可以验证的问题即计算机可以解决(证明)是假的,由~G=0(假),则~~G=1(真),即计算机不可验证的问题是计算机不可解决的问题是个真命题
作者: 云南玉龙之    时间: 2021-3-1 15:44
  1. p&#8596;q &#8660; (p→q)∧(q→p)
复制代码

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

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

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

  杨老师您好!

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

祝好!

邢滔滔


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

尊敬的邢教授,你好!
邢教授,你好,我从网上搜到你是中国数理逻辑界的权威了。我是一名残疾人,希望能够以知识改变命运,我将《千禧年难题PNP的逻辑探讨》向大学期刊投稿了,可编辑老师说要有大学教授的推荐信才可以发表,希望没浪费你的时间,帮我看看论文并写封推荐信。一个渴望能得到你帮助的人
作者: 云南玉龙之    时间: 2021-9-9 08:10
邢滔滔北大教授
作者: 云南玉龙之    时间: 2022-1-9 09:07
使用道具
云南玉龙之

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
作者: 云南玉龙之    时间: 2022-1-13 09:39
结论,除图灵停机问题外,有类P问题等于类NP问题,也有类P问题不等于类NP问题
作者: 云南玉龙之    时间: 2022-1-30 21:11
我是71生的,89年考入武汉工学院电子系工业自动化专业,大学读了两年半,就退学了,原因是重症精神分裂症。从92年到2012年都发病,2005年父亲病逝前是一个月病一次,05年到12年之间是一年发病两次。2012年打老婆,家里人把我送到精神病专科医院住院8个月后,药物控制,从2012年到现在是没发过病了。[cp]过去(2005年前)天天都是吃舒必利,一个月发一次,发一次是个把星期,发病了父亲就加上氯氮平,五氧利多。2005年父亲病逝后,老婆一个星期给吃一颗10亳克的五氟利多,一年发病两次,病了就加氯氮平。2012年大发作,打老婆,我被送进了玉林医院民营专科精神病医院住院8个月出院到现在没发过病[/cp]现在是自己种了3亩2的地,开销是一家都啃老,母亲健在,是小高退休,只是母亲86岁了,我想靠知识改变命运,我研究千禧年难题PNP问题,BSD猜想,黎曼猜想,杨米尔斯方程,我将杨米尔斯方程的证明向清华大学期刊投稿了,只是清华的编辑老师说要有大学教授的推荐信才可以出版,我现在生活是啃老,儿子是去年高中毕业,考上大专,生活费是娃娃的两个姑妈负担。现在的生活是种地与买彩票,彩票是2018年1月9日中3P一百倍单选2o倍组选得奖金107460元
作者: 云南玉龙之    时间: 2022-3-8 08:16
《千禧年难题PNP的逻辑证明》
摘要":图灵的图灵机工作原理。这个装置包含一条无限长的磁带,上面划有小格,每一格上包含符号0或1,另有一个能够呈几种状态的读写头。读写头可以沿着磁带逐格移动,每一步执行下列行为中一项:在当前格子中书写1,在当前格子中书写0,向左移动一格,向右移动一格,将当前状态改写为另一状态,保持当前状态,停机。
就这样,读写头的每一步仅有这7种可能性。但图灵指出,对上述有限行为进行组合的机器,能够计算任何可被计算的过程。"由天气预报的逻辑真值表可构成P,NP关系的逻辑架构,将图灵机读写头的移动和状态直接用0,1逻辑代数表达式表达运算,可得出P,NP关系的逻辑真值表。
结论:由逻辑真值表可得出,存在前提S=1,则至少有一个P问题等于NP问题即P←→NP(P=NP),对所有的类P及类NP问题,则有P=NP,也有P≠NP
作者: 云南玉龙之    时间: 2022-6-28 21:27
北京大学计算机李晓明教授给我的回复
你好,很钦佩你挑战世界难题的勇气。

只是计算机科学的内容很多,我不是这方面的专家,不可能做出对错的判断,因此也不适合与你合作。

如果你对证明过程是比较确信正确的,可以在arxiv.org&#160;上发表出来。那是一个开放发表平台,投上去以后,

如果先前没人投,这著作权就是你的了。至于它对错与否、价值如何,则是由学界来评价了。
作者: Nicolas2050    时间: 2022-6-28 21:46
送你一句话:把身体养好,过几年消停的日子。别做梦了。
作者: 云南玉龙之    时间: 2022-7-15 00:24
[cp]@幼儿园大班炊事员阿燕: 圣人讲的"劳心者治人,劳力者治于人",过去儿子成绩不好,学习不用功,贪手机,问儿子,以后你怎么办?回答是"我有一双手的",不让我太满意,怎么不说我有脑子,有一双手,靠劳动能得一碗饭也不错了(虽然不能让俄满意)。不过机会都是为有准备的人准备吧。这几天,联微信都是在图书馆,这还是让我满意欣慰了,联了4次都是在图书馆
靠脑子吃饭,可以做人上人,靠双手吃饭,自食其力也不错了,有碗饭吃也就行了,儿孙自有儿孙福[/cp]
作者: 云南玉龙之    时间: 2022-12-31 10:29
由图灵机读写头存在左移一格表示S-1,右移一格表示为S+1,组成P,NP逻辑框架的逻辑真值表组可以归约为天气预报的逻辑真值表(即本论文的基本出发点),好像是表述得逻辑上是成立的
作者: 被遗弃的草根    时间: 2023-1-3 20:07
楼主说:“我想靠知识改变命运,我研究千禧年难题PNP问题,BSD猜想,黎曼猜想,杨米尔斯方程,我将杨米尔斯方程的证明向清华大学期刊投稿了,只是清华的编辑老师说要有大学教授的推荐信才可以出版,”
-----------------------------------------------------------------------------------------------

我认为:千禧年难题不是那么好证明的,如果你专注于靠证明千禧年难题来改变你的命运,恐怕你这辈子很难很难实现。
要证明数学难题,无论是专业数学家或者业余数学爱好者都是以正常工作外的精力去研究的,首先,要保证正常的生活,然后,如果有兴趣,时间和精力,才去钻研难题。
再则,你研究千禧年难题的精神可嘉,但我认为不能蜻蜓点水、面面俱到,要集中精力先突破一道题,待论文发表被公认后,再作其它。伟大领袖毛主席军事思想中有一点就是“伤其十指,不如断其一指”,我看,也适合于搞数学研究。
以上看法,仅供参考。
其实,我也是一个业余数学爱好者,我采用的办法有点像毛主席“由农村包围城市“的方针,先投一些一般的数学杂志,发表一些没有设奖的难题证明,而后,对证明有奖难题的文章,一定投到比较主要的数学杂志去,不管杂志录不录用,我都得这么做。
我也考虑过千禧年难题,确实很难,无从下手。我想:对于黎曼假设,能否证明它的每个因式为0时,实数部分都在1/2线上;对于质量缺失问题,会不会与堆积的球在趋向无限缩小过程中,无法测准的质量有关;等等。
作者: 云南玉龙之    时间: 2023-1-14 22:53
关于新冠的预言诗大概2003年梦到
五谷唱尽六安绝,
职务还在定兴亡,
只为非典再倡行,
五行星环尽数王,
五行数怀尽星王。
分析如下:五谷(Gu)即5G,五G时代的到来发生了非典2(再),②五谷是否有武汉  &#8203;的意思?五行星即五星红旗,③尽六安绝,有3个尽(晋),安()晋3之死。从五的数字来看疫情要发展到2025年了
作者: 云南玉龙之    时间: 2023-1-17 14:21
被遗弃的草根 发表于 2023-1-3 12:07
楼主说:“我想靠知识改变命运,我研究千禧年难题PNP问题,BSD猜想,黎曼猜想,杨米尔斯方程,我将杨米尔斯 ...

张天树先生,是否可以合作角谷猜想证明,给个回复,如果可以合作,给个你的电邮
作者: 云南玉龙之    时间: 2023-2-2 23:28

你好,很钦佩你挑战世界难题的勇气。
只是计算机科学的内容很多,我不是这方面的专家,不可能做出对错的判断,因此也不适合与你合作。
如果你对证明过程是比较确信正确的,可以在 arxiv.org 上发表出来。那是一个开放发表平台,投上去以后,
如果先前没人投,这著作权就是你的了。至于它对错与否、价值如何,则是由学界来评价了。



点击隐藏引用邮件
在 2022年2月2日,下午6:27,云南玉龙杨艳红 < 13312690681m@sina.cn> 写道:

尊敬的李教授,你好
尊敬的李教授,你在微博上问复了我"不好用简单的对错来判定",你看一下《千禧年难题PNP的逻辑证明》有没有可以发在期刊上的价值。从大的方面来讲,证明出来可以为国添光争采,为民族争光,小的来讲,我想挣得一百万美金。如果可以,你我是否可以合作,发表论文由你投稿,不管可以不可以合作,望尊敬的李教授给个回复

作者: 云南玉龙之    时间: 2023-2-2 23:31
杨老师您好!

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

祝好!

邢滔滔


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

尊敬的邢教授,你好!
邢教授,你好,我从网上搜到你是中国数理逻辑界的权威了。我是一名残疾人,希望能够以知识改变命运,我将《千禧年难题PNP的逻辑探讨》向大学期刊投稿了,可编辑老师说要有大学教授的推荐信才可以发表,希望没浪费你的时间,帮我看看论文并写封推荐信。一个渴望能得到你帮助的人
作者: 云南玉龙之    时间: 2023-2-15 08:50
《千禧年难题PNP的逻辑证明》
摘要":图灵的图灵机工作原理。这个装置包含一条无限长的磁带,上面划有小格,每一格上包含符号0或1,另有一个能够呈几种状态的读写头。读写头可以沿着磁带逐格移动,每一步执行下列行为中一项:在当前格子中书写1,在当前格子中书写0,向左移动一格,向右移动一格,将当前状态改写为另一状态,保持当前状态,停机。
就这样,读写头的每一步仅有这7种可能性。但图灵指出,对上述有限行为进行组合的机器,能够计算任何可被计算的过程。"由天气预报的逻辑真值表可构成P,NP关系的逻辑架构,将图灵机读写头的移动和状态直接用0,1逻辑代数表达式表达运算,可得出P,NP关系的逻辑真值表。
结论:由逻辑真值表可得出,存在前提S=1,则至少有一个P问题等于NP问题即P←→NP(P=NP),对所有的类P及类NP问题,则有P=NP,也有P≠NP
作者: 云南玉龙之    时间: 2023-2-15 08:58
http://www.mathchina.com/bbs/for ... TJ8MTA3NTk3Mw%3D%3D
作者: 云南玉龙之    时间: 2023-2-15 09:00
千禧年难题PNP逻辑证明的文件http://www.mathchina.com/bbs/for ... TJ8MTA3NTk3Mw%3D%3D
作者: 云南玉龙之    时间: 2023-2-15 09:05
云南玉龙之 发表于 2023-2-2 15:28
你好,很钦佩你挑战世界难题的勇气。
只是计算机科学的内容很多,我不是这方面的专家,不可能做出对错的 ...

李晓明教授是北大计算机教授
作者: 云南玉龙之    时间: 2023-2-15 09:06
云南玉龙之 发表于 2023-2-2 15:31
杨老师您好!

感谢您来信并寄来大作。我虽然从事逻辑,但身在哲学系,主要关心哲学逻辑问题,而不是数理 ...

邢滔滔教授是北大逻辑学教授
作者: 被遗弃的草根    时间: 2023-2-15 10:01
本帖最后由 被遗弃的草根 于 2023-2-19 00:37 编辑

楼主:


继续努力!
作者: 云南玉龙之    时间: 2023-2-15 10:13
被遗弃的草根 发表于 2023-2-15 02:01
楼主:

你好!

我英语不行,看不懂。发了美国预印本平台arxiv.org, 也是要有一个推荐人
作者: 云南玉龙之    时间: 2023-2-15 22:46
图灵机工作原理,《虚实世界》P52页《千禧年难题PNP的逻辑证明》
摘要":图灵的图灵机工作原理。这个装置包含一条无限长的磁带,上面划有小格,每一格上包含符号0或1,另有一个能够呈几种状态的读写头。读写头可以沿着磁带逐格移动,每一步执行下列行为中一项:在当前格子中书写1,在当前格子中书写0,向左移动一格,向右移动一格,将当前状态改写为另一状态,保持当前状态,停机。
就这样,读写头的每一步仅有这7种可能性。但图灵指出,对上述有限行为进行组合的机器,能够计算任何可被计算的过程。"由天气预报的逻辑真值表可构成P,NP关系的逻辑架构,将图灵机读写头的移动和状态直接用0,1逻辑代数表达式表达运算,可得出P,NP关系的逻辑真值表。
结论:由逻辑真值表可得出,存在前提S=1,则至少有一个P问题等于NP问题即P←→NP(P=NP),对所有的类P及类NP问题,则有P=NP,也有P≠NP
作者: 云南玉龙之    时间: 2023-2-15 22:53
知识一方面是重复,另一方面是创新,我的沦文谈不上创新,就像是图灵的图灵机的I工作原理的复写
作者: 云南玉龙之    时间: 2023-2-15 22:53
知识一方面是重复,另一方面是创新,我的沦文谈不上创新,就像是图灵的图灵机的I工作原理的复写
作者: 云南玉龙之    时间: 2023-2-16 17:36
以一整数小c表示为c=log (N*1/N*ⅹ)
则- c=- log (N*1/N*ⅹ),
f(c)十F(- c)=log (N*1/N*ⅹ)十log (N*1/N*1/ⅹ)=000000
即f(1)十F(- 1)=f(1)一F(1)=000000
作者: 云南玉龙之    时间: 2023-2-17 20:01
沦文可能没意义,给张益唐先生发过电邮但没回复
作者: 云南玉龙之    时间: 2023-2-20 09:40
论文2月19号提交美vixra.org 网站了,发不发表通过,两天后知道
作者: 云南玉龙之    时间: 2023-2-23 10:27
美国的vixra.org 网站发表没通过,暂时还不知道原因
作者: 云南玉龙之    时间: 2023-2-23 22:09
美国《纯数学与应用数学学报》给了个约稿函的回复
作者: 云南玉龙之    时间: 2023-2-24 09:42
vixra.org 上发表成功了
作者: 云南玉龙之    时间: 2023-2-25 10:43
被遗弃的草根 发表于 2023-1-3 12:07
楼主说:“我想靠知识改变命运,我研究千禧年难题PNP问题,BSD猜想,黎曼猜想,杨米尔斯方程,我将杨米尔斯 ...

尊敬的张老师,你是我的贵人了,本论文提交vixra.org 网站成功,你给能帮帮我,将不收费的美国数字期刊网址列表给我一下
作者: 云南玉龙之    时间: 2023-2-25 21:54
《千禧年难题PNP的逻辑证明》在美预印本vixra.org 发表,并且收到《纯数学与应用数学学报》编辑部的约稿函
Journal Impact Factor: 4.00
ISSN: 2752-8081

Dear Prof. Yang Yanhong
Greetings from the PULJPAM.

We are glad to have established ourselves as a ruling Journal of Pure and Applied Mathematics. Aside from conceptual and theoretical, the journal encourages the use of mathematics in various other scientific fields, such as Algebra, Analysis, approximation theory, Geometry, statistics, Mathematical Biology, Topology, Number Theory, etc.

We reviewed your research profile and enjoyed your article entitled "Logical proof of the millennium puzzle PNP". We acknowledge the “authors' extraordinaire” and their research by providing rapid publications within 30-40 days, validated by rigorous peer review with the author’s benefit.

Why publish with us?

Transparent peer-review process with proofs of review comments and editor’s decisions
Get your id and passwords for tracking your manuscript anytime during the process
NIH-funded articles will be directly indexed in PubMed
If you could submit any of the Editorials, Short communication, Research, Case reports, Reviews, or Articles for our future issue, that would be enormous.
We sincerely admire you for publishing your valuable research papers in the Journal of Pure and Applied Mathematics. The manuscript can be Appeasement or through mail id: puremath[at]esciencejournal[dot].org

Note:  If you're interested to join the Editorial Board of the journal, kindly send in your CV to the mail mentioned earlier.

Kindly revert for further assistance.

Regards,
Serena Shirley
Managing Editor
Journal of Pure and Applied Mathematics
WhatsApp: +447723598358
作者: 云南玉龙之    时间: 2023-2-26 09:48
加上验证两个字
定义
有雨是[1]
天睛是[0]
从实际经验来看,计算机天气预报是类 P,而天气预报的实际验证是类 NP
①预报有雨,实际验证天气也是下雨,则计算机天气预报是准的。
②预报有雨,实际验证天气是睛,则计算机天气预报是不准。
③预报天睛,实际验证天气也是天晴,则计算机天气预报是准:的
④预报天睛,实际验证天气是下雨,则计算机天气预报是不准
⑤天气预报结果准加一分(S+1),天气预报结果不准减一分(S-1)
⑥逻辑为 S+1(准),S-1(不准)……S 赋值
可得到逻辑真值表
作者: 云南玉龙之    时间: 2023-2-26 17:04
邀请函是英语的,一开始说发简历给他们,可以加入期刊编辑部。身份证电邮给他们就可以发论文了,现在身份证电邮之后是又发来发论文是要会员制,缴3000欧元可以两年之内无限制发论文。可能是骗人的吧了
作者: 云南玉龙之    时间: 2023-3-4 20:40

作者:Matrix67

来源:下文即将介绍逻辑电路问题。这是第一个NPC问题。其它的NPC问题都是由这个问题约化而来的。因此,逻辑电路问题是NPC类问题的“鼻祖”。

逻辑电路问题是指的这样一个问题:给定一个逻辑电路,问是否存在一种输入使输出为True。

什么叫做逻辑电路呢?一个逻辑电路由若干个输入,一个输出,若干“逻辑门”和密密麻麻的线组成。看下面一例,不需要解释你马上就明白了。
作者: 云南玉龙之    时间: 2023-3-5 09:23
由最后一个表格,可得一个输入使输出是全真的逻辑门
作者: 云南玉龙之    时间: 2023-3-9 22:20
Dear Prof.
Greetings from the PULJPAM.



Kindly share your manuscript to publish your paper with us.

Also we provide the membership to our author in just 3000
作者: 云南玉龙之    时间: 2023-3-9 22:22
亲爱的教授
来自PULJPAM的问候。


请与我们分享您的稿件以发表您的论文。

此外,我们提供的会员资格,我们的作者在短短3000如果你有兴趣通过这个链接支付金额:

通过会员计划,您可以提交您的无限文章在我们的期刊2年


如需进一步协助,敬请回复。

问候你,
瑟琳娜·雪莉
执行编辑
纯数学与应用数学学报
WhatsApp: +447723598358
作者: 云南玉龙之    时间: 2023-3-10 20:35
李晓明,男,1957年5月出生, 湖北 荆州 市 沙市 区人。中国计算机技术的播火人之一, 北京大学 校长助理,1982年获 哈尔滨工业大学 学士学位 ,1986年获美国 史蒂文斯理工学院 博士学位。现任 北京大学 计算机科学技术系教授, 博士生导师 , 中国计算机学会 副理事长, 教育部 高等学校计算机教学指导委员会副主任委员,美国电气工程荣誉学社Eta Kappa Nu社员, IEEE 高级会员, ACM 会员。 [1]

2015年1月31日,李晓明获得2014 CCF杰出教育奖。 [2]

北京大学瑞声慕课讲席教授,慕课推进工作组组长,副教务长。曾任北京大学计算机系主任,中国计算机学会副理事长,国家教育部计算机教指委副主任,北京大学校长助理、大湾区大学(筹)二级负责人。 [5][6]
作者: 云南玉龙之    时间: 2023-3-15 22:27
李晓明教授给我电邮回复是建议投稿arxiv.org
作者: 被遗弃的草根    时间: 2023-3-22 22:14
云南玉龙之 发表于 2023-2-25 13:54
《千禧年难题PNP的逻辑证明》在美预印本vixra.org 发表,并且收到《纯数学与应用数学学报》编辑部的约稿函
...

Journal of Pure and Applied Mathematics
Journal Impact Factor: 4.00
ISSN: 2752-8081

Dear Prof. Zhang Tianshu
Greetings from the PULJPAM.

We are glad to have established ourselves as a ruling Journal of Pure and Applied Mathematics. Aside from conceptual and theoretical, the journal encourages the use of mathematics in various other scientific fields, such as Algebra, Analysis, approximation theory, Geometry, statistics, Mathematical Biology, Topology, Number Theory, etc.

We reviewed your research profile and enjoyed your article entitled "A Proof of the Erd&#246;s-Straus Conjecture". We acknowledge the “authors' extraordinaire” and their research by providing rapid publications within 30-40 days, validated by rigorous peer review with the author’s benefit.

Why publish with us?

Transparent peer-review process with proofs of review comments and editor’s decisions
Get your id and passwords for tracking your manuscript anytime during the process
NIH-funded articles will be directly indexed in PubMed
If you could submit any of the Editorials, Short communication, Research, Case reports, Reviews, or Articles for our future issue, that would be enormous.
We sincerely admire you for publishing your valuable research papers in the Journal of Pure and Applied Mathematics. The manuscript can be Appeasement or through mail id: puremath[at]esciencejournal[dot]org

Note:  If you're interested to join the Editorial Board of the journal, kindly send your CV to the mail mentioned earlier.

Kindly revert for further assistance.

Regards,
Serena Shirley
Managing Editor
Journal of Pure and Applied Mathematics
WhatsApp: +447723598358


作者: 云南玉龙之    时间: 2023-7-2 23:33
做个农民,就是种好地,我不甘心做个农民,我研究了千禧年难题,并且可以在外国期刊发表了,只是发表要出1050欧元的钱,将近8千多人民币了,我没钱,在微博上众筹行吗,有人可以帮帮我吗? &#8203;&#8203;&#8203;
作者: 云南玉龙之    时间: 2023-7-5 11:22
李晓明教授退休前任北大校长助理,北大计算机糸主任
作者: 云南玉龙之    时间: 2023-7-10 00:46
云南玉龙之 发表于 2023-7-2 15:33
做个农民,就是种好地,我不甘心做个农民,我研究了千禧年难题,并且可以在外国期刊发表了,只是发表要出10 ...

我没投,就是论文发在vixra.org 网站后,对方耒函
作者: 被遗弃的草根    时间: 2023-7-22 18:47
本帖最后由 被遗弃的草根 于 2023-12-14 01:47 编辑

既然无参考价值,又何必放在这儿,。。。。。。
作者: 云南玉龙之    时间: 2023-8-9 23:13
尊敬的杨彦宏博士:

非常感谢您为我们的杂志的贡献。

这封邮件是通知您,您的文章已被接受出版。


我会送你你的文章和发票2599美元的画廊证明。


《当前统计与数学研究》是一个开放获取的出版商,标准出版费为2599美元。


手续费用于网站维护、构建PDF、DOI、审核流程、证书、社交媒体推广和其他服务。


请让我知道,以确认有关文章的出版费。


期待您的回复。


真诚的,

哈泽尔·米切尔

责任编辑
作者: 云南玉龙之    时间: 2023-8-23 23:24

北京大学计算机李晓明教授给我的回复
你好,很钦佩你挑战世界难题的勇气。

只是计算机科学的内容很多,我不是这方面的专家,不可能做出对错的判断,因此也不适合与你合作。

如果你对证明过程是比较确信正确的,可以在arxiv.org&#160;上发表出来。那是一个开放发表平台,投上去以后,

如果先前没人投,这著作权就是你的了。至于它对错与否、价值如何,则是由学界来评价了。

作者: 云南玉龙之    时间: 2023-8-23 23:25
李晓明,男,1957年5月出生, 湖北 荆州 市 沙市 区人。中国计算机技术的播火人之一, 北京大学 校长助理,1982年获 哈尔滨工业大学 学士学位 ,1986年获美国 史蒂文斯理工学院 博士学位。现任 北京大学 计算机科学技术系教授, 博士生导师 , 中国计算机学会 副理事长, 教育部 高等学校计算机教学指导委员会副主任委员,美国电气工程荣誉学社Eta Kappa Nu社员, IEEE 高级会员, ACM 会员。 [1]

2015年1月31日,李晓明获得2014 CCF杰出教育奖。 [2]

北京大学瑞声慕课讲席教授,慕课推进工作组组长,副教务长。曾任北京大学计算机系主任,中国计算机学会副理事长,国家教育部计算机教指委副主任,北京大学校长助理、大湾区大学(筹)二级负责人。 [5][6]

作者: 云南玉龙之    时间: 2023-8-23 23:54
千禧年难题 PNP 的逻辑证明
作者杨艳红 云南省丽江市玉龙县 杨雨宁 上海师范大学
13312690681m@sina.cn
关健词:逻辑真值表,布尔代数,高阶逻辑,图灵机读写头
摘要
存在前提 S=1,则有存在至少有一个 P 问题(计算机可解决的问题)等于 NP 问题(解是计算机可验证的问题)即
P←→NP(P=NP)
结论:对所有的类 P 及类 NP 问题,则有 P=NP,也有 P≠NP
P 和 NP[编辑]
类 P 即为所有由计算机可解决的问题
类 NP 即为所有解可以验证解是否正确的问题
演绎:由假设和普遍原理得出特殊事件的推断和预测,利用逻辑规则分析时,演绎推断依赖于一组最初假设即(公理),
假如最初假设为真同时分析中不存在逻辑矛盾,依照逻辑规则,则结论就必定为真:
计算机可以处理的问题包括图像处理,语音输入,数值计算,三者的交集就是二进制:0,1
对 0,1 有[0,0] [0,1] [1,0] [1,1]四种
有布尔代数 0+1=1,
则可知 1-1=0 是一个逻辑表达式为同一事物同时即存在又不存在是不可能的
讨论一个特殊问题
计算机天气预报显而易见是一个类 P 问题
天气预报如果是有雨或者天睛
定义
有雨是[1]
天睛是[0]
从实际经验来看,计算机天气预报是类 P,而天气预报的实际验证是类 NP
①预报有雨,实际天气也是下雨,则计算机天气预报是准的。
②预报有雨,实际天气是睛,则计算机天气预报是不准。
③预报天睛,实际天气也是天晴,则计算机天气预报是准:的
④预报天睛,实际天气是下雨,则计算机天气预报是不准
⑤天气预报结果准加一分(S+1),天气预报结果不准减一分(S-1)
⑥逻辑为 S+1(准),S-1(不准)……S 赋值
可得到逻辑真值表
表一
1 1 S+1
1 0 S-1
0 0 S+1
0 1 S-1
由布尔代数 S+1=1+1=1
S-1=1-1=0
表二
1 1 1
1 0 0
0 0 1
0 1 0

作者: 云南玉龙之    时间: 2023-8-23 23:55
由天气预报建立的逻辑真值表可归化为 P(解决,NP(验证)难题的逻辑框架的逻辑真值表
图灵机读写头向左动一格为 S-1,向右移动一格 S+1
表三
P NP
F F S+1
F L S-1
L L S+1
L F S-1
表四
P NP
1 1 1
1 0 0
0 0 1
0 1 0
由逻辑表真值表可得出
在 S 赋值为 1 的情况下 P=NP 记作 P&#61663;&#61664;NP
对于所有类 P 及所有类 NP
由电路开关有开和关两种状态,有 2^n 的表达式
构造多项式
存在 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
因为高阶逻辑 2^(n+1)=1
即 S=2^(n+1)-1
S=1-1
S=0
可得出一个逻辑值表
P NP
F F 0+1
F L 0-1
L L 0+1
L F 0-1
即不存在 P=NP 的表达式,为 P≠NP
对于单次 S=1 或 S=0
构建新的逻辑表及逻辑式
S&#8322; =0 表示读写头保持当前状态,将当前状态改写为另一状态逻辑表达式为 S&#8322; +1(S&#8322; =0)

作者: 云南玉龙之    时间: 2023-8-23 23:56
P NP
F F 1
F L 0
L L 1
L F 0
P NP
F F
S&#8322; +1
F L
S&#8322;
L L
S&#8322; +1
L F
S&#8322;
P NP
F F 1
F L 1
L L 1
L F 1
作者: 云南玉龙之    时间: 2023-8-23 23:57
S=0 则布尔代数 S+1=1
S&#8322; =0 S&#8322; +1=1
可知在单次 S&#8322; =0 下也有 P=NP 即 P&#61663;&#61664;NP
S=1 则为,S+1=1,S=1
S&#8322; =1 则 S&#8322; +1=1 S&#8322; =1
S&#8322; =1 则 P≠NP
综合以上的逻辑表格
可以得出结论除了图灵停机问题外
有类 p 问题等于类 NP 问题,也有类 p 问题不等于类 NP 问题。
参考文献
1、《形式逻辑》金岳霖
2、《虚实世界》 约翰.L.卡斯蒂.P52,P128
作者: 云南玉龙之    时间: 2023-8-29 09:02
《千禧年难题PNP的逻辑证明》在美预印本 vixra.org 发表,并且收到《纯数学与应用数学学报》编辑部的约稿函
期刊影响因子:4.00
ISSN:2752-8081

尊敬的杨彦宏
教授 来自PULJPAM的问候。

我们很高兴将自己确立为纯粹和应用数学的统治期刊。除了概念和理论之外,该期刊还鼓励数学在其他各种科学领域的使用,如代数,分析,近似理论,几何,统计学,数学生物学,拓扑学,数论等。

我们通过在30-40天内提供快速出版物来认可“作者的非凡”及其研究,并通过严格的同行评审验证,使作者受益。

为什么要与我们一起发布?

透明的同行评审流程,包括评审意见和编辑决定
的证明 获取您的ID和密码,以便在过程中
随时跟踪您的稿件 NIH资助的文章将直接在PubMed
中索引 如果您可以为我们未来的问题提交任何社论,简短的交流,研究,案例报告,评论或文章,那将是巨大的。
我们衷心感谢您在《纯粹与应用数学杂志》上发表您宝贵的研究论文。稿件可以是 Easement 或通过邮件 ID:puremath[at]esciencejournal[dot].org

注意:如果您有兴趣加入该期刊的编辑委员会,请将您的简历发送到前面提到的邮件。

请回复以获得进一步的帮助。

问候,
Serena Shirley
执行编辑
Journal of Pure and Applied Mathematics
WhatsApp: +447723598358

作者: 云南玉龙之    时间: 2023-8-29 14:31
我的《PNP证明》去年7月25号投稿中科院智慧火花网,到现在都还是在审稿
作者: 云南玉龙之    时间: 2023-8-29 14:36
本论文没有创新,只是图灵的图灵机的工作原理的复写
作者: 云南玉龙之    时间: 2023-8-29 14:42
《千禧年难题PNP的逻辑证明》
摘要":图灵的图灵机工作原理。这个装置包含一条无限长的磁带,上面划有小格,每一格上包含符号0或1,另有一个能够呈几种状态的读写头。读写头可以沿着磁带逐格移动,每一步执行下列行为中一项:在当前格子中书写1,在当前格子中书写0,向左移动一格,向右移动一格,将当前状态改写为另一状态,保持当前状态,停机。
就这样,读写头的每一步仅有这7种可能性。但图灵指出,对上述有限行为进行组合的机器,能够计算任何可被计算的过程。"由天气预报的逻辑真值表可构成P,NP关系的逻辑架构,将图灵机读写头的移动和状态直接用0,1逻辑代数表达式表达运算,可得出P,NP关系的逻辑真值表。
结论:由逻辑真值表可得出,存在前提S=1,则至少有一个P问题等于NP问题即P←→NP(P=NP),对所有的类P及类NP问题,则有P=NP,也有P≠NP
作者: 云南玉龙之    时间: 2023-8-29 14:50
《千禧年难题PNP的逻辑思维存在性的证明》在凯迪网上点击数是101万多
作者: 云南玉龙之    时间: 2023-10-25 21:18
没有钱,有钱就可以在外国期刊上发表了
作者: 云南玉龙之    时间: 2023-12-4 09:21
通过了外国期刊的两次审核,只是出版费要2599美金
作者: 云南玉龙之    时间: 2023-12-13 09:16
图灵机工作原理,《虚实世界》P52页《千禧年难题PNP的逻辑证明》
摘要":图灵的图灵机工作原理。这个装置包含一条无限长的磁带,上面划有小格,每一格上包含符号0或1,另有一个能够呈几种状态的读写头。读写头可以沿着磁带逐格移动,每一步执行下列行为中一项:在当前格子中书写1,在当前格子中书写0,向左移动一格,向右移动一格,将当前状态改写为另一状态,保持当前状态,停机。
就这样,读写头的每一步仅有这7种可能性。但图灵指出,对上述有限行为进行组合的机器,能够计算任何可被计算的过程。"由天气预报的逻辑真值表可构成P,NP关系的逻辑架构,将图灵机读写头的移动和状态直接用0,1逻辑代数表达式表达运算,可得出P,NP关系的逻辑真值表。
结论:由逻辑真值表可得出,存在前提S=1,则至少有一个P问题等于NP问题即P←→NP(P=NP),对所有的类P及类NP问题,则有P=NP,也有P≠NP




欢迎光临 数学中国 (http://www.mathchina.com/bbs/) Powered by Discuz! X3.4