Take the 2-minute tour ×
Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. It's 100% free, no registration required.

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?

share|improve this question
add comment

2 Answers 2

up vote 6 down vote accepted

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. =) )

share|improve this answer
6  
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
1  
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
add comment

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.

http://www.academia.edu/541633/On_the_Algorithmic_Proofs_of_the_Four_Color_Theorem

share|improve this answer
    
Well, computers are programmed by entities who tend to consider themselves humans. ;) –  Barnabas Szabolcs Jul 23 '13 at 17:29
add comment

Your Answer

 
discard

By posting your answer, you agree to the privacy policy and terms of service.

Not the answer you're looking for? Browse other questions tagged or ask your own question.