Wir untersuchen eine Darstellung berechenbarer Funktionen als totale Funktionen über der Menge der endlichen und unendlichen Folgen über {0,1}. In diesem Modell werden unendliche Folgen als nicht-terminierende Berechnungen interpretiert, während endliche Folgen die Summe ihrer Ziffern darstellen. Wir führen ein neues Definitionsprinzip ein, die Funktionsraum-Korekursion (function space corecursion), das gleichzeitig die Minimierung und die primitive Rekursion verallgemeinert. Dies definiert die Klasse der berechenbaren korekursiven Funktionen, die unter Komposition und Funktionsraum-Korekursion abgeschlossen ist. Wir beweisen, dass berechenbare korekursive Funktionen alle partiell-rekursiven Funktionen darstellen, und zeigen durch Übersetzung in den untypisierten Lambda-Kalkül, dass alle berechenbaren korekursiven Funktionen tatsächlich berechenbar sind. Abschliessend skizzieren wir, wie diese Darstellung berechenbarer Funktionen zu einem algebraischen Ansatz zur Berechenbarkeit und Komplexität im Begriffe sind, weiter zu entwickeln. ____________________________________ Invited by Prof. Helmut Schwichtenberg