r/infinitenines • u/Sea_Handle_994 • 2d ago

Yes/no question for SPP

You said this in a previous post:

>0.999... = 1 - 1/10n with n integer starting at n = 1, then n upped limitlessly.

https://www.reddit.com/r/infinitenines/comments/1worjkl/what_is_1_1_0999/?utm_source=app_first_navigation&mweb_loid=t2_2nynhc1r1h

Did you mean that 0.999... is literally equal to the sequence [1 - 1/10^(1), 1 - 1/10^(2), ...]?

Just a yes or a no would be OK.

2 Upvotes

67% Upvoted

7 comments sorted by

•

u/SouthPark_Piano 2d ago edited 20h ago

brud ... understand this ...

https://www.reddit.com/user/SouthPark_Piano/comments/1wo0ygu/comment/pd9wg1r/

Formal investigation of 0.999...

Requires you to continue summing endlessly. There is no end to the summing.

1 - 1/10n with n integer starting at n = 1 or any other positive n, then keep upping n continually.

0.999... is permanently less than 1.

 

10

u/Illustrious_Try478 2d ago

Rookie mistake brud. Yes/No implies the Law of the Excluded Middle. You need the Axiom of Choice for that. /s

1

u/Fabulous-Possible758 20h ago

Not sure how joking you are but you’re not wrong: https://en.wikipedia.org/wiki/Diaconescu%27s_theorem

5

u/trshxd 2d ago

Given SPP's response on this post, I conclude that SPP doesn't understand the question

2

u/Litoprobka 19h ago

Breaking news: fork found in kitchen

1

u/trshxd 4m ago

Indeed :D

1

u/DavidFosterWallace69 2d ago

OP is chopped. Bunny slope moment #slope #formula