| Titre : | Conjecture de Kepler : elle a été démontrée... ou presque (2003) |
| Auteurs : | Xavier Müller, Auteur |
| Type de document : | Article : texte imprimé |
| Dans : | La Science et la vie (Paris) (1035, décembre 2003) |
| Article : | p. 130-133 |
| Descripteurs : | 2000- / démonstration mathématique / erreur / ordinateur |
| Résumé : |
La démonstration de la conjecture de Kepler par Thomas Hales a été déclarée valide à 99% par le comité de vérification - la méthode de démonstration assistée par ordinateur étant considérée par les mathématiciens comme non entièrement vérifiable. Le rôle de l'ordinateur dans les démonstrations mathématiques. Le statut de l'erreur dans la démonstration mathématique. |
| Nature du document : | documentaire |
CDI de Campostal
Bienvenue sur le portail PMB du CDI Campostal
Accueil
Sélection de la langue
Adresse
CDI de Campostal5 place du bourg Coz
22110 Rostrenen