Re: prouveur automatique/assistant de preuve

[^] # Re: prouveur automatique/assistant de preuve

Posté par Yusei (Mastodon) le 05 mars 2009 à 09:18. En réponse au journal La preuve de programme : où en est-on ?. Évalué à 2.

Pour la nouvelle illustrée par Manara, ça doit être au minimum inspiré de la nouvelle de Borges, "la bibliothèque de Babel", qui parle d'une bibliothèque contant tous les livres d'une certaine taille.

[^] # Re: prouveur automatique/assistant de preuve