The idea that any function that is computable by an algorithm is also computable by a Turing machine and vice versa.