Funktionen

Zusammenfassung

Jedes Programm berechnet eine bestimmte Funktion. Wegen der Möglichkeit der Gödelisierung kann man dabei ohne Einschränkung annehmen, daß die Funktion über den Bereich der nichtnegativen ganzen Zahlen ℕ₀ erklärt ist, und daß f im Wertebereich einstellig ist. Also

$$ f:IN_o^r \to IN_0 . $$

Die Funktion f hat das r-tupel (n₁,n₂,....,n_r) als Argument. Zur Abkürzung werde N für das r -tupel gesetzt, also f(N) statt f(n₁,n₂,....,n_r). Im Sinne von PASCAL ist N ein Feld mit r Komponenten.