Turing computable function

To determine whether a given mapping is a Turing computable function, researchers often construct an explicit Turing machine that halts with the correct output for every input.