Lexikon der Mathematik: Kleenescher Fixpunktsatz
wichtiger Satz innerhalb der Berechnungstheorie, aufgestellt von von S.C. Kleene im Jahre 1938:
Falls f einetotal berechenbare Funktion ist, so gibt es einen Index e ∈ ℕ so, daß φe = φf(e).
Hierbei ist φ1, φ2, …eine Aufzählung allerpartiell-rekursiven Funktionen.
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.