Wolfgang Haken ( alemán: [ˈvɔlfɡaŋ ˈhaːkn̩] ; 21 de junio de 1928 - 2 de octubre de 2022) fue un matemático alemán-estadounidense que se especializó en topología , en particular en 3 variedades .
Haken nació el 21 de junio de 1928 en Berlín , Alemania. Su padre era Werner Haken, un físico que tuvo a Max Planck como director de su tesis doctoral. [1] En 1953, Haken obtuvo un doctorado. Licenciada en Matemáticas por la Christian-Albrechts-Universität zu Kiel (Universidad de Kiel) y casada con Anna-Irmgard von Bredow, quien obtuvo un doctorado. Se licenció en matemáticas por la misma universidad en 1959. En 1962, abandonaron Alemania para que él pudiera aceptar un puesto como profesor visitante en la Universidad de Illinois en Urbana-Champaign . Se convirtió en profesor titular en 1965 y se jubiló en 1998.
En 1976, junto con su colega Kenneth Appel de la Universidad de Illinois en Urbana-Champaign , Haken resolvió el problema de los cuatro colores : demostraron que cualquier gráfico plano puede colorearse adecuadamente utilizando como máximo cuatro colores. Haken ha introducido varias ideas, incluidas las variedades de Haken , la finitud de Kneser-Haken y una expansión del trabajo de Kneser a una teoría de superficies normales . Gran parte de su trabajo tiene un aspecto algorítmico y es una figura de la topología algorítmica . Una de sus contribuciones clave a este campo es un algoritmo para detectar si un nudo está desatado.
En 1978, Haken pronunció un discurso invitado en el Congreso Internacional de Matemáticos en Helsinki. [2] Recibió el Premio Fulkerson de la Sociedad Estadounidense de Matemáticas en 1979 por su demostración con Appel del teorema de los cuatro colores . [3]
Haken murió en Champaign, Illinois , el 2 de octubre de 2022, a la edad de 94 años. [4]
El hijo mayor de Haken, Armin, demostró que existen tautologías proposicionales que requieren pruebas de resolución de tamaño exponencial. [5] La hija mayor de Haken, Dorothea Blostein , es profesora de informática, conocida por su descubrimiento del teorema maestro de las recurrencias de divide y vencerás . El segundo hijo de Haken, Lippold, es el inventor del diapasón Continuum . El hijo menor de Haken, Rudolf, es profesor de música y creó el primer programa universitario de cuerdas eléctricas del mundo en la Universidad de Illinois en Urbana-Champaign . [6] Wolfgang es primo de Hermann Haken , un físico conocido por la teoría del láser y la sinergia.