Comment by markusde
6 hours ago
Exactly right. You can pick and use real numbers, as long as they are only queried to finite precision. There are lots of super cool algorithms for doing this!
6 hours ago
Exactly right. You can pick and use real numbers, as long as they are only queried to finite precision. There are lots of super cool algorithms for doing this!
That's just saying that you can pick and use rational numbers (which are a subset of the reals.)