Les assistants de preuve ou la vérité mathématique

Dans le périodique : La Recherche, n°582 (07/2025)

Auteur : Antoine Chambert-Loir
- Langues : Français
- Nature du document : documentaire Genre : Article de périodique
- 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.
- Descripteurs : contrôle / démonstration mathématique

Sur le même sujet