Four colours suffice

Description:  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? Start Date:  2010-07-07 Start Time:   17:00 Speaker:  Robin J. Wilson (Open Univ. and Oxford Univ., UK) Institution:  -- Place:  Room 2.4 See more:   <Main>   <Thematic Line - History of Mathematics>