CHERCHER JOUER TROUVER

摘要

Vous avez certainement entendu parler du théorème des quatre couleurs : dans toute carte de géographie où les pays sont d'un seul tenant (sans enclave), quatre couleurs sont nécessaires et suffisantes pour que deux pays ayant une frontière commune (un point isolé ne compte pas) soient colorés dans des teintes différentes. Essayez avec cette carte ! Cette conjecture, émise par Guthrie en 1852, n'a été démontrée par Appel et Haken qu'en 1976, cette démonstration faisant appel, pour la première fois dans l'histoire des mathématiques, à un ordinateur.