Le théorème des quatre couleurs affirme qu'il est possible de colorier avec seulement quatre couleurs une carte composées de pays (techniquement un ensemble de parties formant une partition d'un ensemble) de tels manières que deux pays coloriés de la même façon n'aient aucune frontière commune.
Ce résultat fut conjecturé en 1852 par Francis Guthne.
De nombreuses tentatives pour le prouver ont été tentées en vain, jusqu'en 1976, date à laquelle deux Américains – Appel et Haken – l'ont démontrée grâce à l'outil informatique(1).
(1) ↑ C'est la raison pour laquelle cette démonstration partage encore actuellement la communauté mathématique, au sujet notamment de l'algorithme qui traita les 1 478 cas critiques.
Tout fidèle lecteur omnilogiste est rassuré à l'idée de savoir qu'en cas de problème de sûreté ou de sécurité(2), il pourra toujours composer le 17 voire le 112.
(2) ↑ la sûreté, c'est la police ; la sécurité : les pompiers et le samu
Nous avons déjà vu dans cet article l'histoire du désormais célèbre fromage La Vache qui rit. Mais au final, pourquoi la vache qui rit, rit ? D'où vient ce nom énigmatique ?
