linguistic:voice_change, structural:expansion, linguistic:paraphrasing, structural:scholar_edition
In computability theory, the μ-operator, minimization operator, or unbounded search operator searches for the least natural number with a given property. Adding the μ-operator to the primitive recursive functions makes it possible to define all computable functions.