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 |
BU Sciences
| Localisation | Cote | Statut | |
|---|---|---|---|
|
n° 1056 (2005)
|
Archives | 500 RS SCI |
Dispo. du n° : voir "Lien"
|