Real functions and numbers defined by Turing machines
infinite strings of digits as real numbers
scientific article; zbMATH DE number 3808980