La recherche a retourné 1 résultat

par elwahraanii
16/11/2009 - 12:02:58
Forum : Mathématiques
Sujet : [News] Vérifier sans faille les démonstrations mathématiques par ordinateur
Réponses : 60
Vues : 97891

Re: [News] Vérifier sans faille les démonstrations mathématiques par ordinateur

Nous sommes peut-être proches d’un temps où nous verrons les ordinateurs, plutôt que les êtres humains, faire des mathématiques. Une machine ne fait pas de Mathématiques: tout ce qu'un ordinateur peut faire c'est manipuler des symboles plus vite qu'un être humain. Et c'est toujours un être humain q...