a conceptual system equivalent to all digital computers devised by Alan Turing in On Computable Numbers
Turing extended the concept of the Gödel number to what is now called the Turing machine, which can be understood either as a number or as a calculating algorithm (a computer).