Menu
Accueil
Forums
Liste des forums
En ce moment
Nouveaux messages
Nouveaux messages de profil
Connexion
S'inscrire
Quoi de neuf
Liste des forums
Menu
Connexion
S'inscrire
Forums
Loisirs et Entraides
Etudiant
Est ce une nouvelle découverte en mathématiques ?.
JavaScript est désactivé. Pour une meilleure expérience, veuillez activer JavaScript dans votre navigateur avant de continuer.
Vous utilisez un navigateur obsolète. Il se peut que ce site ou d'autres sites Web ne s'affichent pas correctement.
Vous devez le mettre à jour ou utiliser un
navigateur alternatif
.
Répondre à la discussion
Message
[QUOTE="Hibou57, post: 13967219, member: 82014"] Ce n’est pas un statut qui fait prendre au sérieux une méthode de calcul, c’est sa démonstration. As‑tu rédigé une démonstration ? Si oui, peux‑tu demander à une personne reconnue, de la vérifier ? Remarque : il existe des assistants informatiques de démonstrations, qui valident automatiquement les preuves, puisque qu’ils contrôlent les étapes de la démonstration (qu’il faut rédiger explicitement dans un langage spécial). Ce n’est pas évident à manier au début, mais c’est reconnu. Je mentionne les deux plus connus, qui pourraient permettre à ta preuve écrite dans l’un de ces systèmes, d’être reconnue : Isabelle et Coq. [url]https://www.cl.cam.ac.uk/research/hvg/Isabelle/[/url] [url]https://coq.inria.fr[/url] Coq, est le système qui a servi à faire accepter une démonstration du théorème des cinq couleurs. [/QUOTE]
Insérer les messages sélectionnés…
Vérification
Répondre
Forums
Loisirs et Entraides
Etudiant
Est ce une nouvelle découverte en mathématiques ?.
Haut