We present the comprehensive history of the four colour problem and the more significant results that were discovered over more than a century of studying this problem. We describe the Appel-Haken proof, which is considered to be the first valid proof of the four colour theorem and the first computer-assisted proof.
|
