Développement : Les fonctions récursives sont lambda-définissables

Détails/Enoncé :

On encode les fonctions récursives en lambda-calcul.
Attention, beaucoup de livres donnent des preuves fausses !

Versions :

  • Auteur :
  • Remarque :
    On prouve uniquement que les fonctions primitives récursives sont lamda-définissables.
    Il faut faire attention aux livres, une partie de la preuve de chaque livre est fausse/trop compliquée, et il faut mùélanger les deux preuves pour que ça marche. Aussi, il y a pas mal de typos
  • Référence :
  • Fichier :