搜搜考试网用计算机证明四色定理算真正证明吗?
来源：学生作业帮 编辑：搜搜考试网作业帮 分类：数学作业 时间：2024/04/27 17:13:07
用计算机证明四色定理算真正证明吗?
1975年,人们用计算机进行了1千亿次的运算后说,证明了四色定理.虽然计算机在1千亿次的运算中都可以得到四色定理正确的结果,但是谁能保证计算机能在第1千亿零1次计算中证明出四色定理是正确的?
1975年,人们用计算机进行了1千亿次的运算后说,证明了四色定理.虽然计算机在1千亿次的运算中都可以得到四色定理正确的结果,但是谁能保证计算机能在第1千亿零1次计算中证明出四色定理是正确的?
穷举法是一种证明方法,但穷举法在四色定理的证明上,如你所问,一直是存在争议的.
再问： 四色定理内容中有“任意”二字，如果用穷举法来证明，在逻辑上说这岂不是一开始就错误了吗？
再答： 验证的次数越多，就越接近真相，这也是一种规律。检验了1千亿次，如果有例外情况，那早就该出现了，检验了1千亿次仍没有发现例外，就可以认为没有例外了。或者说，1千亿次和1千亿零1次，并没有本质上的区别，1千亿零1次也同样会正确，之后的也一样。 当然，你可以不认同这种说法，因为这本来就是有争议的，别人也难以证明你的观点是错的。
再问： 四色定理内容中有“任意”二字，如果用穷举法来证明，在逻辑上说这岂不是一开始就错误了吗？
再答： 验证的次数越多，就越接近真相，这也是一种规律。检验了1千亿次，如果有例外情况，那早就该出现了，检验了1千亿次仍没有发现例外，就可以认为没有例外了。或者说，1千亿次和1千亿零1次，并没有本质上的区别，1千亿零1次也同样会正确，之后的也一样。 当然，你可以不认同这种说法，因为这本来就是有争议的，别人也难以证明你的观点是错的。