Kenneth Appel (8 oct. 1932 – 19 avr. 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.Ajouté au bande de temps:
Date:
8 oct. 1932
19 avr. 2013
~ 80 years