Four Color Problem
Posted in Favorite Theorems, Mathematics on April 14th, 2006 3 Comments »
Some of you may know of a theorem called the Four Color Theorem. Many of you may not. It has the distinction of being the first major theorem to be proved using a computer. And thus, to many mathematicians the proof is not accepted since faith must be placed in the computer [...]