You must log in or register to comment.
Remember when US politicians argued about declaring Pi to 3?
Would have been funny seeing the world go boink in about a week.
To everyone who might not have heard about that before: It was an attempt to introduce it as a bill in Indiana:
https://en.m.wikipedia.org/w/index.php?title=Indiana_pi_bill
I prefer my pi to be in duodecimal anyway. 3.184809493B should get you to where you need to go.
Some software can be pretty resilient. I ended up watching this video here recently about running doom using different values for the constant pi that was pretty nifty.
This is why we can’t have nice things like dependable protection from fall damage while riding a boat in Minecraft.
If 0.999… < 1, then that must mean there’s an infinite amount of real numbers between 0.999… and 1. Can you name a single one of these?
(0.999… + 1) / 2
Reals are just point cores of dressed Cauchy sequences of naturals (think of it as a continually constructed set of narrowing intervals “homing in” on the real being constructed). The intervals shrink at the same rate generally.
1!=0.999 iff we can find an n, such that the intervals no longer overlap at that n. This would imply a layer of absolute infinite thinness has to exist, and so we have reached a contradiction as it would have to have a width smaller than every positive real (there is no smallest real >0).
Therefore 0.999…=1.
However, we can argue that 1 is not identity to 0.999… quite easily as they are not the same thing.
This does argue that this only works in an extensional setting (which is the norm for most mathematics).
Are we still doing this 0.999… thing? Why, is it that attractive?
I wish computers could calculate infinity
I can honestly say I learned something from the comment section. I was always taught the .9 repeating was not equal to 1 but separated by imaginary i … Or infinitely close to 1 without becoming 1.
Okay, but it equals one.
deleted by creator
Even the hyperreal numbers *R, which include infinitesimals, define 1 == .999…
deleted by creator
Sort of how 0.0000001 = 0
