Was ist Minimierung (μ-Funktion) in Laien-Systemen?

Question

In der Informatik wird die μ-Funktion verwendet, um eine Reihe primitiv rekursiver Funktionen auf allgemein rekursive Funktionen zu erweitern, und ich kann nicht verstehen, was diese Funktion bewirkt.

Es gibt viele Formeln, aber ich kann nicht verstehen, was ist.Nehmen wir an, ich schreibe in Python (oder einer anderen Allzwecksprache).Was sind Beispiele für μ-Funktion IRL?

Answer 1

Dies ist Minimierung in Python:

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

Es ist eine etwas kompliziertere Übung, eine zu konvertieren while zu $\mu$, aber im Wesentlichen, $\mu$ führt eine Suche nach dem ersten (minimal) Nummer, die eine bestimmte Bedingung erfüllt, bei der es keine Garantie dafür gibt, dass die Suche erfolgreich ist.