Delahaye Jean-Paul.
« Des ordinateurs matheux »
in Sciences & avenir. Hors série, 140 (10/2004), p.40-44.
|
Titre :
|
Des ordinateurs matheux (2004)
|
|
Auteurs :
|
Jean-Paul Delahaye, Auteur
|
|
Type de document :
|
Article : texte imprimé
|
|
Dans :
|
Sciences & avenir. Hors série (140, 10/2004)
|
|
Article en page(s) :
|
p.40-44
|
|
Langues de la publication :
|
Français
|
|
Descripteurs
|
[UNESCO] Ordinateur
|
|
Mots-clés :
|
démonstration mathématique/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. Bibliographie.
|
|
Nature du document :
|
Article de périodique
|
