Comment vérifier les longues démonstrations ?

Dans le périodique : Pour la science, n°452 (06/2015)
• Auteur : Jean-Paul Delahaye
• Pages : p.78-83
  • Langues : Français
• • Nature du document : documentaire Genre : Article de périodique
  • Note générale : Bibliographie, webographie.
  • 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.

• • Descripteurs : démonstration mathématique