Jump to navigation Jump to search
German mathematician mainly involved in topology where the bulk of his work has been on 3-dimensional manifolds.
In $1976$, along with Kenneth Ira Appel, proved the Four Color Theorem with the help of a computer.
- Born: June 21, 1928
Theorems and Definitions
- Four Color Theorem (with Kenneth Ira Appel)
- Haken Manifold
- Kneser-Haken Finiteness (with Hellmuth Kneser)
- 1961: Theorie der Normalflachen (Acta Math. Vol. 105: pp. 245 – 375)