[Gllug] Four colour theorem, 150th anniversary event (Weds 23rd Oct, UCL)
Alasdair G Kergon
agk at compsoc.net
Wed Oct 16 13:24:02 UTC 2002
In 1976 Kenneth Appel and Wolfgang Haken proved the Four Colour Theorem.
It was a ground-breaking and controversial proof because it relied on
computers and it was too difficult for anyone to verify the proof directly.
They're visiting London next week to celebrate the 150th anniversary of the
problem and the 25th anniversary of the publication of the proof.
Weds 23rd Oct, 3pm, University College, Cruciform Building Lecture Theatre 1
(same places as some we've held UKUUG talks in the past)
http://www.lms.ac.uk/meetings/poster.html
Free.
Organisers: London Mathematical Society
British Society for the History of Mathematics
Preceded by an entertaining talk about the problem (and earlier flawed
attempts at proving it) by Robin Wilson at 2.10pm.
Background:
http://www-gap.dcs.st-and.ac.uk/~history/HistTopics/The_four_colour_theorem.html
A more modern proof:
http://www.math.gatech.edu/~thomas/FC/fourcolor.html
Alasdair
--
Gllug mailing list - Gllug at linux.co.uk
http://list.ftech.net/mailman/listinfo/gllug
More information about the GLLUG
mailing list