Four Color Theorem/Historical Note

Historical Note on the Four Color Theorem
The question of the minimal number of colors that are needed to color any arbitrary planar graph was first considered by in $1852$, when he was coloring a map of the counties of England.

He conjectured that the answer was $4$.

He published this conjecture in $1878$.

In $1879$, published what he believed to be a proof, but in $1890$ it was shown by  to be flawed.

In $1880$, another proof was published, but that was also shown to be flawed.

During the course of the century following, many developments in graph theory were made as a result of research into this problem.

What is now believe to be a sound proof of the Four Color Theorem was presented in $1976$ by and.

Their proof relies heavily on a computer program, set up to search through all the various cases.

Hence their proof does not easily conform to 's format.

Apart from this computer-based search, the proof is similar to that of the Five Color Theorem, a related but weaker result.

Some mathematicians distrust this proof because of its reliance on computers, and its consequent inability to be checked by humans.

This is part of a broader debate in mathematics over the increasing use of computers in proofs.