What does the Comp function mean?

[japplepie]

I've been looking at this proof -> http://basics.sjtu.edu.cn/~liguoqiang/teaching/comp14/materials/Ackermann.pdf
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 :)

 

[jedishrfu]

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

 

[japplepie]

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]

Could that be one of the primitive recursive functions?

 

[japplepie]

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]

Yes, I think you're right.