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 |
| 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. |
|---|---|
| Description matérielle: | p. 90-95. |
| ISSN: | 0036-8369 |