Wolfgang Haken

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

  1. 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.
  2. MacKenzie, loc.cit., S.142

Wikimedia Foundation.

Игры ⚽ Поможем написать курсовую

Schlagen Sie auch in anderen Wörterbüchern nach:

  • Wolfgang Haken — (Berlín, Alemania, 21 de junio de 1928 ) es un matemático que se especializa en topología, en particular en 3 variedad. En 1976 junto con Kenneth Appel de la Universidad de Illinois en Urbana Champaign, Haken resolvió uno de los mas famosos… …   Wikipedia Español

  • Wolfgang Haken — (born June 21, 1928) is a mathematician who specializes in topology, in particular 3 manifolds. In 1976 together with colleague Kenneth Appel at the University of Illinois at Urbana Champaign, Haken solved one of the most famous problems in… …   Wikipedia

  • Wolfgang Haken — (né le 21 juin 1928) est un mathématicien spécialisé en topologie, et plus particulièrement en variétés de dimension 3. En 1976, avec son collègue Kenneth Appel de l Université de l Illinois à Urbana Champaign, Haken a résolu un des problèmes les …   Wikipédia en Français

  • Haken — may refer to:* Wolfgang Haken, mathematician who helped prove the four color theorem and made notable contributions to low dimensional topology * a type of 3 manifold, called a Haken manifold, named after Wolfgang Haken * Rianne ten Haken, Dutch… …   Wikipedia

  • Haken — bezeichnet: Haken (Gerät), ein Bauteil oder Werkzeug zum Anbringen von Lasten Angelhaken, zum Fischfang Felshaken, eine Sicherung im Klettern und Bergsport Haken (Boxen), eine Schlagtechnik im Boxen Häkchen (Schriftzeichen), ein Schriftsymbol, um …   Deutsch Wikipedia

  • Wolfgang — (pronunciesé Volfgang) nombre alemán que se traduce como Paso del lobo, tal nombre puede hacer referencia a: Johann Wolfgang von Goethe , novelista, dramaturgo, poeta, científico, geólogo, botánico, anatomista, físico, historiador de ciencias,… …   Wikipedia Español

  • Wolfgang Franz (Mathematiker) — Wolfgang Franz (* 4. Oktober 1905 in Magdeburg; † 26. April 1996 in Frankfurt) war ein deutscher Mathematiker. Leben Wolfgang Franz studierte Mathematik, Physik und Philosophie an der Universität Kiel. Er promovierte im Jahr 1930 über den… …   Deutsch Wikipedia

  • Haken manifold — In mathematics, a Haken manifold is a compact, P² irreducible 3 manifold that contains a two sided incompressible surface. Sometimes one considers only orientable Haken manifolds, in which case a Haken manifold is a compact, orientable,… …   Wikipedia

  • Wolfgang Jeschke — Wolfgang Jeschke, März 2008 in München Wolfgang Jeschke (* 19. November 1936 in Tetschen, Tschechoslowakei) ist ein deutscher Schriftsteller und Science Fiction Herausgeber, etwa von Science Fiction Reihen im Heyne Verlag (München). Neben… …   Deutsch Wikipedia

  • Wolfgang Otto (SS-Mitglied) — Wolfgang Otto im April 1947 Wolfgang Gunther Klaus Otto (* 23. August 1911 in Kattowitz; † 26. November 1989 in Geldern) war ein deutscher Stabsscharführer der Waffen SS und als Leiter der Kommandanturschreibstube im KZ Buchenwald …   Deutsch Wikipedia

Share the article and excerpts

Direct link
Do a right-click on the link above
and select “Copy Link”