Berechenbarkeit/Beta-Funktion/Folgenrepräsentierung/Fakt

Aus Wikiversity
Zur Navigation springen Zur Suche springen
Lemma über die -Funktion

Zu jeder endlichen Folge aus

gibt es natürliche Zahlen derart, dass für ist.

Zum Beweis, Alternativen Beweis erstellen