Kenneth Appel

Kenneth Ira Appel (1932, Brooklyn – 2013, Dover) est un mathématicien américain, connu pour avoir résolu le problème des quatre couleurs avec Wolfgang Haken dans les années 1970.

Biographie

Appel a obtenu son PhD en 1959 à l'université du Michigan sous la direction de Roger Lyndon[2].

Il a résolu en 1976, avec son collègue Wolfgang Haken à l'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 que deux pays voisins soient toujours de couleurs différentes.

Les enfants d'Appel, Laurel, Peter et Andrew, aujourd'hui professeur à Princeton, participèrent à la vérification de plus de 1 000 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.

Honneurs

Appel et Haken ont reçu le prix Fulkerson en 1979 pour leur article sur le problème des quatre couleurs[3].

Notes et références
  1. (en) « Kenneth Appel », The Daily Telegraph,‎ (lire en ligne).
  2. (en) « Kenneth Ira Appel », sur le site du Mathematics Genealogy Project.
  3. (en) « Delbert Ray Fulkerson Prize », sur le site de l'AMS.

Liens externes
  • Portail des mathématiques
  • Portail de l'informatique théorique
Cet article est issu de Wikipedia. Le texte est sous licence Creative Commons - Attribution - Partage dans les Mêmes. Des conditions supplémentaires peuvent s'appliquer aux fichiers multimédias.