| Titre : | Des ordinateurs matheux (2004) |
| Auteurs : | Jean-Paul Delahaye, Auteur |
| Type de document : | Article : texte imprimé |
| Dans : | Sciences et avenir. Hors-série (140, octobre 2004) |
| Article : | p. 40-44 |
| Note générale : |
bibliographie |
| Descripteurs : | démonstration mathématique / mathématicien / ordinateur / théorème |
| Résumé : |
Rôle de l'ordinateur dans la démonstration automatique de théorèmes mathématiques. Limites de la vérification humaine. Capacité de contrôle des mathématiciens. |
Exemplaires (1)
| Cote | Section | Localisation | Code-barres | Disponibilité |
|---|---|---|---|---|
| Archives | réserve | CDI | 03028 | Disponible |