Direkt zum Inhalt

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ß\begin{eqnarray}{\varphi }_{e}^{(m+n)}({x}_{1},\ldots {x}_{m},{y}_{1},\ldots,{y}_{n})\\ \,\,\,\,={\varphi }_{s(e,{x}_{1},\ldots,{x}_{m})}^{(n)}({y}_{1},\ldots,{y}_{n}).\end{eqnarray}

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.

  • Die Autoren
- Prof. Dr. Guido Walz

Schreiben Sie uns!

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.

Partnerinhalte

Bitte erlauben Sie Javascript, um die volle Funktionalität von Spektrum.de zu erhalten.