Un ejemplo notable de función recursiva que no es primitiva recursiva es la función de Ackermann.