Kenneth Appel (oct 8, 1932 – apr 19, 2013)
Description:
Kenneth Appel's proof of the four color theorem, which utilized computer-assisted analysis, was groundbreaking and controversial. His work in graph theory, along with his collaborator Wolfgang Haken, introduced the technique of discharging to reduce the number of cases that needed to be analyzed to complete the proof.Added to timeline:
Date:
oct 8, 1932
apr 19, 2013
~ 80 years