Part of the series 'What do historians of mathematics do?'
"In this talk I present the history and proof of the four-colour theorem: Can every map be coloured with just four colours so that neighbouring countries are coloured differently? The proof took 124 years to find, and used 1200 hours of computer time. But what did it involve, and is it really a proof?"
- Special Seminar