Direkt zum Inhalt

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.

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.

  • Die Autoren
- Prof. Dr. Guido Walz

Partnerinhalte

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