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

雷明85639720

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

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

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

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

雷明85639720

，，，，，，，，，，

雷明85639720

，，，，，，，，

雷明85639720

，，，，，，，，

雷明85639720

，，，，，，，，

雷明85639720

，，，，，，，，

雷明85639720

，，，，，，，，

雷明85639720

，，，，，，，，

雷明85639720

，，，，，，，，

雷明85639720

，，，，，，，，