Re: Proof of Sklansky\'s theorem?
The four-color conjecture HAS been proven (making it a theorem), and it USES computers to expedite the proof. They wrote a program since the proof relies on checking a large number of cases.
I know this because three semesters ago I took graph theory with Robin Thomas, one of the authors.
And the use of the term "theorem" without a proof bothers me as well.
|