-1
$\begingroup$
  • 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?
$\endgroup$
6

1 Answer 1

2
$\begingroup$

Adding the μ-operator to the five primitive recursive operators makes it possible to define all computable functions. It is well explained in wikipedia.

$\endgroup$

Not the answer you're looking for? Browse other questions tagged or ask your own question.