Delahaye Jean-Paul.
« Quand considère-t-on qu'un théorème est définitivement prouvé ? »
in Pour la science, 475 (05/2017), p.78-83.
Titre :
|
Quand considère-t-on qu'un théorème est définitivement prouvé ? (2017)
|
Auteurs :
|
Jean-Paul Delahaye, Auteur
|
Type de document :
|
Article : texte imprimé
|
Dans :
|
Pour la science (475, 05/2017)
|
Article :
|
p.78-83
|
Note générale :
|
Bibliographie.
|
Descripteurs :
|
démonstration mathématique
|
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.
|