In what meaningful sense does an undefinable real number exist?
The reals are defined by definition, what are you talking about?
>>9063186
https://en.wikipedia.org/wiki/Definable_real_number
>>9063186
>defined by definition
What is dedekind cut? the post
>>9063166
Take this with a grain of salt, but the idea I came up with is this: assume you have a perfect random number generator, and have it spew out an infinite number of random numbers and append it to some integer as the decimal. Good luck defining it uniquely
>>9063476
Let me rephrase that, by random numbers I mean random integers from 0-9