Fonction d'Ackermann
De AgregmathKL
Révision de 17 avril 2012 à 17:17 par
Basile
(
discuter
|
contributions
)
(biblio)
(
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
Fonction d'Ackermann
Fonction d'Ackermann
Recasements
922 -- Ensembles récursifs, récursivement énumérables. Exemples.
Références
Cori-Lascar I
Il y a quelques lignes là dessus dans le Carton
Menu de navigation
Outils personnels
Se connecter
Espaces de noms
Page
Discussion
Variantes
Affichages
Lire
Voir le texte source
Historique
Plus
Rechercher
Navigation
Accueil
Modifications récentes
Page au hasard
Aide
Outils
Pages liées
Suivi des pages liées
Pages spéciales
Adresse de cette version
Information sur la page
