Si bien la recursión primitiva parece poder expresar cualquier operación, en realidad sólo cubre un subconjunto estricto de las funciones computables.