我反对阿贝尔的所谓机器证明

雷明85639720

我反对阿贝尔的所谓机器证明
雷  明
（二○二一年四月二十三日）

1、阿的“证明”没有结论：
阿贝尔在他的《四色地图问题的解决》一文中只说了他们用机器输助证明“解决了四色问题”和“证明了四色定理”，而没有明确的说通过“证明”证明了四色猜测是正确还是不正确！是一个没有结论的“证明”。
2、5—轮构形是不能替代的：
阿贝尔因为他们不能直接证明5—轮构形是否可约，就用了两个含 有双待着色顶点的（5，5）构形和（5，6）构形来替代5—轮构形。而着色则是一个顶点一个顶点的着，当把一个待着色顶点着色后，剩下来的还不是一个5—轮构形吗？能避开吗？想避开不是就否定了坎泊的不可避免构形集了吗？怎么还能说是在坎泊的思想基础上进行的“证明”呢？
3、阿“证明”中相互矛盾的结论：
阿贝尔还是在他的《四色地图问题的解决》一文中说（5、5）构形和（5，6）构形是“不可免的”， 然而同一文后面又说（5，5）构形和（5，6）构形又都是“不可约”的。这不是前后矛盾了吗？既是“不可免的”，当然就必须证明是“可约的”，才能说明四色猜测对于这个构形是正确的；但阿贝尔经过“证明”后，得到的结论却是“不可约”的，这能说明四色猜测就是正确的吗？
4、有了以上的这些问题，这能说阿贝尔的“证明”是正确的吗？

雷  明
二○二一年四月二十三日于长安

注：此文已于二○二一年四月二十三日在《中国博士网》上发表过，网址是：

雷明85639720

，，，，，，，，

波斯猫猫

反对无效！

1，在《四色地图问题的解决》中，阿贝尔之所以称他解决了四色地图问题，而不称他证明了四色地图问题。是因为借用计算机辅助他解决了这个问题。理论部分由人工完成证明，具体的各种构形中的大量计算由计算机执行完成。如果称“证明”，那一定得是演绎推理、归纳推理、类比推理等纯粹的理论证明。所以，阿贝尔称《四色地图问题的解决》是恰当的。实际上，如果有人用纯粹理论完整地证明了四色猜想，也可以把他的证明冠以标题《四色地图问题的解决》，甚至可以冠以《探讨四色问题》、或《浅析四色问题》等。可以参考有关论文标题拟定的规范和艺术。论文标题不可随便拟定。标题拟定的好与不好，恰当与不恰当，能反应出论文作者的基本素质。如果标题拟定得不好或不恰当，阅读者耐心看完标题后，基本上是不会看所谓的“正文”了。

2，（5、5）构形和（5，6）构形是“不可免的”， 然而同一文后面又说（5，5）构形和（5，6）构形又都是“不可约”的。这不是前后矛盾了吗？这并不矛盾。正因为“不可免”，“不可约”，才使得解决问题具有相当大的难度，过程也相当冗长。他们把“不可约”的情形（注意：不是这种情形的所有地图）交付给计算机解决。

朱明君

1区域与任意个区域相邻，
2区域与任意个区域任意相邻，
3区域与任意个区域任意相邻，


(2n+1)个区域，
可着[(2n/n)+1]色。
2n个区域，
可着(2n/n)色。

雷明85639720

1、不可避免的构形必须都是可约的时，四色猜测才能是正确的。然而（5，5）构形和（5，6）构形，既然是不可避免的，但又是不可约的，这不就说明了四色猜测是不正确的吗，还要什么机器去“解决”呢？你在阿的文中看到他们让计算机解决的结果是什么了吗？
2、朱明君先生说的是什么呢？
3、我的反对有效无效，不是你我说了就算的，你我也只是说说自已的看法罢了，但说了总比不说盲目的随从要好一些。

雷明85639720

，，，，，，，，

雷明85639720

，，，，，，，，

cz1

楼主连吴文俊院士初等几何定理的机器证明都不懂？？

cz1

吴文俊院士：一切初等几何定理都可以用机器证明。

雷明85639720

1、请指出我的文章里有什么说得不对的地方，指不出来就盲目的否定别人，是不合适的。我否定阿贝尔，是我指出了他文章中的错误的地方。
2、我认为机器是不能进行证明的，因为证明时是要进行思维的，而机器是不可能有这个功能的。人不可能把自已还不会做的事让计算机去做，因为你可能编出程序来，计算机也无法去执行；人也不可能把自已已经会做（会证明）的事编出程序，让计算机再去执行一次，因为证明只要一次就够了，是不需要得复再做的。
3、计算机只所以能代替人工作，做事，是因为人本身就会做那些事情，也能够把做事的程序编成计算机能识别的程序，让计算机去执行。计算机完全是按人的意志去进行工作的，人对了，它也就做对了，人错了，它也绝对做不正确。
4、我不看某个人是怎么说的，我只看说得有没有道理。计算机是人创造的，难道人还不会做的事，它能做出来吗？那还要人干什么呢？
5、我认为证明只一次性就能解决一个命题是否正确的问题，这是只有通过人的大脑思维才能解决的。证明是一次性的，证明以后大家就可以进行使用了。而解题则是可以重复的，人只要把解题的方法交给了计算机（前提是人要对同一类题要有一个正确的解决办法），计算机就会解出来，得出结果。比如人会解一元二次方程，只要把解题的方法编成程序，即把求根公式给了计算机，计算机就能解出各种不同系数的一元二次方程。但计算机是绝对不会知道一元二次方程就一定是有两个实根的，它也不会求出一元二次方程的求根公式的。
6、劝你以后再对别人的文章进行评论时一定要讲道理，不要只是否定，不说任何理由，这就是不讲道理了。