La vérité et la machine - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
Journal Articles Interstices Year : 2009

La vérité et la machine

Abstract

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.
No file

Dates and versions

hal-01350404 , version 1 (29-07-2016)

Identifiers

  • HAL Id : hal-01350404 , version 1

Cite

Benjamin Werner. La vérité et la machine. Interstices, 2009. ⟨hal-01350404⟩
169 View
0 Download

Share

Gmail Facebook Twitter LinkedIn More