In der Berechenbarkeitstheorie, einem Teilgebiet der theoretischen Informatik und der mathematischen Logik, gibt es berechenbare Folgen.

Definition Eine Folge mit heißt genau dann berechenbar, wenn es eine berechenbare Funktion gibt mit .

Siehe auch Rekursive Aufzählbarkeit

Kategorie:Berechenbarkeitstheorie