Primitive recursive functions

[177/69%]

Subtopics

Diagonalization (Cantor/Turing argument)[36/67%]
Proving specific functions and predicates are primitive recursive[27/78%]
Recursive and primitive recursive sets and predicates[26/58%]
Closure properties of primitive recursive functions[20/65%]
Using pairing to reduce multi-argument recursion to primitive recursion[14/36%]
Alternative bases for recursive function classes[13/54%]
Induction on the construction of a formula[12/100%]
Universal functions (computability)[12/100%]
Induction for recursively defined sequences[11/91%]
Pairing and tupling functions are primitive recursive[6/83%]
Ackermann function[5/60%]