Concept · #four-colour-theorem
Four colour theorem
-
Mathematical knowledge can be Gettiered, and Kempe’s four colour “proof” shows how
A friend in my logic tutorials insists that today's question of the day can't touch mathematics. A proof either works or it doesn't, so a mathematician can't be right by luck. I think she's wrong, and here is the case. In 1879…
Started by Ana Clara Ferreira4 replies -
A proof no human can check by hand is still a proof, and the four-colour theorem is known
In 1976 Kenneth Appel and Wolfgang Haken announced a proof that every map can be coloured with four colours so that no two neighbouring regions share one. The proof reduced the problem to almost two thousand configurations and used a computer to…
Started by Ana Clara Ferreira3 replies