0

Does there exist a general recursive function which is not primitive recursive, which grows slower than some primitive recursive function? In fact, is there such a function which is bounded by a constant function?

user107952
  • 20,508

1 Answers1

2

Yes, via direct diagonalization: let $$f(x)=\begin{cases} 1 & \mbox{ if } p_x(x)=0,\\ 0 & \mbox{ if } p_x(x)>0\\ \end{cases}$$ where $(p_n)_{n\in\mathbb{N}}$ is the usual effective enumeration of the primitive recursive functions. This $f$ is computable, not primitive recursive, and as bounded as one could hope.

Noah Schweber
  • 245,398