Le coin des amatheurs de sciences version 2
Les sections du site : Le site FORUM
L'espace
La génétique
Médecine
Physique
Tintin et la science
Ecologie - nucléaire
Mystères de l'histoire
Humour
Divers
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...