Turing machines were first proposed by British mathematician Alan Turing in 1936, and are a theoretical mathematical model of what it means for a system to "be a computer." In a paper published in the ...

However, there's a problem with this, which I can't resolve. Anyone who's done a computing machinery course will have heard of the Halting Problem, or Self Applicability, or some variant thereof.