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

Dans le périodique : La Recherche (Paris. 1970), n°582 (07/2025)
• Auteur : Antoine Chambert-Loir
• Pages : p.46-47
  • Langues : Français
• • Nature du document : documentaire
  • 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