计算机证明了四色猜想的事情不成立。

晋源泉

计算机证明了四色猜想的事情不成立。
1976年6月，在美国伊利诺斯大学的两台不同的电子计算机上，用了1200个小时，作了100亿个判断，结果没有一张地图是需要五色的，最终证明了四色定理，轰动了世界。
本身的漏洞1：结果没有一张地图是需要五色的，那么其所说的地图是几色的？是三色还是四色、六色、七色……X色？
本身的漏洞2：作了100亿个判断，实际地图是无穷多幅，其并没有作出对无穷多幅地图的判断是什么？
本身的漏洞3：计算机仅仅作了100亿个判断，就需要1200个小时。那么，对无穷多幅地图的判断，需要多长时间？
本身的漏洞4：在计算机100亿个判断中，如何证明了四色猜想成立的？证据在哪儿？
本身的漏洞5：没有证明了四色猜想成立，四色定理是哪儿来的？
本身的漏洞6：计算机不能做无穷个判断的事情，就是从1976年到现在不停机，它能做完无穷个判断吗？
本身的漏洞7：判断有了数量能就可以叫证明吗？
本身的漏洞8：你的计算机1200小时作100亿个判断，证明了四色定理，不轰动了世界你不怪吗？因为，1976年全世界只有美国才有计算机，只有美国说轰动了就是轰动了，除了美国谁有发言权？类似的笑话太多了………XXXXX有化学武器！开打没有商量！

雷明85639720

没人理你我来和你说。
晋源泉朋友：
一、不知你看过没有看过阿贝尔的《四色地图问的解决》一文，（在网上是可以搜到的），你说的这些都不是主要问题，主要的问题就是：
1、阿贝尔的该文中只提到他们证明了四色定理，解决了四色问题，而没有说明证明的结论是什么，也没有说明解决的结果怎么样，四色猜测是否正确还不是没有结论嘛！
2、阿贝尔在文中构造了（5，5）构形和（5，6）构形，并说这两个构形也是不可免的，但又说这两个构形是不可约的，前后产生了矛盾。不可免的构形都不可约，那怎么能说四色猜测得到证明是正确的呢？
3、阿贝尔所谓用计算机证明了四色猜测，实际上是用计算机给他们已给计算机输入的那近两千个图的可4—着色，这些图尽管都是可4—着色的，但仍属于个别的图，与我们平时用手工对几个图着色具有同等的价值，都是对四色猜测的验证，并不是证明。
4、计算机是没有思维的，人叫他干么他才能干什么。他之所以会给图着色，是因为人会给图进行着色，人也才能把着色的过程编成程序，教给计算机。再把图输入给计算机后，它只照着执行就是了，一点也不会出错的。明知计算机是没有思维的，他还要说是用计算机进行证明，这不是笑话吗？
二、从你所提的这些问题中，可以看出你是对四色问题与图论还是了解甚少的。
1、举个例子说，你就不明白“n—着色”，“可n—着色”与“n—色的”的含义是什么。n—着色说明图的色数一定是n，而可n—着色说明图的色数是不大于n的，n—色的说明某个图的色数就是n。这些术语用时一定要用得准确，不能乱用。如果乱用就会造成混乱的。
2、你提了那么多的问，我觉得都与你想要说的问题不沾边，或者说都不在行。以后提问题有多考虑一下，多想一下，不然读者会笑话你的！