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

云南玉龙之

    作者:ylf521 (2010-10-02 17:36:02) 得票:14

    演绎：由假设和普谝原理得出特殊事件的推断和预测

    利用逻辑规则分析时，演绎推断依赖于一组最初假设既（公理）假如最初假设为真同时分析中不存在逻辑

    矛盾，依照逻辑规则则结论就必定为真

    图灵提出的问题----------------------------------给定一台计算机的一个程序F ，Y以及该程序将处

    理的输入数据集Q，是否存在一个算法，使我们预先知道程序F ，在处理数据Q 的过程中是否将在有限步

    骤之后停止

    注意图灵追求的是这样一个程序

    它将对所有可能的程序F与输入Q决定是否停机

    图灵1936发表文章指出“停机问题”无解，即不存在这样的算法

    --------------------------------《虚实世界》------计算机仿真如何改变科学的疆域 作者:ylf521

    (2009-04-27 11:32:24) 得票:0

    作者:ylf521 (2009-04-02 23:09:59) 得票: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

    谢谢您的阅读, 您是本文第 167 个阅览者 关闭窗口

    第1条回复： 参与讨论 推荐

    作者:ylf521你好 于 2008-11-23 15:15:44.0 发表  来自： 发送短消息

    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

    谢谢您的阅读, 您是本文第 167 个阅览者 关闭窗口

    第2条回复： 参与讨论 推荐

    作者:ylf521你好 于 2008-11-23 15:17:44.0 发表  来自： 发送短消息

    图林条件停机、

    误解无解

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

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

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

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

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

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

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

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

    -----《波儿罗亚尔逻辑》----《形式逻辑》---金乐霖
结论：S-S=0
===========================================================
    天气千禧年难题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
因为所有的类P问题与类NP问题，存在迪兰级数1-1+1-1+1-1。。。。。。。。不可判断
    有哥德尔 不完备定理告诉我们存在YOU      cz 存在有 P不等于NP完全问题并且是不可证明的

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

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

    结论 前提S=1，存在有一个P问题等于NP问题

    计算机可以解决的问题就是计算机可以验证的问题  

    等价：计算机不可验证的问题就是计算机不可解决的问题

    《形式逻辑》金岳霖

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

    3，《维基百科》

    4 《阿西莫夫科学指南》

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

    回复   引用  

    姜咏江的博客

    《视读逻辑学》

云南玉龙之

http://club.kdnet.net/dispbbs.asp?boardid=2&id=13384093

云南玉龙之

PNP证明完整版

云南玉龙之

不知道原因，链接发了打不开

云南玉龙之

千禧年难题

云南玉龙之

计算机可以解决的问题(P)就是计算机可以验证的问题(NP)，等价计算机不可验证的问题就是计算机不可解决的问题，厡命题与逆否命题同真同假，即可能是真命题也可能是假命题，或者是"真假不定，本命题不可证

云南玉龙之

计算机可以解决的问题(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

云南玉龙之

407个阅览