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.
INRIA.HAL.SCIENCE Web Portal Publications, softwares... of Inria fellow Academics |
inria Interstices : Connect in order to contact the contributor
https://inria.hal.science/hal-01350404
Submitted on : Friday, July 29, 2016-5:46:42 PM
Last modification on : Friday, March 24, 2023-2:53:02 PM