Quand considère-t-on qu'un théorème est définitivement prouvé ?

Dans le périodique : Pour la science, n°475 (05/2017)
• Auteur : Jean-Paul Delahaye
• Pages : p.78-83
  • Langues : Français
• • Nature du document : documentaire
  • Note générale : Bibliographie.
  • Résumé :

    Le point, avec l'exemple du grand théorème de Fermat, sur l'importance d'obtenir pour chaque théorème une preuve vérifiable par ordinateur pour éliminer le risque d'erreur : l'utilisation des assistants de preuves et leurs limites ; la démonstration apportée par Andrew Wiles du grand théorème de Fermat, les problèmes liés à l'utilisation par Wiles de notions mathématiques relevant de systèmes formels puissants ; les différents travaux cherchant à établir une preuve au grand théorème de Fermat sans utiliser d'axiomes forts sur l'infini.

• • Descripteurs : démonstration mathématique