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 !

Recasages pour l'année 2024 :

  • Pas de recasages pour cette année.

Versions :

Références utilisées dans les versions de ce développement :

Logique et fondements de l'informatique, Rougemont, Lassaigne (utilisée dans 6 versions au total)
The Lambda Calculus. Its Syntax and Semantics, Henk Barendregt (utilisée dans 3 versions au total)
Classical Recursion Theory, Piergiorgio Odifreddi (utilisée dans 2 versions au total)