:: [le théorème des quatre couleurs] n'a pour l'instant été prouvé que grâce à l'informatique
Dans l'article de Wikipédia, il est dit : pour la première fois, en effet, la démonstration exige l'usage de l'ordinateur pour étudier les 1478 cas critiques.
La démonstration a exigé l'usage d'un ordinateur mais il y a quand même une partie de la démonstration qui est purement mathématique. Le résultat n'a donc pas été démontré uniquement grâce à l'informatique, comme tu sembles le dire.
[^] # Re: La chèvre dans le champ rond
Posté par Archibald . En réponse au journal On ne sera jamais trop équitable.... Évalué à 1.
Dans l'article de Wikipédia, il est dit : pour la première fois, en effet, la démonstration exige l'usage de l'ordinateur pour étudier les 1478 cas critiques.
La démonstration a exigé l'usage d'un ordinateur mais il y a quand même une partie de la démonstration qui est purement mathématique. Le résultat n'a donc pas été démontré uniquement grâce à l'informatique, comme tu sembles le dire.