Berechenbarkeit

Eine Funktion heißt berechenbar, wenn es einen Algorithmus gibt, etwa in einer Programmiersprache, der bei Eingabe von in endlicher Zeit berechnet, falls es definiert ist. Ist nicht definiert, so folgt dann eine Endlosberechnung.

Siehe auch