Discuter:Fonction partielle récursive
Un article de Wikipédia, l'encyclopédie libre.
On trouve sur Wikipédia les chapitres suivants :
Fonction récursive
Fonction partielle récursive
Fonction calculable
Fonction semi-calculable
Fonction récursive primitive
Comme récursive <=> calculable, il conviendrait de fusionner ces deux chapitres.
Comme partielle récursive <=> semi-calculable, il conviendrait également de fusionner ces deux chapitres.
Enfin, comme il n'existe pas de processus de décision permettant de dire si une fonction est calculable ou semi-calculable, la question se pose même si ces cinq chapitres ne doivent pas être réduits à deux seulement :
les fonctions récursives (au sens large)
les fonctions récursives primitives
Theon 31 décembre 2005 à 10:44 (CET)