Dismiss Notice
Join Physics Forums Today!
The friendliest, high quality science and math community on the planet! Everyone who loves science is here!

What does the Comp function mean?

  1. Apr 1, 2015 #1
    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: May 7, 2017
  2. jcsd
  3. Apr 2, 2015 #2

    jedishrfu

    Staff: Mentor

  4. Apr 2, 2015 #3
    I see, but what is the p11 in the parameter?
     
  5. Apr 2, 2015 #4

    jedishrfu

    Staff: Mentor

    Could that be one of the primitive recursive functions?
     
  6. Apr 2, 2015 #5
    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?
     
  7. Apr 2, 2015 #6

    jedishrfu

    Staff: Mentor

    Yes, I think you're right.
     
Know someone interested in this topic? Share this thread via Reddit, Google+, Twitter, or Facebook




Similar Discussions: What does the Comp function mean?
  1. What does A\B mean? (Replies: 3)

  2. What does 'mean' mean? (Replies: 6)

Loading...