Original: Here program i refers to the i th program in an enumeration of all the programs of a fixed Turing-complete model of computation.
Simplified: References