Faute sur ton site ? (Retour à la liste)

Message posté le 27/08/2008 par 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 posté le 28/08/2008 par 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...


Pour ajouter un message, choisissez sa langue :
Votre nom ou pseudo : et votre e-mail (facultatif - sera affiché dans le forum) :
Recevoir les réponses par mail
GrasItaliqueSoulignéRougeBleuJauneVertVioletOrangeCréer lien hypertexteSupprimer lien hypertexteSupprimer la mise en forme    Aide

Vous devez activer Javascript pour que ce formulaire fonctionne. Cliquez ici pour savoir comment faire.

Question anti-spam : combien font 2 plus 9 (réponse en chiffres) ?
Au fait : en vous abonnant au club des amatheurs, vous n'aurez plus à remplir les questions antispam ! Plus d'infos ici.