Events Tagged: "Four Color Theorem"

Alfred Kempe publishes a 'proof' of the Four Color Theorem (later shown to be flawed)

Kenneth Appel and Wolfgang Haken prove the Four Color Theorem using computer verification - first major computer-assisted proof

Kenneth Appel and Wolfgang Haken prove Four Color Theorem using computer assistance