The Four Colour Theorem: The first time machines mogged mathematicians(newsletter.pessimistsarchive.org)
76 points by list | 47 comments
Pessimists Archive newsletter post on the 1976 computer-assisted proof of the Four Color Theorem and the debate it sparked among mathematicians.