Abonnez-vous à Universalis pour 1 euro

HAKEN WOLFGANG (1928- )

Articles

  • APPEL KENNETH (1932-2013)

    • Écrit par
    • 382 mots

    Le mathématicien américain Kenneth Appel apporta, avec son confrère Wolfgang Haken, la preuve du problème dit des quatre couleurs en 1976.

    Kenneth Ira Appel naît le 8 octobre 1932, dans le quartier new-yorkais de Brooklyn. Il étudie les mathématiques au Queens College de New York, où il décroche...

  • INFORMATIQUE ET VÉRITÉ MATHÉMATIQUE

    • Écrit par
    • 1 990 mots
    Ce résultat, conjecturé en 1852 par Francis Guthrie (1831-1899), fut démontré en juin 1976 par Kenneth Appel et Wolfgang Haken, en partie à l'aide d'un calcul par ordinateur. La preuve a été redonnée plusieurs fois – et même améliorée –, mais elle ne fut jamais rendue suffisamment courte pour qu'un...
  • QUATRE COULEURS PROBLÈME DES

    • Écrit par
    • 2 176 mots
    • 2 médias

    Résolu en 1976 par Kenneth Appel et Wolfgang Haken de l'université d'Illinois, le problème des quatre couleurs offre une triple particularité : sa popularité, due à la simplicité suggestive de son énoncé ; les nombreux efforts faits pour le résoudre, qui ont fécondé toute la branche de la topologie...