Développement : Fonctions récursives, fonctions lamba-calculables

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.

Recasages pour l'année 2025 :

  • Pas de recasages pour cette année.

Versions :

Pas de version pour ce développement.

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