Chambert-Loir Antoine.
« Les assistants de preuve ou la vérité mathématique »
in la Recherche (Paris. 1970), 582 (07/2025), p.46-47.
|
Titre :
|
Les assistants de preuve ou la vérité mathématique
|
|
Auteurs :
|
Antoine Chambert-Loir
|
|
Type de document :
|
Article : texte imprimé
|
|
Dans :
|
la Recherche (Paris. 1970) (582, 07/2025)
|
|
Article en page(s) :
|
p.46-47
|
|
ISBN/ISSN/EAN :
|
0029-5671
|
|
Langues de la publication :
|
Français
|
|
Descripteurs
|
Contrôle
démonstration mathématique
|
|
Résumé :
|
Retour sur les enjeux de la démonstration mathématiques et son degré de fiabilité. Recours à la méthode du pivot de Gauss pour limiter les erreurs d'arrondis. Possibilité de vérifier formellement certaines théories grâce à la puissante croissante des ordinateurs. Objectif de mathématiques assistées par ordinateur.
|
|
Nature du document :
|
documentaire
|
|
Genre :
|
article de périodique
|
