Berechenbare Folge
In der Berechenbarkeitstheorie, einem Teilgebiet der theoretischen Informatik und der mathematischen Logik, gibt es berechenbare Folgen.
Definition
Eine Folge mit <math>a_i \in A, i\in B</math> heißt genau dann berechenbar, wenn es eine berechenbare Funktion <math>f \colon B\to A</math> gibt mit <math>f(i) = a_i</math>.