[article] Comment vérifier les longues démonstrations ? [texte imprimé] /
Jean-Paul Delahaye, Auteur . - 2015 . - p.78-83.
Bibliographie, webographie.
Langues : Français
in Pour la science >
452 (06/2015) . - p.78-83
| Catégories : | 1305 mathématiques:mathématique:logique mathématique: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. |
Comment vérifier les longues démonstrations ? in Pour la science, 452 (06/2015)
