| Titre : | Du rêve à la réalité des preuves (2011) |
| Auteurs : | Jean-Paul Delahaye, Auteur |
| Type de document : | Article : texte imprimé |
| Dans : | Pour la science (402, 04/2011) |
| Article en page(s) : | p.90-95 |
| Langues de la publication : | Français |
| Descripteurs |
[UNESCO] démonstration mathématique [UNESCO] informatique scientifique [UNESCO] loi et principe scientifique |
| Résumé : | Point, en 2011, par un mathématicien, sur le rôle des ordinateurs dans la validation de résultats mathématiques : apports et limites de l'informatique comme assistant de preuve pour aider à la formalisation de la démonstration de théorème. |
| Note de contenu : | Webographie. |
| Nature du document : | documentaire |
| Ancien numéro de notice : | MF11070411341574 |
Exemplaires (1)
| Code-barres | Cote | Support | Localisation | Section | Disponibilité |
|---|---|---|---|---|---|
| 21377 | PER | Périodique | CDI | CDI- rdc | Disponible |