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.
Durant l'Antiquité, on pensait que le bâillement consistait à évacuer la fièvre de l'organisme ou à injecter de l'oxygène dans notre cerveau. Bizarrement ce comportement très fréquent n'a fait l'objet d'études scientifiques qu'à partir des années 80.
Me revoilà pour poursuivre ma présentation des différents systèmes d'écritures existants ou ayant existés sur notre chère planète. Après avoir découvert les écritures phonologiques, qui cherchent uniquement à transcrire en symboles le son produit lorsque l'on dit ce que l'on souhaite écrire, nous allons maintenant parler des systèmes d'écriture sémantique, les principes dans cet article et les exemples des hiéroglyphes et des sinogrammes dans un prochain.
Avec le nouveau Head & Kopf, finies les pellicules. Avec sa formule 3 en 1 Head & Kopf ne fait pas que détruire les pellicules, il empêche leur réapparition…
