用计算机证明四色定理算真正证明吗?
来源:学生作业帮 编辑:搜狗做题网作业帮 分类:数学作业 时间:2024/08/17 12:56:50
用计算机证明四色定理算真正证明吗?
1975年,人们用计算机进行了1千亿次的运算后说,证明了四色定理.虽然计算机在1千亿次的运算中都可以得到四色定理正确的结果,但是谁能保证计算机能在第1千亿零1次计算中证明出四色定理是正确的?
1975年,人们用计算机进行了1千亿次的运算后说,证明了四色定理.虽然计算机在1千亿次的运算中都可以得到四色定理正确的结果,但是谁能保证计算机能在第1千亿零1次计算中证明出四色定理是正确的?
![用计算机证明四色定理算真正证明吗?](/uploads/image/z/18363456-0-6.jpg?t=%E7%94%A8%E8%AE%A1%E7%AE%97%E6%9C%BA%E8%AF%81%E6%98%8E%E5%9B%9B%E8%89%B2%E5%AE%9A%E7%90%86%E7%AE%97%E7%9C%9F%E6%AD%A3%E8%AF%81%E6%98%8E%E5%90%97%3F)
穷举法是一种证明方法,但穷举法在四色定理的证明上,如你所问,一直是存在争议的.
再问: 四色定理内容中有“任意”二字,如果用穷举法来证明,在逻辑上说这岂不是一开始就错误了吗?
再答: 验证的次数越多,就越接近真相,这也是一种规律。检验了1千亿次,如果有例外情况,那早就该出现了,检验了1千亿次仍没有发现例外,就可以认为没有例外了。或者说,1千亿次和1千亿零1次,并没有本质上的区别,1千亿零1次也同样会正确,之后的也一样。 当然,你可以不认同这种说法,因为这本来就是有争议的,别人也难以证明你的观点是错的。
再问: 四色定理内容中有“任意”二字,如果用穷举法来证明,在逻辑上说这岂不是一开始就错误了吗?
再答: 验证的次数越多,就越接近真相,这也是一种规律。检验了1千亿次,如果有例外情况,那早就该出现了,检验了1千亿次仍没有发现例外,就可以认为没有例外了。或者说,1千亿次和1千亿零1次,并没有本质上的区别,1千亿零1次也同样会正确,之后的也一样。 当然,你可以不认同这种说法,因为这本来就是有争议的,别人也难以证明你的观点是错的。