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).