《形式逻辑》金岳霖
2《虚实世界》哟翰。L.卡斯蒂
3，《维基百科》
4 《阿西莫夫科学指南》
5《有趣的悖论详謬》---黄儒经吴晓兰
《视读逻辑学》
7姜咏江的博客
《形式逻辑》金岳霖
2《虚实世界》哟翰。L.卡斯蒂
3，《维基百科》
4 《阿西莫夫科学指南》
5《有趣的悖论详謬》---黄儒经吴晓兰
《视读逻辑学》
7姜咏江的博客
更改了一个字：
S=0时，计算机采用算术通用规则
哥德尔不完全性定理有-----要么“计算真不可证”，要么“计算假可证”
==由一般的算术规则出发
可以知DAO道：S+1=0+1=1
S-1=0-1= - 1
有哥德尔 不完备定理告诉我们存在YOU cz 存在有 P不等于NP完全问题并且是不可证明的
表示为P≥(NP！) 不 等号成立条件（s=0000）
=========================================
更改了一个字：
S=0时，计算机采用算术通用规则
哥德尔不完全性定理有-----要么“计算真不可证”，要么“计算假可证”
==由一般的算术规则出发
可以知DAO道：S+1=0+1=1
S-1=0-1= - 1
有哥德尔 不完备定理告诉我们存在YOU cz 存在有 P不等于NP完全问题并且是不可证明的
表示为P≥(NP！) 不 等号成立条件（s=0000）
=========================================
物理来说-----存在就是证明。
数学而言，存在不等于证明，证明依靠公理为前提，进行演绎推理或归纳推理而证明命题，得出结论定理。
发信人: a13312690681 (云南玉龙县杨艳红), 信区: Algorithm
标题: 千禧年难题PNP的逻辑探讨
发信站: 水木社区 (Thu Dec1 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问题。
天气预报如果是有雨或者天晴。
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
模仿维特根斯坦真值表
》S+1
》S- 1
》S+ 1
》S - 1
YONG
用以1表示下雨，表示真，表示准
dou都符合维特根斯坦真值表规则
模仿维特根斯坦真值表
》S+1 》1+1为1
》S- 1 》1- 1为0
》S+ 1 》1+1为1
》S - 1 》1- 1 为0
====考虑S赋值1
=====这是单次的天气预报的结论。
15 楼： 玉龙县杨艳红关注于 2016-05-22 19:04发表 只看该作者 发短消息 加为好友
对照仿维特根斯坦真值表
》S+1 》1+1为1
》S- 1 》1- 1为0
》S+ 1 》1+1为1
》S - 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姜咏江的博客
《视读逻辑学》
--
祝浏览的朋友新年快乐
复杂度类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
模仿维特根斯坦真值表
》S+1
》S- 1
》S+ 1
》S - 1
YONG
用以1表示下雨，表示真，表示准
dou都符合维特根斯坦真值表规则
模仿维特根斯坦真值表
》S+1 》1+1为1
》S- 1 》1- 1为0
》S+ 1 》1+1为1
》S - 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 《视读逻辑学》
计算机可以处理的问题包括图像处理。语音输入，数值计算
图像处理与语音输入与数值计算的三者交集就是二进制：0,1
对0,1进行穷举法有【0,0】【0,1】【1,0】【1,1】四种
===计算机验证解的正确与否是S+1,S-1
sx数学中国论坛