|
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 en page(s) :
|
p.78-83
|
|
Note générale
|
Bibliographie.
|
|
Langues de la publication :
|
Français
|
|
Mots-clés :
|
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.
|
|
Nature du document :
|
Article de périodique
|
