Une preuve sur les nombres premiers

Un ordinateur,c'est avant tout une machine. Est-il alors bien raisonnable de lui confier des démonstrations ? Voici un exemple propre à convaincre les sceptiques.

Mots-clés : algorithme de Knuth,preuve formelle,Coq,complexité,fuscia
Type de document : texte,image,ressource interactive
Type de ressource : lecture,démonstration
Niveau : higher education
Publics visés : learner
Auteurs ou éditeurs : Anita Castiel,Institut National de Recherche en Informatique et en Automatique / Interstices