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.
Type de document :
Article dans une revue
Liste complète des métadonnées

https://hal.inria.fr/hal-01350203
Contributeur : Inria Interstices <>
Soumis le : vendredi 29 juillet 2016 - 17:44:44
Dernière modification le : mardi 24 avril 2018 - 13:36:41

Identifiants

  • HAL Id : hal-01350203, version 1

Collections

Citation

Jean-Paul Delahaye. Du rêve à la réalité des preuves. Interstices, INRIA, 2012, 〈https://interstices.info/jcms/int_63417/du-reve-a-la-realite-des-preuves〉. 〈hal-01350203〉

Partager

Métriques

Consultations de la notice

326