Théorème des quatre couleurs
Période historique : 1976 (Appel et Haken)
Quatre teintes suffisent pour colorier n'importe quelle carte plane sans conflit frontalier.
Contenu & Formulation mathématique
Genèse & Portée historique
Ce célèbre théorème de théorie des graphes stipule que toute carte découpée en régions connexes d'un plan peut être coloriée en utilisant au maximum quatre teintes de sorte que deux régions partageant une portion de frontière commune ne portent jamais la même couleur.
Conjecturé par Francis Guthrie en 1852, sa démonstration par Kenneth Appel et Wolfgang Haken en 1976 suscita un débat épistémologique historique, car elle fut la première preuve majeure assistée par ordinateur vérifiant 1476 configurations irréductibles.
Filiations & Relations conceptuelles (1)
Objet de collection MathTCG
Théorème des quatre couleurs
Hypothèses : Graphe planaire fini simple.
Dans l'édition physique et numérique de MathTCG, cette carte appartient à l'extension Foundations.