- What is the purpose of the $\mu$ operator?
- Is there a real world example?
- Is it correct that it can create partial functions out of total functions and it makes a function $g$ with k parameters out of a function $f$ with $k+1$ parameters?
Asked
Active
Viewed 689 times
-1
polym
- 145
- 1
- 7
1 Answers
2
Adding the μ-operator to the five primitive recursive operators makes it possible to define all computable functions. It is well explained in wikipedia.
Karolis Juodelė
- 3,697
- 16
- 18