Forum

FORUM
- Ce forum est réservé aux sujets scientifiques. Pour ce qui concerne juste le site ou pour contacter le webmaster, utilisez le livre d'or.
- La législation française considère le mouvement raëlien comme une secte. En conséquence, les messages faisant sa promotion (ou celle du clonage reproductif) seront refusés.

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...