Wolfgang Haken
Wolfgang Haken (* 21. Juni 1928 in Berlin) ist ein deutsch-amerikanischer Mathematiker mit dem Spezialgebiet Topologie (insbesondere 3-dimensionale Mannigfaltigkeiten), der mit Kenneth Appel 1976 das Vierfarbenproblem löste.
Leben und Werk
Haken studierte Mathematik, Physik und Philosophie in Kiel, wo er 1953 bei Karl-Heinrich Weise über ein Thema der Topologie promovierte. 1954 bis 1962 war er bei Siemens in München, wo er sich auf Anwendungen der Mikrowellen-Technologie spezialisierte. Nebenbei veröffentlichte er Arbeiten über Topologie, und sein Knoten-Algorithmus verschaffte ihm eine Einladung an die University of Illinois, wo er 1965 Professor wurde (und zurzeit noch als Professor emeritus ist). Im Jahre 1976 bewies er, gemeinsam mit Kenneth Appel, der zu dem Zeitpunkt, ebenso wie Haken, an der University of Illinois arbeitete, den berühmten Vier-Farben-Satz. An dem Computer-Beweis arbeiteten sie rund 4 Jahre seit 1972. Der Beweis wurde in den 1980er Jahren teilweise überprüft, wobei sich zwei Fehler fanden, die aber korrigiert werden konnten.[1] Unabhängige Beweise wurden von Frank Allaire (1977, aber nie vollständig publiziert)[2] und 1993 von Paul Seymour, Neil Robertson, Daniel Sander und Robin Thomas geführt (die nur noch 633 statt der rund 1900 und später rund 1400 unvermeidbaren reduziblen Konfigurationen von Appel und Haken hatten), alle benutzten aber den Computer.
In der Topologie sind die Haken-Mannigfaltigkeiten nach ihm benannt und auch hier ist er an algorithmischen Fragen interessiert. Beispielsweise stammt von ihm ein Algorithmus zur Entscheidung darüber, ob ein Knoten in einer geschlossenen 3-Mannigfaltigkeit „echt“ ist oder entknotet werden kann (mit seiner Theorie der Normalflächen). Haken erweiterte auch die Theorie der Normalflächen von Hellmuth Kneser.
1993 erhielt er die Ehrendoktorwürde der Johann Wolfgang Goethe-Universität Frankfurt am Main. 1979 erhielt er mit Appel den Fulkerson-Preis für diskrete Mathematik. 1978 war er Invited Speaker auf dem Internationalen Mathematikerkongress in Helsinki (Combinatorial aspects of some mathematical problems).
1990 wurde er Mitglied des „Center for Advanced Study“ der University of Illinois, wo er u. a. an der Verbesserung seines Knoten-Algorithmus arbeitet.
Literatur
- Donald MacKenzie Mechanizing proof, MIT Press 2001
Schriften
- Theorie der Normalflächen. Acta Math. Bd. 105, 1961, S. 245–375 (Haken-Mannigfaltigkeiten)
- mit Kenneth Appel: Every planar map is four colorable. Part I. Discharging. Illinois Journal of Mathematics Bd. 21, 1977
- mit Kenneth Appel: Every planar map is four colorable. Bulletin AMS Bd. 82, 1976, S. 711
- mit Kenneth Appel: Every Planar Map is Four Colorable. Contemporary Mathematics, Bd. 98, American Mathematical Society, 1989
- mit Kenneth Appel: The Solution of the Four-Color-Map Problem. Scientific American, Bd. 237, Nr. 4, S. 108–121 (1977)
Weblinks
Einzelnachweise
- MacKenzie Mechanizing Proof, S. 140. Einmal von dem Elektroingenieur Ulrich Schmidt der Technischen Hochschule Aachen in seiner Diplomarbeit, das andere Mal 1985 von H. Enomoto, S. Saeki, Universität Tokio. Auch das Programm selbst wurde überprüft vom Spezialisten für formal proof verification David Gries, er fand aber nur einen Fehler auf der sicheren Seite, beklagte aber die Unstrukturiertheit des Codes.
- MacKenzie, loc.cit., S. 142