| 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 : | p.90-95 |
| Note générale : | Webographie. |
| Langues: | Français |
| Descripteurs : | démonstration mathématique / informatique scientifique / théorème |
| 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. |
| Genre : | Article de périodique |
CDI du Lycée La Mennais
Portail d'Information du CDI
Accueil
Adresse
CDI du Lycée La Mennais2,rue Général Dubreton
56800 Ploërmel
0297732500
contact