couleurs (théorème des quatre).

couleurs (théorème des quatre). MATHÉMATIQUES : théorème affirmant que quatre couleurs sont toujours suffisantes pour colorier n'importe quelle carte tracée sur un plan ou une sphère, de manière que deux pays voisins ne soient pas coloriés de la même couleur. Ce problème fut célèbre car, depuis son énoncé par Auguste de Morgan en 1852, il est resté pendant plus d'un siècle une conjecture indémontrée. En 1977, Kenneth K. Appel et Wolfgang Haken en ont donné une « démonstration « qui fut très discutée et qui est encore contestée par certains mathématiciens ; en effet, elle consiste à réduire le problème à un nombre fini de vérifications ; mais ces vérifications, bien que très mécaniques, ont réclamé 1 200 heures d'ordinateur, ce qui empêche tout un chacun de les reproduire et oblige à faire confiance au programme de vérification luimême, dont la validité ne saurait être prouvée.