[article]
| Titre : |
Quand considère-t-on qu'un théorème est définitivement prouvé ? |
| Type de document : |
texte imprimé |
| Auteurs : |
Jean-Paul Delahaye, Auteur |
| Editeur : |
Pour la science, 2017 |
| Article : |
p.78-83 |
| Note générale : |
Bibliographie. |
| Langues : |
Français (fre) |
in Pour la science > 475 (05/2017)
| 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. |
| Nature du document : |
documentaire |
[article]
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.
|  |
Quand considère-t-on qu'un théorème est définitivement prouvé ? / Pour la science (2017) in Pour la science, 475 (05/2017)
