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, entrez votre nom ou pseudonyme : et votre e-mail (facultatif - sera affiché dans le forum) :
Votre langue :
Recevoir les réponses par mail
Gras Italique Souligné Rouge Bleu Jaune Vert Violet Orange Créer lien hypertexte Supprimer lien hypertexte Supprimer mise en forme     Aide

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

Votre message. Pour mettre en forme, sélectionnez du texte et utilisez les boutons ci-dessus.
Cliquez sur le point d'interrogation pour l'aide.

Question anti-spam : combien font 4 plus 4 (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