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"
|