三元方程解集基底互素定理可解决大量未解的丢番图问题(46)

机器语言都属于自然语言，那自然语言是否都属于机器语言。
因为没确定对立概念是否在同一时空，所以哥德尔和柯恩的证明是对的，但罗素的解决办法也是对的，植入一个公理，对立概念就是在同一时空里。希尔伯特面对这些问题则阳光灿烂地认为，我们必须知道，我们必将知道，在不同的时空里，我们相信有这样的万能。例外偶数是不存在的，这就好比是罗素的思路；但可表偶数是存在的，这就好比是希尔伯特的思路；可表的范围未穷尽，所以我无法全力支持，这是科恩的思路；例外的范围没讲清，所以我无法全力反对，这是哥德尔的思路。可谓都是积极的数学思想。个人倾向于要把四种选择都汇总起来处理问题，才不会有疏漏，NP问题获证，表面看是希尔伯特的数学信仰赢了，实质是必不能相悖于其他三种情形。通往成功之路仍是曲折的，同样多项式时间可解，实质相差甚远，就别指望能立马破解密码了。

四色猜想在所有定义域里能人工全过程逻辑证明，本身就实锤了P=NP。须计算机验证的部分，都能用高阶数学归纳法可证明可计算。而图着色问题就是NPC问题。很多NP问题可归约为它。如今四色猜想获全过程人工逻辑证明，等价于可部分存在性证明P=NP，不能归约为它的NP问题除外。
NP问题获证给我们的启示是，所有的集合都是良序的，四色猜想正是因为找到了良序关系才解决的，哈密顿路径也是因为找到了一笔画，这意味着碰上任何对象都是可以使用超限数学归纳法，如此一来就一切都可证明可计算了。故所有猜想都是可证明的。这与哥德尔的不完备定理并不冲突，哥德尔与科恩是遭遇到了不可证伪不可证真，那是因为公理有限问题太宽不确定所导致的，当我们遇到清晰的问题在大公理背景下，自然有清晰的良序。四色猜想就是用若当闭曲线来分析任意给定图的，从而找到子树遍历序列的，于是良序关系在拓扑世界呈现了。于是乎，本质良序就与现象良序一致了。为了保证一阶良序在高阶良序里不掉链子，在证明四色猜想，成功找到鸽笼定理来证明，链与链之间都有区块可迭代相连，即总存在相邻区块被全覆盖，从而可确定邻接色不超过三色，如此可证明所有的待着色图以及可悔棋模式图都是可约图。