Skip to Main content Skip to Navigation
Journal articles

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.
Mots-clés : théorème des quatre couleurs preuve formelle logique mathématique démonstration Coq preuve de programme
Document type :
Journal articles
Complete list of metadata
https://hal.inria.fr/hal-01350404
Contributor : inria Interstices Connect in order to contact the contributor
Submitted on : Friday, July 29, 2016 - 5:46:42 PM
Last modification on : Saturday, June 25, 2022 - 9:10:20 PM

Identifiers

  • HAL Id : hal-01350404, version 1

Collections

X | CNRS | INRIA | LIX | INSMI | X-LIX | X-DEP-INFO | INRIA-MECSCI | INRIA2

Citation

Benjamin Werner. La vérité et la machine. Interstices, INRIA, 2009. ⟨hal-01350404⟩

Export

BibTeX TEI DC DCterms EndNote Datacite

Share

Metrics

Record views

166

 

Contact                    Legal Notice                    Personal Data