一道算数题

祭司zhangcy

这个已经被计算机证明过了。。。。。。。

其实麦比乌斯圈上完破四色定理，嘿嘿

祭司zhangcy

聂博 发表于 2012-10-7 11:35
什么时候证明的？

1976年证明的。

美国数学家阿佩尔（K.Appel）与哈肯（W.Haken）借助电子计算机获得了四色定理的证明。

祭司zhangcy

聂博 发表于 2012-10-7 12:16
1976年的证明虽然轰动了世界数学界，但未能得到数学界的公认。当时的证明用了类穷举法，后来发现用穷举法 ...

原来如此。