Re: En souvenir de son infirmation de la conjecture des quatre couleurs.

Retourner au contenu associé (journal : Martin Gardner (1914-2010))

[^] # Re: En souvenir de son infirmation de la conjecture des quatre couleurs.

Posté par Perthmâd le 25 mai 2010 à 13:49. En réponse au journal Martin Gardner (1914-2010). Évalué à 1.

Le diable est dans le détail.

Par expérience, je pense qu'on comprend beaucoup mieux une démonstration après l'avoir implémentée en Coq qu'après l'avoir prouvée trois fois sur papier.