La vérité et la machine
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.
Article Dans Une Revue
Interstices
Année : 2009
inria Interstices : Connectez-vous pour contacter le contributeur
https://inria.hal.science/hal-01350404
Soumis le : vendredi 29 juillet 2016-17:46:42
Dernière modification le : mercredi 17 avril 2024-13:46:26
Dates et versions
Identifiants
- HAL Id : hal-01350404 , version 1
Citer
Benjamin Werner. La vérité et la machine. Interstices, 2009. ⟨hal-01350404⟩
Collections
172
Consultations
0
Téléchargements