La vérité et la machine

)i( interstices
http://interstices.info/jcms/c_42623/la-verite-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 ? Longtemps réservée aux informaticiens et aux logiciens, la vérification formelle de démonstration est utilisée par une fraction grandissante de la communauté mathématique.
...