-1
  • 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?
polym
  • 145
  • 1
  • 7

1 Answers1

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