| 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. |
| Nature du document : | documentaire |
| Genre : | Article de périodique |
Annie Le Guennec & Fabienne Dubost CDI Saint-François-Xavier
Bienvenue sur le portail PMB du CDI du Collège-Lycée-Prépa Saint-François-Xavier Vannes
Accueil
Adresse
Annie Le Guennec & Fabienne Dubost CDI Saint-François-Xavier3 rue Thiers
56000
Vannes FRANCE
02 97 47 12 80 cdi@s-fx.fr
contact