3 ms·
I gave it a google, and per Math StackOverflow: > One can make statements about π or any other explicitly defined real number, as theorems about a specific seq
by roywiggins 10y ago
I gave it a google, and per Math StackOverflow:
> One can make statements about π or any other explicitly defined real number, as theorems about a specific sequence of rational approximations
https://math.stackexchange.com/questions/501/if-all-sets-were-finite-how-could-the-real-numbers-be-defined https://math.stackexchange.com/questions/501/if-all-sets-wer...
- Smaug123 10y agoThis is correct: given a computation, you're allowed to execute it as far as you like. You're just not allowed to consider it "after executing infinitely many steps". So you're allowed to consider a real number expanded to n decimal places, for any n.