First posed in 1852, the four color theorem states that no more than four colors are needed to color the regions of a map so that no two adjacent regions share the same color. It was the first major theorem to be proved using a computer in 1976.
The theorem was first proposed in 1852 by Francis Guthrie and later formalized by mathematicians including Augustus De Morgan and Arthur Cayley.
It was finally proved in 1976 by Kenneth Appel and Wolfgang Haken using a computer-assisted proof, which was controversial at the time because it relied heavily on extensive computer calculations that were not feasibly verifiable by hand.
This was the first major theorem to be proved using a computer.
Δεν υπάρχουν σχόλια:
Δημοσίευση σχολίου