Wolfgang Haken
Un article de Wikipédia, l'encyclopédie libre.
Vous avez de  |
Cet article est une ébauche à compléter concernant un mathématicien, vous pouvez partager vos connaissances en le modifiant. |
Wolfgang Haken (né le 21 juin 1928) est un mathématicien spécialisé en topologie, et plus particulièrement en variété 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èbre en mathématique, le théorème des quatre couleurs. Ils démontrèrent que toute carte à deux dimensions, peut être colorer avec quatre couleurs de façon que deux pays voisins soient de couleurs différentes.
Haken introduisit plusieurs idées importantes, comme les variétés Haken, la finitude de Kneser-Haken, et un prolongement du travail de Kneser dans une théorie des surfaces normales. La plupart de sont travail présente un aspect algorithmique, et il est une des figures influentes de la topologie algorithmique. Une de ces contribution clé dans ce domaine est un algorithme pour détecter si un nœud est nœud trivial.
