Berechenbare Folge

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

Definition

Eine Folge mit $a_i\in A,i\in B$ heißt genau dann berechenbar, wenn es eine berechenbare Funktion $f:B\to A$ gibt mit $f(i)=a_i$.

Siehe auch

• Rekursive Aufzählbarkeit