Lectures on the Philosophy of Mathematics

by Joel David Hamkins

We say that a model of computability is Turing complete if it can simulate the operation of Turing machines and vice versa, so that the class of computable functions to which it gives rise is the same as the class of Turing-computable functions.