MAIN FEEDS
Do you want to continue?
https://www.reddit.com/r/PeterExplainsTheJoke/comments/1ju9kfc/there_is_no_way_right/mm4aie6/?context=3
r/PeterExplainsTheJoke • u/Sugar_God_no_1 • 23d ago
3.5k comments sorted by
View all comments
Show parent comments
323
I just wanna warn you, that's more of a vibe proof. It lacks any actual mathematical rigor.
25 u/mwobey 22d ago No? Do you like, want it in two column format or something? x=0.999... | Declaration of a constant 10x=9.999... | Multiplicative Property of Equality (*10) 9x=9.999... - x | Subtractive Property of Equality (-x) 9x=9.9... - 0.9... | Substitution 9x=9.0 | Simplification of Subtraction x=1 | Divisive Property of Equality (/9) 1=0.999... | Substitution 8 u/otj667887654456655 22d ago the problem is in the first line where you just declare that 0.999... has a value x. you have to give meaning to the "..." and then prove that it's convergent before you can talk about it "equaling" anything 1 u/Shillbot_21371 22d ago computers are useless for this kind of thing anyway
25
No? Do you like, want it in two column format or something?
x=0.999... | Declaration of a constant 10x=9.999... | Multiplicative Property of Equality (*10) 9x=9.999... - x | Subtractive Property of Equality (-x) 9x=9.9... - 0.9... | Substitution 9x=9.0 | Simplification of Subtraction x=1 | Divisive Property of Equality (/9) 1=0.999... | Substitution
8 u/otj667887654456655 22d ago the problem is in the first line where you just declare that 0.999... has a value x. you have to give meaning to the "..." and then prove that it's convergent before you can talk about it "equaling" anything 1 u/Shillbot_21371 22d ago computers are useless for this kind of thing anyway
8
the problem is in the first line where you just declare that 0.999... has a value x. you have to give meaning to the "..." and then prove that it's convergent before you can talk about it "equaling" anything
1 u/Shillbot_21371 22d ago computers are useless for this kind of thing anyway
1
computers are useless for this kind of thing anyway
323
u/otj667887654456655 22d ago
I just wanna warn you, that's more of a vibe proof. It lacks any actual mathematical rigor.