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, X - École polytechnique, CNRS - Centre National de la Recherche Scientifique : UMR
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 : jeudi 10 mai 2018 - 02:06:29

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

328