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

雷明85639720

一览众山小：
你说：“如果用人脑去笔算能够验证某个问题的一百种情况成立，此时因为验证的情况较少，对猜测的结果是否成立处于将信将疑的不确定阶段，但用电脑编程计算技术可以验证到一万甚至一千万种情况成立，可信度大大提高，那就权且当作证明的结果成立。”这不还是没有把所有的平面图都验证完吗？能说明所有的平面图都是可4—着色的吗？“可信度大大提高”就能“权且当作证明的结果”吗？一派胡言！

雷明85639720

，，，，，，，，

一览众山小

雷明85639720 发表于 2021-6-16 12:43
一览众山小：
你说：“如果用人脑去笔算能够验证某个问题的一百种情况成立，此时因为验证的情况较少，对猜 ...

硬要钻牛角尖 ，一条路走到黑都不见一点光亮，还不问个为什么，死脑筋也。

一览众山小

人是活的，脑精是死的，行尸走肉是也。

雷明85639720

一览众山小：
1、计算机验证的有限个图都是可4—着色的，你就认为”权且当作证明的结果成立”，这是什么逻辑吗？这就能说明四色猜测是正确的吗？完全是一派胡言！
2、阿贝尔并没有证明他用以代替平面图的不可避免的5—轮构形的（5，5）构形与（5，6）构形是可约的，这也能说明四色猜测是正确的吗？
3、你连这一点道理都不懂，还什么“一览众山小”？

一览众山小

有限验证与无限变化本质是一样的。有限验证只要样本数量足够大，某种性质呈现较强稳定性，这种稳定性就是无限变化保持不变。你用笔算方法仅仅能验证少数情况，确实说明不了什么问题，是因为你的方法不太对路，而美国人哈肯证明四色猜想的方法肯定与你不一样，加上他把这种方法辅之以电脑编程计算技术便看到了稳定性，他宣布解决了四色猜想问题，这个说得过去。

一览众山小

路过，围观

雷明85639720

请你回答我说的几个具体问题，不要东拉西扯了！
用计算机验证的再多，也与人用手工验证是同样的道理，仍是有限的，都是没有把所有的图都验证完！不能认为验证的多，就认为四色猜测是正确的。

一览众山小

雷明85639720 发表于 2021-6-21 15:00
请你回答我说的几个具体问题，不要东拉西扯了！
用计算机验证的再多，也与人用手工验证是同样的道理，仍是 ...

是谁放的臭屁太难闻了。

一览众山小

路过，看路边的耍猴艺人表演，好看。