9. Kapitel

Primitiv rekursive und partiell rekursive Funktionen
Primitiv rekursive Funktionen
Dedekindscher Rechtfertigungssatz
Theorem
Es seien für m ≥ 0 die Funktionen g : N m → N und h : N m+2 → N
gegeben. Dann existiert genau eine Funktion
f : N m+1 → N,
die Lösung des Normalschemas der primitiven Rekursion (2b) in der
obigen Definition ist.
ohne Beweis
J. Rothe (HHU Düsseldorf) Informatik IV 14 / 42