- 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.
Inhaltsverzeichnis
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 zur Zeit noch als Professor emeritus ist). Im Jahre 1976 hat er zusammen mit Kenneth Appel (der zu dem Zeitpunkt, ebenso wie Haken, an der University of Illinois gearbeitet hat) den berühmten Vier-Farben-Satz bewiesen. 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 Kurve „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 Universität Frankfurt am Main. 1979 erhielt er mit Appel den Fulkerson-Preis für diskrete Mathematik.
1990 wurde er Mitglied des „Center for Advanced Study“ (CAS) der University of Illinois, wo er u.a. an der Verbesserung seines Knoten-Algorithmus arbeitet.
Literatur
- Donald MacKenzie Mechanizing proof, MIT Press 2001
Schriften
- Wolfgang Haken: Theorie der Normalflächen. Acta Math. Bd.105, 1961, S.245-375 (Haken-Mannigfaltigkeiten)
- Kenneth Appel, Wolfgang Haken: Every planar map is four colorable. Part I. Discharging. Illinois Journal of Mathematics Bd.21, 1977
- Kenneth Appel, Wolfgang Haken: Every planar map is four colorable, Bulletin AMS Bd.82, 1976, S.711
- Kenneth Appel, Wolfgang Haken: Every Planar Map is Four Colorable, Contemporary Mathematics, Bd. 98, American Mathematical Society, 1989
- Kenneth Appel, Wolfgang Haken: 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
Wikimedia Foundation.
