早教吧作业答案频道 -->数学-->
用计算机证明四色定理算真正证明吗?1975年,人们用计算机进行了1千亿次的运算后说,证明了四色定理.虽然计算机在1千亿次的运算中都可以得到四色定理正确的结果,但是谁能保证计算机能在
题目详情
用计算机证明四色定理算真正证明吗?
1975年,人们用计算机进行了1千亿次的运算后说,证明了四色定理.虽然计算机在1千亿次的运算中都可以得到四色定理正确的结果,但是谁能保证计算机能在第1千亿零1次计算中证明出四色定理是正确的?
1975年,人们用计算机进行了1千亿次的运算后说,证明了四色定理.虽然计算机在1千亿次的运算中都可以得到四色定理正确的结果,但是谁能保证计算机能在第1千亿零1次计算中证明出四色定理是正确的?
▼优质解答
答案和解析
穷举法是一种证明方法,但穷举法在四色定理的证明上,如你所问,一直是存在争议的.
看了 用计算机证明四色定理算真正证...的网友还看了以下：
统计学的算术平方根1）23.9－22.6111／根号（1／8加1／9）乘以1.8556等于多少?2 2020-04-07 …
求世界七大洲的面积百分比要做成扇形统计图的,算了好几次都算错了,麻烦帮我看看哪里错了= =北美洲: 2020-05-17 …
记账凭证的录入方式有( )。A.手工编制完成记账凭证后录入计算机B.根据原始凭证直接在计算机上编 2020-05-19 …
下面可用于消息认证的算法是()A.DESB.PGPC.MD5D.KMI 2020-05-26 …
计算机取证是指能够为法庭所接受的、存在于计算机和相关设备中的电子证据的确认、保护、提取和归档的过程。 2020-05-26 …
严格执行统计法,依法实施统计权利,具有统计证的工作人员具有 ( )A、统计调查权、统计监督权、 2020-06-07 …
估计30的算术平方根的大小在()A2与3之间B4与5之间C5与6之间D6与7之间 2020-07-09 …
民事案件，公告送达，开庭时间如何计算？现在一般都是直接计算90天。但是公告送达其实是两个过程，一个 2020-07-23 …
估计20的算数平方根的大小在多少之间? 2020-08-03 …
一位商人有9枚银圆，其中1枚略轻的是假银圆．你能用天平(不用砝码)将假银圆找出来吗？请设计你的算法． 2020-12-08 …