Well, I am glad to learn an even better notion for the concept I'm talking about! I'm just saying, I think "definable" is too loose, because it presupposes that

Well, I am glad to learn an even better notion for the concept I'm talking about! I'm just saying, I think "definable" is too loose, because it presupposes that I can even talk about real numbers in a definite way. "Computable" feels closer because it is like an idealized version of the notion, but I agree, it's too loose also. The reason I've latched onto it is that I read about the idea that in constructive mathematics all functions are continuous, basically because you can't tell that they're not continuous (because to tell that would imply you could inspect infinite digits of function's inputs and tell that they lead to discontinuities in the outputs). I quite like that idea because it rhymes with the intuition that nature doesn't care about later digits of numbers either, and that properties of the real numbers like being uncountable, dense, etc cannot show up in any physical system and therefore aren't "real". But I'm definitely looking for a better way of understanding this, so curious if you can suggest anything.