Même les ordinateurs font des erreurs !
Le 26 juin 2013 Voir les commentaires (1)
Cet article a été écrit en partenariat avec Mathématique de la planète Terre

Le site Mathématiques de la Planète Terre (MPT), aujourd’hui Brèves de maths, a proposé, durant toute l’année 2013, une brève quotidienne avec « pour objectif d’illustrer la variété des problèmes scientifiques dans lesquels la recherche mathématique actuelle joue un rôle important, ainsi que certains grands moments dans l’histoire des sciences où les mathématiques ont, en interaction avec les autres sciences, aidé à comprendre ce que nul n’avait compris jusque-là. »
Vous pourrez retrouver la plupart de ces brèves dans notre dossier Mathématiques de la Planète Terre et l’intégralité ainsi que de nouvelles brèves, sur le site Brèves de maths.
Comme vu dans de nombreuses brèves précédentes, les mathématiques fournissent des algorithmes précis et rapides pour calculer toutes sortes de valeurs, de la trajectoire des planètes à la simulation des avalanches en passant par des concentrations de plancton. Néanmoins, une question se pose naturellement (surtout dans le cas de la météo où la comparaison est facile) : dans quelle(s) situation(s) les valeurs finales sont-elles justes ? La réponse est évidemment qu’elles ne le sont pas toujours. Et les conséquences peuvent être importantes !
Brève rédigée par
Sylvie Boldo (Inria), sur la base de ses travaux en collaboration avec François Clément,
Jean-Christophe Filliâtre,
Micaela Mayero,
Guillaume Melquiond et Pierre Weis.
Pour en savoir plus :
- Page Wikipedia du Vol 501 d’Ariane 5.
- Page Wikipedia des méthodes formelles.
- Page de l’assistant de preuves Coq.
- Polycopié de cours sur Arithmétique des ordinateurs et preuves formelles.
- Page du projet FOST (Formal proofs about scientific computations) [en anglais].
Partager cet article
Pour citer cet article :
Un jour une brève — «Même les ordinateurs font des erreurs !» — Images des Mathématiques, CNRS, 2013
Laisser un commentaire
Dossiers
Actualités des maths
-
6 février 2023Journées nationales de l’APMEP, appel à ateliers (9/4)
-
20 janvier 2023Le vote électronique - les défis du secret et de la transparence (Nancy, 26/1)
-
17 novembre 2022Du café aux mathématiques : conférence de Hugo Duminil-Copin (Nancy et streaming, 24/11)
-
16 septembre 2022Modélisation et simulation numérique d’instruments de musique (Nancy & streaming, 22/9)
-
11 mai 2022Printemps des cimetières
-
3 mai 2022Comment les mathématiques se sont historiquement installées dans l’analyse économique (streaming, 5/5)
Commentaire sur l'article
Même les ordinateurs font des erreurs !
le 26 juin 2013 à 10:32, par projetmbc