¿Qué es la minimización (función μ) en términos sencillos?

Question

En Ciencias de la Computación, la función μ se usa para extender un conjunto de funciones primitivamente recursivas a funciones generalmente recursivas, y no puedo entender qué hace esta función.

Hay muchas fórmulas, pero no puedo entender cuál es.Digamos que estoy escribiendo en Python (o cualquier otro lenguaje de propósito general).¿Cuáles son ejemplos de función μ IRL?

Answer 1

Esto es minimización en Python:

def mu(p):
    n = 0
    while not p(n):
        n += 1
    return n

Es un ejercicio un poco más complicado convertir un while a $\mu$, pero esencialmente, $\mu$ realiza una búsqueda del primero (mínimo) número que satisface una condición determinada, donde no hay garantía de que la búsqueda tenga éxito.