Delahaye Jean-Paul.
« Du rêve à la réalité des preuves »
in Pour la science, 402 (04/2011), p.90-95.
|
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 :
|
p.90-95
|
|
Note générale :
|
Webographie.
|
|
Descripteurs :
|
démonstration mathématique
/
informatique scientifique
/
théorème
|
|
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.
|
