http://digital.library.wisc.edu/1793/34111 Fri, 13 Mar 2026 13:44:57 GMT 2026-03-13T13:44:57Z http://digital.library.wisc.edu/1793/38313 History & Proof of the Four Color Theorem Wasserstrass, John The 4 color conjecture was made in 1852 and proved in 1879. However, a flaw was found 11 years later and it was not fixed until computers were used in the 1970's. This talk summarizes the history of the theorem, illustrates the method of the proof, points out the flaw, and shows how computers adapted the logic of the proof in a controversial new type of proof. Thu, 01 Jan 2009 00:00:00 GMT http://digital.library.wisc.edu/1793/38313 2009-01-01T00:00:00Z