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\colon B\to A$ gibt mit $f(i)=a_{i}$.

Siehe auch

• Rekursive Aufzählbarkeit