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.
Portail INRIA.HAL.SCIENCE Les publications, logiciels... des scientifiques Inria |
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