[article]
| Titre : |
Comment vérifier les longues démonstrations ? |
| Type de document : |
texte imprimé |
| Auteurs : |
Jean-Paul Delahaye, Auteur |
| Editeur : |
Pour la Science, 2015 |
| Article : |
p.78-83 |
| Note générale : |
Bibliographie, webographie. |
| Langues : |
Français (fre) |
in Pour la science > 452 (06/2015)
| 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. |
| Nature du document : |
documentaire |
| Genre : |
Article de périodique |
[article]
|
Comment vérifier les longues démonstrations ?
de Jean-Paul Delahaye
In Pour la science, 452 (06/2015), p.78-83
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 ? / Pour la Science (2015) in Pour la science, 452 (06/2015)