Lexikon der Mathematik: Parametertheorem
Iterationstheorem, S-m-n-Theorem, Satz in der Berechnungstheorie:
Seien m, n ≥ 1. Dann gibt es eine (m + 1)-stellige total berechenbare Funktion s so, daß
Hierbei ist \({\varphi }_{1}^{(k)},{\varphi }_{2}^{(k)},\,\ldots \)eine Aufzählung aller k-stelligenpartiell-rekursiven Funktionen.
Anwendung findet das Parametertheorem vor allem in Kombination mit dem Kleeneschen Fixpunktsatz.
Copyright Springer Verlag GmbH Deutschland 2017
Wenn Sie inhaltliche Anmerkungen zu diesem Artikel haben, können Sie die Redaktion per E-Mail informieren. Wir lesen Ihre Zuschrift, bitten jedoch um Verständnis, dass wir nicht jede beantworten können.