Faute sur ton site ? (Back to the list)

Message written on 08/27/2008 by Hilikus
- "Ayant 4 couleurs et n'importe quelle carte, on peut la colorier de manière à ce que deux régions limitrophes soient de couleurs différentes" : c'est un énoncé dont on ne sait pas encore s'il est vrai ou faux : c'est une question ouverte ! (copier-coller de ton site)

Euh c'est une erreur, ça a été démontré en deux temps, premier par réduction du problème à un nombre de cas fini et second temps écumage de toutes les solutions possibles par ordinateur.
J'ai parcouru ta page en diagonale et ça m'a frappé peut être te reprends-tu plus loin et dans ce cas toutes mes excuses !!!

Message written on 08/28/2008 by webmaster
Oui justement, c'est bien là le problème que je développe (rapidement, c'est vrai) dans mon article : quel statut donner à une preuve faite par ordinateur ? L'ordinateur peut faire des erreurs de calcul mais contrairement à un calcul "classique" qu'un humain ferait sur un papier, celui de l'ordinateur n'est pas vérifiable puisque les étapes restent dans la boîte noire...

Une solution serait à mon avis de faire faire le calcul à l'ordinateur comme on l'a fait tout en lui demandant d'imprimer toutes ses étapes... Ainsi on pourrait ensuite vérifier de manière classique (travail de titan, mais en temps fini).
Mais peut-être que mes connaissances sur ce sujet ne sont pas à jour...

To add a message, enter your name or alias : and your e-mail (optional - it will be written in the forum) :
Your language :
Get answers by mail
Bold Italic Underlined Red Blue Yellow Green Purple Orange Create hypertext link Delete hypertext link Delete properties     Help

This page can only work with Javascript. Click here to know how to activate it.

Your message. To edit it, select some text and use the buttons upon.
Click on ? to read help.

Anti-spam question : how much are 8 plus 24 (write the answer with numbers) ?