La recherche a retourné 1 résultat
Aller sur la recherche avancée
- 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...