Développement #418

Titre : Fonctions récursives, fonctions lamba-calculables

Contenu : On montre ici l'équivalence :\r$f$ est $\lambda$-calculable $\Leftrightarrow$ $f$ est récursive.\r\rCe 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.\r\rOn fera attention à montrer au passage le théorème de la forme normale pendant la démonstration du sens direct.

Créé le : 23/07/2026 12:42

Mis à jour : 23/07/2026 12:42