看围棋人机大战，谈四色猜测的证明

雷明85639720

看围棋人机大战，谈四色猜测的证明
雷  明
（二○一六年三月十六日）

昨天——二○一六年三月十五日，备受人们关注的李世石（韩国）和阿尔法机器人的围棋人机大战结束了。李世石以1：4输给了阿尔法。这一结果说明了什么呢？只能说李世石个人输给了机器人，而人类却赢了。因为机器是人为了提高劳动生产效率（包括质量和数量）而创造和制造的劳动工具，而且它也是离不开人去操作的。如果说机器的劳动生产率还不如人，那么要这样的工具有何用处呢。这样理解，就能理解仅管李世石个人输给了机器人，但总体上还是人类胜利了。是开发阿尔法围棋的团队胜利了。如果说，这次是李世石胜利了，那么也还是人类胜利了。说明机器还没有达到人的理想程度，还有待改进，最后一定能够战胜人，即其劳动生产度一定是会大于人的。最初的第一台蒸汽机车不见得就一定比人快，但发展到现在，高速的动车列车组每小时能跑五百公里左右，这不也是一步一步改进的结果吗。有谁能说这是为车战胜了人类呢。试想一下，没有人，能有高速动车吗，能有宇宙飞船吗。
阿贝尔用计算机辅助，对近2000个平面图进行了4—着色，这也是人类利用人自已制造成的工具代替自已工作的具体例子。人会对图着色，当然也可以把着色的方法编成程序输入计算机，让它代替人去工作。人创造工具的目的就是为了提向劳动行产率，所以电子计算机着色的那些图，人在短期内是不可能完成的。但是人还不会证明四色猜测是否正确，当然也就不会把证明的过程编成程序让计算机来完成。即于这一点，就说明阿贝尔的所谓“证明”只不过是用计算机对近2000个图的4—着色验证，验证了这些图都是可4—着色的，但并不是对任何平面图都是可4—着色的四色猜测的证明。因为图是无限多的，只对一两个个别的图进行了4—着色并不能说明任何平面图都是可4—着色的。因此，计算机对那么多的图进行了4—着色，与我们用手对几个图进行了4—着色的效果是相同的，都只是对个别的图进行了4—着色，而没有证明任何平面图都一定是可4—着色的。这样看来要解决四色问题，还必须另辟蹊径了。现在已经有了不画图不着色证明四色猜测的方法了。

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

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

雷明85639720

，，，，，，，，，

雷明85639720

，，，，，，，，

雷明85639720

，，，，，，，

雷明85639720

，，，，，，，，

雷明85639720

,,,,,,,,

一览众山小

四色猜想是美国人在1976年借助电子计算机编程技术证明的第一个数学难题，用不着你在这里显摆了。

任在深

一览众山小 发表于 2016-4-2 20:33
四色猜想是美国人在1976年借助电子计算机编程技术证明的第一个数学难题，用不着你在这里显摆了。

可惜美国人的证明是错误的！
不要崇洋媚外，不要长别人的志气，灭自己的威风！
要自力更生！发愤图强！为祖国争光！为数学添砖加瓦！！

雷明85639720

你连用手工证明四色猜测的想法都没有，你还叫什么“一览众山小”呢，你不嫌丢人。机器“证明”难道还不是人在证明吗。即就是机器的证明没错，那也只能说是人的证明，何况机器的证明是错误的呢。大家都像你一样，碰也不敢碰一下难题，猜测什么时候才能得到证明呢。请问“一览众山小”，你知道美国人“证明”四色猜测得到的结论是什么吗，请回答这个问题。

一览众山小

雷明85639720 发表于 2016-4-3 15:43
你连用手工证明四色猜测的想法都没有，你还叫什么“一览众山小”呢，你不嫌丢人。机器“证明”难道还不是人 ...

说机器证明，主要是突出技术进步的重要性。美国引领当今世界的科技潮流，这是无可争辩的事实。在科普读物中可以看到美国人用电脑编程技术运行了一个月才解决了四色猜想的说法，不过电脑编程仅仅解决了这一个数学难题，对其它难题好像也是无能为力。