[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 |
| Année : |
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 |
| Genre : |
Article de périodique |
[article] Quand considère-t-on qu'un théorème est définitivement prouvé ? [texte imprimé] / Jean-Paul Delahaye, Auteur . - 2017 . - p.78-83. 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 |
| Genre : |
Article de périodique |
|
Quand considère-t-on qu'un théorème est définitivement prouvé ? in Pour la science, 475 (05/2017)