Rekursive Funktionen in der Komputer-Theorie (Recursive Functions in Computer Theory)