Mathematician:Wolfgang Haken

German mathematician mainly involved in topology where the bulk of his work has been on 3-dimensional manifolds.

In 1976, along with Kenneth Appel, proved the Four Color Theorem with the help of a computer.

Nationality
German

History

 * Born: June 21, 1928

Theorems and Definitions

 * Four Color Theorem
 * Haken Manifold
 * Kneser-Haken Finiteness (with Hellmuth Kneser)

Books, Publications, etc.

 * 1961: Theorie der Normalflachen, Acta Math. 105, 245-375.