He defined a computable number as real number whose decimal expansion could be produced by a Turing machine starting with a blank tape.
Siya na tinukoy ng isang nakukuwenta numero bilang tunay na bilang na ang decimal expansion ay maaaring nagawa sa pamamagitan ng isang Turing machine nagsisimula sa isang blangko tape.