Lexikon der Mathematik: Kleenescher Fixpunktsatz
wichtiger Satz innerhalb der Berechnungstheorie, aufgestellt von von S.C. Kleene im Jahre 1938:
Falls f eine total berechenbare Funktion ist, so gibt es einen Index e ∈ ℕ so, daß φe = φf(e).
Hierbei ist φ1, φ2, …eine Aufzählung aller partiell-rekursiven Funktionen.
Copyright Springer Verlag GmbH Deutschland 2017
Schreiben Sie uns!