En la teoria de la computabilitat, un conjunt de nombres naturals s'anomena recursiu, computable o decidible si hi ha un algorisme, que acaba després d'una quantitat finita de temps i que pot decidir si un nombre pertany al conjunt.
Bibliografia Rogers, H. The Theory of Recursive Functions and Effective Computability, MIT Press. ; Soare, R. Recursively enumerable sets and degrees. Perspectives in Mathematical Logic. Springer-Verlag, Berlin, 1987.
Vegeu també Conjunt enumerable recursivament Conjunt indecidible
Categoria:Computabilitat