| 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-novembre 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. |
| Nature du document : | documentaire |
Lycée Le Kreisker
Bienvenue sur le portail PMB du CDI du lycée Le Kreisker
Accueil
Se connecter
Adresse
Lycée Le Kreisker2 rue Cadiou
29 250 Saint Pol de Léon
02 98 69 13 08
contact