Repository

Four Color Theorem

The Four Color Theorem originated in 1850 and was not solved in its entirety until 1976. This report details the history of the proof for the Four Color Theorem and multiple contributions to the proof of the Four Color Theorem by several mathematicians. Ideas such as Kempe Chains, reducibility, unavoidable sets, the method of discharging, and the Petersen Graph are all covered in this report. There is also a brief discussion over the importance of a mathematical proof and how the definition of a proof has changed with the contributions of Computer Science to the mathematical community.