作业帮 > 综合 > 作业

四色原理是怎么证明的听说已经用计算机证明了,可是这玩意用计算机又怎么证明呢?

来源:学生作业帮 编辑:搜狗做题网作业帮 分类:综合作业 时间:2024/07/05 22:37:20
四色原理是怎么证明的
听说已经用计算机证明了,可是这玩意用计算机又怎么证明呢?
四色原理是怎么证明的听说已经用计算机证明了,可是这玩意用计算机又怎么证明呢?
数学爱好者都会注意到钱学森在文章中所提的一件事:“去年数学界哄动一时的一件事,是用电子计算机证明了数学上的四色定理.画地图要求相邻两国不用同一色,一幅地图只需要四种颜色.要证明这个定理很难,数学家经过上百年的努力,证明不了.去年美国数学家用电子计算机证明了.他们看到这个问题要证明并不是不可能,而是证明的步骤、程序很复杂,人一辈子的时间也证不完.他们把程序编好,交给高速的电子计算机去干.高速电子计算机也用了一千多个小时才证出来.美国数学家认为,他们的主要贡献不是在证明了四色定理,而在运用电子计算机完成了这件人没有能够完成的事.”