Wolfgang Haken, né le 21 juin 1928 à Berlin et mort le 2 octobre 2022 à Champaign, 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 plus célèbres en mathématiques, le théorème des quatre couleurs. Ils démontrèrent que toute carte à deux dimensions peut être coloriée avec quatre couleurs de telle façon que deux pays voisins soient toujours de couleurs différentes.
Haken introduisit plusieurs idées importantes, comme les variétés de Haken (en), la finitude de Kneser-Haken, et un prolongement du travail de Hellmuth Kneser dans une théorie des surfaces normales (en). Une grande part de son travail présente un aspect algorithmique, et il est une des figures influentes de la topologie algorithmique (en). Une de ses contributions clés dans ce domaine est un algorithme pour détecter si un nœud est trivial.
Haken est invité en 1978 au Congrès international des mathématiciens à Helsinki avec une conférence intitulée Combinatorial aspects of some mathematical problems.
Wolfgang Haken est lauréat en 1979 du Prix Fulkerson décerné par l'American Mathematical Society pour sa résolution avec Kenneth Appel du théorème des quatre couleurs.
Ressources relatives à la recherche : Digital Bibliography & Library Project Mathematics Genealogy Project Scopus
Portail des mathématiques Portail des États-Unis Portail de l'informatique théorique