title: Wolfgang Haken
text: # Wolfgang Haken
  
  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.
  
  ## Travaux
  
  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.
  
  ## Prix et récompenses
  
  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.
  
  