第27章 四色猜想（2/4）
1940 年温恩证明了35个国家。
1950年德国数学家希许曾估计，证明四*猜想大概要涉及一万个不同构形。
1972年哈肯与阿佩尔联手，经过整整四年的紧张工作，用计算机终于在1976年6月成功地证明了四*定理。
对于这种“暴力解决”的证明方式，数学界很多知名人士并不赞同，他们认为应该用数学逻辑推理上证明它而不是选择了这种“暴力”的解决办法。
这就像有人问怎么把一头大象放入冰箱，答案很简单，第一步，打开冰箱门。第二步把大象推进冰箱，第三步关上冰箱门。只要冰箱门够大，什么样的大象都能放入。这种简单是方法就是一种“暴力”的解决办法，它并没有从逻辑上解决问题。
计算机的穷举不是真正的数学证明，数学并不是一门注重结果的科目，不然也不会有那么对著名的猜想吸引着无数全世界的数学人了。 请关闭浏览器的畅读模式或者取消屏蔽JavaScript的正常运行，避免出现内容显示不全或者段落错乱。
原网页地址：https://m.asks5.net/150/150310/54772585_2.html
本章未完，点击下一页继续阅读。