Développement : Fonctions récursives, fonctions lamba-calculables [no ref, no pdf]

Détails/Enoncé :

On montre ici l'équivalence :
$f$ est $\lambda$-calculable $\Leftrightarrow$ $f$ est récursive.

Ce développement est mal sourcé, notamment pour le sens directe. Le sens réciproque est bien traité de le P.Odifreddi mais le sens direct est juste donné en idée et contient de plus une arnaque.

On fera attention à montrer au passage le théorème de la forme normale pendant la démonstration du sens direct.

Versions :

Pas de version pour ce développement.