Computable function

A computable function is a function \(f: \mathbb{N} \mapsto \mathbb{N}\) such that there exists a Turing machine that, given input \(a\), will output \(f(a)\).