四色原理是怎么证明的听说已经用计算机证明了,可是这玩意用计算机又怎么证明呢?
收藏:
0
点赞数:
0
评论数:
0
1个回答

数学爱好者都会注意到钱学森在文章中所提的一件事:“去年数学界哄动一时的一件事,是用电子计算机证明了数学上的四色定理.画地图要求相邻两国不用同一色,一幅地图只需要四种颜色.要证明这个定理很难,数学家经过上百年的努力,证明不了.去年美国数学家用电子计算机证明了.他们看到这个问题要证明并不是不可能,而是证明的步骤、程序很复杂,人一辈子的时间也证不完.他们把程序编好,交给高速的电子计算机去干.高速电子计算机也用了一千多个小时才证出来.美国数学家认为,他们的主要贡献不是在证明了四色定理,而在运用电子计算机完成了这件人没有能够完成的事.”

点赞数:
0
评论数:
0
关注公众号
一起学习,一起涨知识