2011 | OriginalPaper | Chapter
E16. Olde Victorian Map Colouring
Author : Alexander Soifer
Published in: The Colorado Mathematical Olympiad and Further Explorations
Publisher: Springer US
Activate our intelligent search to find suitable subject content or patents.
Select sections of text to find matching patents with Artificial Intelligence. powered by
Select sections of text to find additional relevant content using AI-assisted search. powered by
Let us start with the history of the arguably second most famous problem in the entire history of mathematics. It commences in Victorian London in the year 1852, when the 20-year old Francis Guthrie created The Four-Color Conjecture (4CC), and continues for 124 years, when in 1976 Kenneth Appel and Wolfgang Haken, with the assistance of John Koch and over 1200 hour of mainframe computer time converted 4CC into 4CT – The Four Color Theorem. A second proof had to wait another 20 years: in 1997 Neil Robertson, Daniel Sanders, Paul Seymour and Robin Thomas also proved 4CT. Both proofs required an essential use of computing.