Five Color Theorem/Historical Note
Jump to navigation
Jump to search
Historical Note on Five Color Theorem
The Five Color Theorem is not the strongest result possible.
It was proved by Percy John Heawood in $1890$.
In the same year he showed a flaw in Alfred Bray Kempe's supposed $1879$ proof of the Four Color Theorem which was not mended for almost another $100$ years.
It was not until $1976$ that Kenneth Ira Appel and Wolfgang Haken demonstrated that four colors suffice.
Their proof relies heavily on computers and for the moment is not to be found on $\mathsf{Pr} \infty \mathsf{fWiki}$.