Bezeichnung für eine Funktion, die mittels einer Turing-Maschine berechnet werden kann. Da aufgrund der Churchschen These alle Berechenbarkeitsbegriffe untereinander äquivalent sind, wird der Vorsatz „Turing“ auch oft weggelassen.