Fonction d'Ackermann

De AgregmathKL

Révision de 18 avril 2012 à 09:42 par Kevin (discuter | contributions) (Cori number 2)

(diff) ← Version précédente | Voir la version courante (diff) | Version suivante → (diff)

Aller à : navigation, rechercher

Où l'on montre sept lemmes intermédiaires.

Développement

Recasements

922 -- Ensembles récursifs, récursivement énumérables. Exemples.

Références

Cori-Lascar II
Il y a quelques lignes là dessus dans le Carton

Récupérée de « https://minerve.ens-rennes.fr/index.php?title=Fonction_d%27Ackermann&oldid=553 »