From my recent post about what a computer can do, there are a number of mathematical theorems that bear it out. One is the notion of Turing Completeness . In essence, a computer or computing model is Turing Complete if it can be emulated by a Turing machine.