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