Catalogue en ligne <strong>CDI du Lycée La Mennais</strong>

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 :	p.78-83
Note générale :	Bibliographie, webographie.
Langues:	Français
Descripteurs :	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.
Genre :	Article de périodique