Lexikon der Mathematik: μ-rekursive Funktion
Eine Funktion
Sofern das Minimum nicht existiert, so ist der betreffende Funktionswert undefiniert (partielle Funktion). Der Funktionswert ist auch dann undefiniert, wenn mindestens einer der Werte
Die μ-rekursiven Funktionen stellen eine von vielen äquivalenten Definitionen für den Berechenbarkeitsbegriff dar (Berechnungstheorie, Churchsche These).
Im Vergleich mit den primitiv-rekursiven Funktionen treten bei den μ-rekursiven Funktionen nicht nur gewisse partielle Funktionen hinzu, sondern auch totale Funktionen (total berechenbare Funktion) wie z. B. die Ackermann-Funktion.
Wenn Sie inhaltliche Anmerkungen zu diesem Artikel haben, können Sie die Redaktion per E-Mail informieren. Wir lesen Ihre Zuschrift, bitten jedoch um Verständnis, dass wir nicht jede beantworten können.