四色问题讲座：第十四讲 四色猜测是不能用计算机证明的

雷明85639720

四色问题讲座：第十四讲  四色猜测是不能用计算机证明的
雷  明
人能制造和使用劳动工具，提高劳动效率，创造更多的社会财富，这是人类社会不断向前发展的动力。计算机也是人制造的一种劳动（计算）工具，它的效率一定比人高，但并不比人聪明。只有人能办到的事，它也才能办到；人办不到的事，计算机也一定是绝对办不到的。因为计算机是在人的操控下去工作的，离开了人，它就是一堆废铁。人不会做的事，人也就不会编程。没有程序，计算机怎么去工作呢？
现在有些人口口声声说在1976年美国的阿贝尔等人利用了高速动转的电子计算机证明了四色猜测，说什么人一辈子解决不了的问题，在计算机问世之后让计算机解决了。我认为这种说法是错误的，荒谬的。
首先，阿贝尔在他的论文《四色地图问题的解决》中只说他们“解决”了四色问题，“证明”了四色定理，但并没有说解决和证明的结论是什么。四色猜测道底是正确呢，还是不正确，并没有肯定的回答（结论）。就连他们自已也认为他们的证明说服力是不足的。其次，他们解决不了5—轮构形的可约性问题，就用了两个所谓的（5，5）构形和（5，6）构形去代替5—轮构形。这也是错误的，是回避矛盾的做法。
这两个构形有两个待着色顶点，首先就违背了构形的定义——构形只应有一个待着色顶点；其次是当一个待着色顶点着色后，（5，5）构形仍然就转化成了5—轮构形；而（5，6）构形的一种情况是，当6—度待着色顶点着色后，也就转化成了5—轮构形；另一种种况是，当5—度待着色顶点着色后，却就转化成了6—轮构形。而6—轮构形是一个可以避免的构形，在平面图着色过程中是可以避免这种情况出现的，不需要进行研究。结果是两个构形最后都又转化成了5—轮构形。所以说，5—轮构形是不可避免的，也是任何构形都代替不了的。
还有，最重要的地方是，阿贝尔说（5，5）构形和（5，6）构形都是“不可避免”的，但他们又说这两个构形又都是“不可约”的（阿贝尔《四色地图问题的解决》中的话）。这就是矛盾的了。既然是“不可避免”的，就得证明了其是“可约”的才能说明四色猜测是正确的；而现在已知还有这两个“不可避免”的构形已经是“不可约”的，怎么能够说四色猜测被证明就是正确的了呢？
电脑是与人脑不同的。人脑有思维能力而电脑没有。人可以创造劳动工具而计算机只会简单的去执行人的指令，一点也不会偏离。但这一点人反而却做不到，有时人也是会犯错误的。计算机是人叫他干什么，叫它怎么去干，它就只能丝毫不差的去完成，且不会出错的。如果有了出错的地方，那也是人出错了，而不是计算计机出错了。只能说是人在证明四色猜测的过程中应用了先进的技术电子计算机资源，而不能说是电子计算机证明了四色猜测，解决了四色问题。

雷明85639720

，，，，，，，，

雷明85639720

，，，，，，，，，

雷明85639720

，，，，，，，，，

雷明85639720

，，，，，，，，

雷明85639720

，，，，，，，，