# What does the Comp function mean?

I've been looking at this proof -> http://basics.sjtu.edu.cn/~liguoqiang/teaching/comp14/materials/Ackermann.pdf [Broken]
At the bottom of the second page, there is this thing which looks like this:
http://s24.postimg.org/sxtz7pef9/what.png

Could someone please explain what that function with those weird parameters mean please, thank you :)

Last edited by a moderator:

My guess is it means composite. The proof is trying to demonstrate the Ackermann's function is not a primitive recursive function (Pr) so that means it must be a composite function.

http://en.wikipedia.org/wiki/Primitive_recursive_function
I see, but what is the p11 in the parameter?

jedishrfu
Mentor
Could that be one of the primitive recursive functions?

Could that be one of the primitive recursive functions?
I think what it means is the general form of the any kind of primitive recursive function, but I'm not sure.. What do you think?

jedishrfu
Mentor
Yes, I think you're right.