Por supuesto para llegar a esta conclusión es necesario previamente obtener una definición de función computable.