# Has the Four-Color Theorem been accepted?

The Wikipedia article is ambivalent about this, stating "...Since then the proof has gained wider acceptance, although doubts remain". The MathWorld entry isn't much more reassuring.

This is notwithstanding the rigors of the mechanical proof by Gonthier.

Question: Has the Four-Color Theorem been accepted or are there still reasonable doubts?

-

Yes, it is completely proven, however part of the proof entails a computer program that goes through a few thousand special cases. Without that program the proof would be incomplete.(*)

Now, some mathematicians at that time said (or even now say), proofs should be manually verifiable, therefore they did not accept this proof. Their reason for that is that it is known that computers DO miscalculate some very-very little amount, so they cannot (or at the time they could not) give full 100.00000...% certainty.

In my view though this should be put in contrast with human logic errors on verifying proofs: we can't be sure that we currently don't have false theorems. (In fact, some human-proven theorems already turned out to be false in the past others will come. ;) ) Also, there are such complex theorems now which can barely can be verified by other than the author, see the famous Poincaré conjecture, where Perelman refused to accept his price as nobody has rigorously checked this entire proof(!).

(*)(Actually, there are more proofs but every single proof relies on computers from a certain aspect: either special cases are checked OR the logical proof is a program, so you must trust the proof checker program's code. =) )

-
To be honest, I would rather trust a calculator than a mathematician with verifying few thousand cases... –  N. S. Dec 11 '12 at 5:03
This might be a better reference than the yahoo answers link. The reasons for Perelmans refusal to accept the prize seemed to be motivated by different reasons. Mostly because some people checked the whole proof, made it more explicit and then claimed they proved the conjecture. There are complete expositions that mahematicians working in the area can check fully. –  Michael Greinecker Dec 11 '12 at 7:00

I am willing to accept my proof(s) more than the computer assisted proof(s) since in case of a fatal error there will be a human to blame.