La vérité et la machine

Benjamin Werner 1
1 TYPICAL - Types, Logic and computing
LIX - Laboratoire d'informatique de l'École polytechnique [Palaiseau], Inria Saclay - Ile de France
Résumé : Peut-on être sûr de la vérité d’une preuve ? Cette preuve de la preuve, comment l’obtenir en pratique ? La vérification formelle de démonstration est de plus en plus utilisée par les mathématiciens.
Type de document :
Article dans une revue
Liste complète des métadonnées

https://hal.inria.fr/hal-01350404
Contributeur : Inria Interstices <>
Soumis le : vendredi 29 juillet 2016 - 17:46:42
Dernière modification le : mercredi 14 novembre 2018 - 15:30:04

Identifiants

  • HAL Id : hal-01350404, version 1

Collections

Citation

Benjamin Werner. La vérité et la machine. Interstices, INRIA, 2009, 〈https://interstices.info/jcms/c_42623/la-verite-et-la-machine〉. 〈hal-01350404〉

Partager

Métriques

Consultations de la notice

348