German-American topologist, born Wolfgang Rudolf Gunther Haken, known for work on three dimensional manifolds including an algorithm deciding whether a knot diagram represents the unknot, and for proving the four color theorem in 1976 with Kenneth Appel at the University of Illinois at Urbana-Champaign, the first major theorem proved with essential computer assistance. He worked as an electrical engineer at Siemens in Munich before joining Illinois, where he taught from 1965 until his retirement in 1998. He died in 2022.
Facts
Death PlaceChampaign, Illinois, United States 2 Nationality / CultureGerman, later American citizen (naturalized 1976) 1 Defining ContributionWith Kenneth Appel, proved the four color theorem in 1976 with essential computer assistance. Also solved the unknot problem, producing an algorithm to decide whether a knot diagram represents the unknot, and developed normal surface theory for three dimensional manifolds. 1 Notable WorkTheorie der Normalflachen (Acta Mathematica, 1961); the four color theorem papers (1976-1977, with Kenneth Appel) 1 AwardFulkerson Prize, American Mathematical Society, 1979 (shared with Kenneth Appel) 1 Connections
Associated With
Direct collaborators at the University of Illinois; jointly announced their computer-assisted proof of the Four Color Theorem on June 21, 1976.
In Branch
Proofs Credited
Source Thomas, The Four Color Theorem (Faculty Reference Page)Robin Thomas
Sources
1. Celebratio Mathematica, Wolfgang Haken, A Biographical Sketch
2. Wolfgang Haken (Wikipedia)
Wikimedia Foundationinfobox/biography section
In 1976, together with colleague Kenneth Appel at the University of Illinois at Urbana-Champaign, Haken proved the four-color theorem
infobox IPA
[ˈvɔlfɡaŋ ˈhaːkn̩]
View the Source Thomas, The Four Color Theorem (Faculty Reference Page)
Robin Thomas, Georgia Institute of Technology, School of MathematicsProofs Credited: Four Color TheoremView the Source Reader Challenges (0)
No disputes yet. Spotted an error or a better source? Open the first one.
Sign in to dispute this or suggest a correction.