| 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. |
| Langues: | Français |
| 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. |
| Genre : | Article de périodique |
CDI du Lycée La Mennais
Portail d'Information du CDI
Accueil
Adresse
CDI du Lycée La Mennais2,rue Général Dubreton
56800 Ploërmel
0297732500
contact