|
Titre :
|
Du rêve à la réalité des preuves (2011)
|
|
Auteurs :
|
Jean-Paul Delahaye, Auteur
|
|
Type de document :
|
Article : texte imprimé
|
|
Dans :
|
Pour la science (402, 04/2011)
|
|
Article en page(s) :
|
p.90-95
|
|
Note générale
|
Webographie.
|
|
Langues de la publication :
|
Français
|
|
Mots-clés :
|
démonstration mathématique/théorème/informatique scientifique
|
|
Résumé :
|
Point, en 2011, par un mathématicien, sur le rôle des ordinateurs dans la validation de résultats mathématiques : apports et limites de l'informatique comme assistant de preuve pour aider à la formalisation de la démonstration de théorème.
|
|
Nature du document :
|
Article de périodique
|
