Born
1932
Died
2013
Nationality
American
Events involving Kenneth Appel (1)
1976
ID: 422
Kenneth Appel and Wolfgang Haken prove the Four Color Theorem using computer verification - first major computer-assisted proof
ID: 422