[Gllug] Four colour theorem, 150th anniversary event (Weds 23rd Oct, UCL)

[Alasdair G Kergon]

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