Das Kefk Network Wiki befindet sich im Testbetrieb.

---

Aus Kefk.

Eine Zahlenfunktion ist eine Funktion, die von einer k-stelligen Menge der natürlichen Zahlen zur Menge der natürlichen Zahlen führt.

Der Begriff wird hauptsächlich in der theoretischen Informatik in der Theorie der Berechenbarkeit verwendet und dient der Abgrenzung zu Funktionen über anderen Mengen, insbesondere Wortfunktionen. Zum Beweis der Berechenbarkeit einer Zahlenfunktion dienen mathematische Modelle wie die Registermaschine, die While-Berechenbarkeit oder die My-Rekursion.

Formale Definition

Eine Zahlenfunktion ist eine möglicherweise partielle Funktion .

Dabei steht für das k-fache kartesische Produkt , also die Menge der Tupel der Länge k mit natürlichen Zahlen als Komponenten.

Bedeutung

In der Theorie der Berechenbarkeit kann man zeigen, dass sich Funktionen über beliebige Mengen durch eine geeignete Nummerierung auf Zahlenfunktionen abbilden lassen. Über die Cantorsche Paarungsfunktion zeigt man weiter, dass es ausreicht, sich in der Theorie der Berechenbarkeit auf die Menge der einstelligen Zahlenfunktionen zu beschränken.

Dieses Dokument entstammt in seiner ersten oder einer späteren Version der deutschsprachigen Wikipedia. Es ist dort zu finden unter dem Stichwort Zahlenfunktion, die Liste der bisherigen Autoren befindet sich in der Versionsliste; die Originalfassung kann dort auch bearbeitet werden. Alle Texte der Wikipedia und ihre Derivate stehen unter der GNU-Lizenz für freie Dokumentation.