Kenneth Appel
Un article de Wikipédia, l'encyclopédie libre.
 |
Cet article est une ébauche concernant un mathématicien.
Vous pouvez partager vos connaissances en l’améliorant (comment ?) selon les recommandations des projets correspondants.
|
Kenneth Appel (né en 1932) est un mathématicien qui a résolu en 1976, avec son collègue Wolfgang Haken à Université de l'Illinois à Urbana-Champaign, l'un des plus célèbres problèmes de mathématiques, le problème des quatre couleurs. Ils démontrèrent que toute carte à deux dimensions peut être coloriée avec quatre couleurs de façon à ce que deux pays voisins soient toujours de couleurs différentes.
Les enfants d'Appel, Laurel Appel, Peter Appel, et Andrew Appel, aujourd'hui professeur à Princeton, participèrent à la vérification de plus de 1000 cas topologiques qui constituent cette preuve. Mais l'essentiel de la vérification a été réalisé par ordinateur, ce qui a soulevé d'importants problèmes méthodologiques.
