What does the Comp function mean?

  • Thread starter japplepie
  • Start date
  • #1
93
0
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:

Answers and Replies

  • #5
93
0
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?
 
  • #6
12,954
6,806
Yes, I think you're right.
 

Related Threads on What does the Comp function mean?

  • Last Post
Replies
6
Views
2K
  • Last Post
Replies
3
Views
3K
  • Last Post
Replies
1
Views
7K
  • Last Post
Replies
3
Views
2K
  • Last Post
Replies
2
Views
2K
  • Last Post
Replies
1
Views
2K
  • Last Post
Replies
5
Views
3K
  • Last Post
Replies
2
Views
1K
  • Last Post
Replies
5
Views
722
  • Last Post
Replies
19
Views
4K
Top