Wolfgang Haken
Un article de Wikipédia, l'encyclopédie libre.
.png/27px-Noether_(petite_image).png){kind=small} |
Cet article est une ébauche concernant un mathématicien.
Vous pouvez partager vos connaissances en l’améliorant. (Comment ?).
|
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 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, la finitude de Kneser-Haken, et un prolongement du travail de Kneser dans une théorie des surfaces normales. La plupart de son travail présente un aspect algorithmique, et il est une des figures influentes de la topologie algorithmique. Une de ses contributions clés dans ce domaine est un algorithme pour détecter si un nœud est trivial.
