cuales son miembros computables
Un conjunto A de números naturales se llama computable (sinónimos: recursivo, decidible) si existe una función computable, total "f"} tal que para cualquier número natural n, "f"(n) = 1 si n está en A y "f"(n) = 0 si n no está en A.