Handout - Institut für Theoretische Informatik - Technische ...

4. Church-Turing-These 4.2 Rekursive Funktionen
Zunächst wollen wir die bekannte Verknüpfung von Funktionen
N g N f N , n ↦→ f (g(n)) =: (f ◦ g)(n)
auf die mehrstellige Funktionen übertragen. Falls N k N brauchen wir
k Funktionen N t i g i
N, die man im einfachsten Fall per Substitution zu
einer Funktion N ∑ i