早教吧作业答案频道 -->数学-->
用计算机证明四色定理算真正证明吗?1975年,人们用计算机进行了1千亿次的运算后说,证明了四色定理.虽然计算机在1千亿次的运算中都可以得到四色定理正确的结果,但是谁能保证计算机能在
题目详情
用计算机证明四色定理算真正证明吗?
1975年,人们用计算机进行了1千亿次的运算后说,证明了四色定理.虽然计算机在1千亿次的运算中都可以得到四色定理正确的结果,但是谁能保证计算机能在第1千亿零1次计算中证明出四色定理是正确的?
1975年,人们用计算机进行了1千亿次的运算后说,证明了四色定理.虽然计算机在1千亿次的运算中都可以得到四色定理正确的结果,但是谁能保证计算机能在第1千亿零1次计算中证明出四色定理是正确的?
▼优质解答
答案和解析
穷举法是一种证明方法,但穷举法在四色定理的证明上,如你所问,一直是存在争议的.
看了 用计算机证明四色定理算真正证...的网友还看了以下：
3,4,4,10算24点3,4,5,6算24点5,7,7,10算24点9,5,7,7算24点 2020-05-13 …
一个24点的问题3,7,-3,-7进行加减乘除四则混合运算,使其结果等于24. 2020-05-14 …
算盘口诀——3根鸡毛加急求教如何理解口诀的意思?我看不懂它们,要能解释清楚的回答!网上档的一边凉快 2020-06-09 …
巧算:8.7*9.9.((4.8*7.5*8.1)÷((2.4*2.5*2.7).简算::4.巧算 2020-06-11 …
俺院里,有群鸡,加上7,减去7,乘以7,除以7,其结果,仍是7,你算算,多少鸡x=7-7×7÷7= 2020-06-23 …
在计数制中,通常我们使用的是“十进位制”,既“逢十进一”而计数制方法很多,如60进位制:60秒为1 2020-07-04 …
下列数中,()最小.A.二进制数100B.十进制8C.十六进制数12D.八进制数10满分：2分7. 2020-07-09 …
2,7,7,8算22点请利用加‘+’、减‘-’、乘‘*’、除‘/’把2、7、7、8进行运算,结果为 2020-07-17 …
翻译：如果合同要求以信用证为结算方式,则我们要催如果合同要求以信用证为结算方式,则我们要催进口方及时 2020-12-07 …
计算（递等式,能简便计算的要简便,90.7×99+90.7计算（递等式,能简便计算的要简便,90.7 2020-12-17 …