Vérité mathématique : L'ordinateur aura bientôt le dernier mot
Enregistré dans:
| Publié dans: | Science et vie No 1056 |
|---|---|
| Auteur principal: | |
| Support: | Article de revue |
| Publié: |
2005.
|
| Sujets: | |
| Résumé: | La récente validation du théorème des quatre couleurs l'annonce : trop complexes, les démonstrations ne pourront plus se passer de l'outil informatique. |
| Lien: | Dans:
Science et vie |