Four Colour TheoremYou are currentlybrowsing as guest. Click here to log in |
|
|
|
The problem was first set in 1852. A false proof was given by Kempe (1879). Kempe's proof was in fact accepted for a decade, but then Heawood showed an error using a map with 18 faces. It wasn't until 1976 that a proof was finally given by Kenneth Appel (standing) and Wolfgang Haken (seated) (1977). Even then there was, and still is, some controversy, because the proof requires a computer to check a large number of sub-cases. These then have to be combined in a clever way - the computer doesn't actually do the proof - but even so, it's not a proof in the traditional sense.
It is interesting to compare the difficulty of the proof that four colours are sufficient to colour any map on a sphere with the almost trivial proof that seven colours are sufficient to colour any map on a torus.
On the Klein Bottle and Mobius Band six colours are sufficient to colour any map on their surfaces.
Last change to this page Full Page history Links to this page |
Edit this page (with sufficient authority) Change password |
Recent changes All pages Search |