La vérité et la machine

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 : preuve de programme,preuve formelle,logique mathématique,démonstration,Coq,théorème des quatre couleurs,fuscia
Type de document : texte,image,ressource interactive
Type de ressource : lecture,démonstration
Niveau : higher education
Publics visés : learner
Auteurs ou éditeurs : Benjamin Werner,Institut National de Recherche en Informatique et en Automatique / Interstices