En conclusión, deben existir funciones computables que no son primitivas recursivas.