Discuter:Fonction calculable

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:43 (CET)