Du rêve à la réalité des preuves
Résumé
Les ordinateurs ne savent pas prouver seuls des théorèmes profonds. Cependant, grâce aux assistants de preuve, ils garantissent les démonstrations découvertes par les mathématiciens.
Article Dans Une Revue
Interstices
Année : 2012
inria Interstices : Connectez-vous pour contacter le contributeur
https://inria.hal.science/hal-01350203
Soumis le : vendredi 29 juillet 2016-17:44:44
Dernière modification le : vendredi 24 mars 2023-14:53:02
Dates et versions
Identifiants
- HAL Id : hal-01350203 , version 1
Citer
Jean-Paul Delahaye. Du rêve à la réalité des preuves. Interstices, 2012. ⟨hal-01350203⟩
Collections
178
Consultations
0
Téléchargements