Usually definitions are considered to be finite. Otherwise yes you can just name a number by enumerating its decimals but what's the point. Edit : actually doe

Usually definitions are considered to be finite. Otherwise yes you can just name a number by enumerating its decimals but what's the point. Edit : actually does not even work, courtesy of the Chaitin's numbers