Sur le problème de Hamming, l’infini, la paresse, et l’expressivité d’un langage de programmation

APMEP : Suppléments en ligne au BV
http://www.apmep.asso.fr/spip.php?article3631
Le but de cet article n'est pas de trouver un algorithme pour résoudre un problème mathématique mais d'étudier dans le cas particulier du problème de Hamming la distance entre la caractérisation mathématique de la solution et sa programmation effective, distance qui mesure le degré d'expressivité du langage pour ce problème.
...