- 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 659 times
-1
polym
- 145
- 1
- 7
-
1What do you mean by "the reason behind the $\mu$ operator"? – D.W. Jul 20 '14 at 14:16
-
@D.W. The purpose of the μ operator. What does it accomplish. – polym Jul 20 '14 at 14:21
-
1@polym It accomplishes what its definition says it accomplishes. I also can't work out what you're asking. – David Richerby Jul 20 '14 at 14:57
-
Adding the μ-operator to the five primitive recursive operators makes it possible to define all computable functions. – Karolis Juodelė Jul 20 '14 at 15:30
-
1@KarolisJuodel: I think this is as good an answer as this thin question can receive. Mind posting as one? This question may be a useful reference, too. – Raphael Jul 20 '14 at 16:39
-
Which $\mu$ operator? This letter has been used in many different languages. – Gilles 'SO- stop being evil' Jul 21 '14 at 21:57
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,667
- 15
- 18