|
Titre :
|
Comment vérifier les longues démonstrations ? (2015)
|
|
Auteurs :
|
Jean-Paul Delahaye, Auteur
|
|
Type de document :
|
Article : texte imprimé
|
|
Dans :
|
Pour la science (452, 06/2015)
|
|
Article en page(s) :
|
p.78-83
|
|
Langues de la publication :
|
Français
|
|
Descripteurs
|
[UNESCO] démonstration mathématique
|
|
Résumé :
|
Présentation par un chercheur en mathématiques du problème de vérification des longues démonstrations mathématiques : exemple de domaines où il existe de très longues démonstrations mathématiques ; les notions de calcul et de démonstration et l'utilisation du calcul comme preuve d'un théorème ; l'utilisation de programmes informatiques pour trouver certaines preuves mathématiques et l'incapacité du raisonnement humain à contrôler les résultats obtenus ; l'utilisation des assistants de preuve qui sont des logiciels permettant l'écriture et la vérification des preuves mathématiques, exemples de théorèmes complexes démontrés grâce à l'aide de ces outils.
|
|
Note de contenu :
|
Bibliographie, webographie.
|
|
Nature du document :
|
documentaire
|
|
Ancien numéro de notice :
|
MF15110916141441
|
