Dieser Artikel von Wikipedia ist u.U. veraltet. Die neue Version gibt es hier. Eine Funktion <math>f : \mathbb{N}^k \rightarrow \mathbb{N}</math> heißt berechenbar wenn es einen Algorithmus gibt etwa einer Programmiersprache der bei Eingabe von <math>\left( n_1 n_k \right) \in \mathbb{N}^k</math> in endlicher Zeit \left( n_1 ... n_k \right)</math> berechnet. Ist \left( n_1 ... n_k \right)</math> nicht definiert folgt dann eine Endlosberechnung.