- Feature Articles
- CodeSOD
- Error'd
- Forums
-
Other Articles
- Random Article
- Other Series
- Alex's Soapbox
- Announcements
- Best of…
- Best of Email
- Best of the Sidebar
- Bring Your Own Code
- Coded Smorgasbord
- Mandatory Fun Day
- Off Topic
- Representative Line
- News Roundup
- Editor's Soapbox
- Software on the Rocks
- Souvenir Potpourri
- Sponsor Post
- Tales from the Interview
- The Daily WTF: Live
- Virtudyne
Admin
It's almost as if they were.... organized!
Filed Under: I won the Buckeye Newshawk Award!
Admin
That alone proves evolution.
Admin
Or homes where the litter box is in the bathroom.
Admin
0.999... can be properly expressed in finite space. You just did, twice. 0.999... and 1 are two finite representations of the exact same number.
Admin
Um. Neither.
Admin
My dog (when he was still a puppy) discovered the joys of toilet paper... Let's just say the roll was destroyed, not just unrolled. And his poop was a little more textured for a while.
The roll now sits on the window sill.
Admin
Or simple algebra. But I'm happy to have hooked 2 people so far. :fishing_pole_and_fish:
Admin
Well, I mean, representing all the digits distinctly.
Anything can be represented in finite space.
(/) = 2304897203874019472097610289470194279174.1249147202049871042981048928738701 + pi + 99.9999... + 2/39.
Admin
Including my beloved. But then she did walk straight into it ;)
Since this thread is now about maths, I found this: [image] Can anyone spot the issue with that proof? Other than the fact it's bollocks?
Admin
4(x) = 3(x) x = 0
Admin
No. Bloody close though ;)
Admin
That's definitely a problem with it. There's no way three of something is the same as four of that thing unless that thing is zero, or you've overridden the + operator.
Admin
I'm having trouble with step 1. How do you figure
4*a - 3*a = a
? To my knowledge the only value ofa
that satisfies this condition is0
.Oh derp, Hanzo'd again, courtesy of @Magus.
Why do I insist on writing replies before reading the rest of the thread?
Admin
Also, I got the 'proof' from here.
Admin
Yeah, the second and third step aren't even important. If a + b = c, a + b - c = 0.
Admin
Hmm.... Yeah, I can't determine a level 1 algebraic rule from the primary algebraic interpreter dataset that allows splitting an arbitrary variable in this manner. The best rules would be:
a
) can be represented with the static value of ?Unit (i.e.1
) like so:1*a
.2
can be replaced by the sub-expression(1+1)
).(1+1)*a
can become1a+1a
).At best, this allows us the following:
Which, (If you decide to combine terms under rule 4A$1-10.33) simply results in a+b=c If not, well you can't eliminate a group of dynamic values in a sub-expression out in one step (Forbidden under 4A$2-15.3, sub-expressions in a unary multiplicative group cannot be eliminated from an equation by means of division or multiplication unless all terms in the subexpression are represented by static values), but if you could:
Assuming
a+b-c
is non-zero, this means that4/3 = 1
:interrobang: New proof? Nope, because we broke a rule. :stuck_out_tongue:Admin
You've actually hit on the semantic trick here, at least in regards to the first transition. As given in the first transition of the original, it is violating the rule of equalities. If you have a + b = c, and wish to arbitrarily distribute a pair of values across it, you would have the transitions
a + b = c 1(a +b) = 1c, x - y = 1 (x - y)(a + b) = (x - y)c
which is, as you pointed out, a tautology. but the original was based on the assumption of
1(a +b) = 1c, x - y = 1 (x + y)(a + b) = (x + y)c
which is invalid. (The specific sign, plus or minus, is irrelevant, you could have written it as
1(a +b) = 1c, x + y = 1 (x - y)(a + b) = (x - y)c
and the incorrect transition would still be there. It's the change of sign from the underlying equality that is at fault).
Since it did not show that explicitly, but skipped to the transition
xa + ya + xb + yb = xc + yc
with the incorrect transition cascading through it, it gives a transition that looks correct but is actually invalid from the original rule of a + b = c.
Admin
Wow, the error happened earlier than I thought then? Guys, this is why I don't do math for my job; the company would go down in my meager hands...
Instead, I'm just doing database and programming. No math to be done here!
Admin
Where did you get the change of sign from?
does it not? And if you say
x = 4
andy = 3
, you getwhich is in the original.
So far, @Magus is the closest; he got the whole
a + b - c = 0
thing. Just one more step, and he'd have the answer…Admin
/schol-r-lea kicks self Damn, I see what I did wrong, yeah. I misread the original, somehow. Sorry about that.
Admin
As established earlier, a + b - c = 0.
So, 40 = 30 is true.
But then you divide both sides by (a + b - c), which is dividing by zero. :facepalm:
Admin
1 represents all the digits of 0.999... distinctly.
Admin
a + b - c is zero.
4(a + b - c) = 3(a + b - c) 4 * 0 = 3 * 0 0 = 0
You cannot reduce it to 4 = 3 because that would require dividing by zero. Actually, as soon as you get to 4(something) = 3(something) you have proven that something has to be zero.
No. You don't even have to go that far in.
4 - 3 = 1 (4 - 3)a = 1a 4a - 3a = a
You can then substitute 4a - 3a directly for a in the equation, which is what was done. Similar to replace b and c.
a + b = c 4a - 3a + 4b - 3b = 4c - 3c 4a + 4b - 4c = 3a + 3b - 3c 4(a + b - c) = 3(a + b - c) 4 = 3 (true only if a + b - c is not equal to zero)
And there lies the rub, because a + b - c does equal zero, so you can't take that step.
Admin
Actually it's a good proof of why 0/0 != 1, and why dividing by 0 is undefined.
If dividing by 0 was allowed, then 0/0 is either infinity or 1 or 0
If it were infinity, then 4 * infinity = 3, then infinity = 3/4, and consequently, infinity equals any number. If it were 1, then 4 = 3. If it were 0, then 4 = 0, 3 = 0. And consequently, everything = 0.
Admin
That does not necessarily follow. You could permit dividing a nonzero number by zero (resulting in infinity) but still let 0/0 be undefined.
Admin
https://what.thedailywtf.com/uploads/default/original/3X/d/a/da4016d432917d89f70b06659f68790a31694c21.png
4(a + b - c) = 3(a + b - c) 4(0) = 3(0) 0(4/0) = 3 0 * infinity = 3 0 = 3.
Admin
0 * infinity is not defined. Any number times infinity is not defined in standard algebra. What's 0.5 * infinity? Less than infinity but still infinite? How about 2 * infinity? Is that larger than infinity?
Actually infinity is not a number. You can't multiply by it. It's just sometimes used to represent an infinite result when a number was expected.
Admin
But that means that it makes no sense to allow infinity to be introduced into an algebraic expression.
So defining x/0 = infinity, just creates more problems.
1 + infinity? 1 - infinity? etc.
You just made the expression meaningless.
One more reason to add to the "math isn't real" pile
Admin
You're right, it can't be introduced into an algebraic expression.
x/0 isn't literally equal to infinity, it's just convenient shorthand to say that it is because the result of the division would be infinite (assuming x isn't 0; if x was 0, then the result would be undefined). You can't use it in any algebraic expression though. None of the standard arithmetic operators have any meaning when used with infinity; like I said, it's actually not a number at all.
Admin
You can introduce it, if you define things properly. You do inevitably lose some of the universality of algebraic laws, but it can be done and is useful in some contexts.
If you're dealing with non-negative numbers, you can introduce an ∞ such that x/0 = ∞ (for x > 0). To make things work in the most sensible and useful way, you need to have x + ∞ = ∞ for any x (including x = ∞) and x * ∞ = ∞ for any x>0. You still can't sensibly define 0*∞.
Another example is the extended real line, which is the set of all real numbers together with {-∞, +∞}. Operations are defined as sensibly as possible, to whit: x + ∞ = ∞ (for any x > -∞) x - ∞ = -∞ (for any x < ∞) ∞ - ∞ is, of course, undefined. x * ∞ is ∞ if x > 0, -∞ if x < 0, undefined if x = 0. x / 0 is undefined
Remember, what is or is not a number is entirely a consequence of what set of numbers you want to work with. In some contexts ∞ is a number, in some contexts (albeit the more common ones) it is not.
Admin
That does not necessarily follow. Consider exponentiation (
0^b=0
,a^0=1
,0^0=?
)Admin
That is the answer!
Admin
Dividing by zero is almost always the answer in "0=1" style proofs. (I'd estimate at least 95% of the time, probably more like 98%.) Occasionally you see one that uses x² = y² => x = y when really x = -y. I can't remember any other tricks I've seen for it.
Admin
Admin
That's exactly the way it is done in function theory.
I put in the enthymeme in xaade's post:
It follows that we can't define 0 / 0, 0 * ∞, ∞ / ∞, ∞ + ∞, and similar.
Admin
Both of my cats can, I'm eager to hear of a way to get rich quick I'm apparently missing.
Not sure how cats shitting on the floor outside the toilet would help.
Admin
There is another approach to give a value for 1/0 that is a bit easier to spot, provided you know the difference between variables and functions:
We start with the Euler number e.
Any number x divided by 1 is x, therefore
Any (real) number x > 0 fulfils the identity
x = exp ln x
Therefore
(here should follow some hocus-pocus stuff to distract the reader)
Now we know that ln e = 1, and ln 1 = 0.
Therefore
(better a more complicated expression, that will be reduced to this one.)
As we know from function theory, exp never equals zero. (Or draw its graph etc.)
Thus, we can cancel exp:
exp1 e = -------exp0That means,
The problem with this is, anyone capable of understanding exp and ln, should be capable of understanding the concept of functions. That doesn't keep some students from trying to cancel function names like sin, exp, etc.
Admin
that's why it's not defined. there is no way to properly define it.
you can define "the number that this formula approaches as you reduce X arbitrarily close to 0" and that can be infinite for some formulae, it will be -infinity for others. still others it will be perfectly mundane numbers like 0 and 12 and -7 and 42
Admin
\begin{aligned} 0.\overline9 \end{aligned}
Or:
\begin{aligned} 0.\dot9 \end{aligned} Or:
\begin{aligned} 0.(9) \end{aligned}
:imp:
Admin
You could, but you probably wouldn't bother for most languages; the effort to implement it would usually not be justified. And if it is just so that you can do comparisons against literals at compile time in the first place, you don't need an RB-tree; a simple list of comparisons will do.
Assuming I've not totally misunderstood what you're asking about. :smiley:
Admin
Most modern mathematics defines x/0 for x not equal to zero. You can determine this by looking at the family of graphs for K/x, where for K non-zero, the behaviour as x tends to zero or infinity is an asymptotic approach to one of the axes.
On the other hand, 0/0 is completely meaningless. It is any value at all and none. If someone is using that, they're writing something meaningless. If you have it in your program, it's one of the things in IEEE arithmetic that properly produces a NaN (or an exception; the spec is very fuzzy about what happens in this case).
Admin
https://www.youtube.com/watch?v=F0ov4sv9wPI
MATH SUCKS!
Admin
Continuing the discussion from Listicle:
I knew a great dane who ate a pair of tights (= panty-hose) once. That was fun when it emerged at the other end. I laughed till I puked.
Admin
No doubt.
Admin
Using calculus, however, 0/0 can have a specific value, given the equations that produced the two zeros.
For instance, if you have the equation y = 2x (plotting a straight line), then y/x will represent that line's slope (1/2). When x=0, y/2x is 0/0, but the slope of that line at x=0 is still 1/2 - it's not undefined for that specific point. Basic calculus resolves the dillema. When you have a 0/0 situation, you take the derivative of the terms that generated the numerator and denominator and divide them to get the value. In this case the derivative of y/2x is 1/2 - a constant, and the slope of the line, as we intuitively know it must be.
For more complicated equations, there may be multiple values of x and y which produce 0/0. The derivatives will produce equations that may produce non-zero values for those values of x and y that produce 0/0 in the original equation, and that would be your answer. Or the first derivative doesn't then the second derivative might, etc.
Of course, there are some systems where you can never get rid of the 0/0, no matter how many derivatives you take. These are typically curves where there is a sharp angle or a discontinuity, and therefore a place where the slope is undefined. For instance y=|x| (the absolute value of x (producing a V shape plot with the point at 0,0.) At the point x=0, y=0, the slope really is undefined, because it's a point. All values to the left of 0 have a slope of -1, and all values to the right of 0 have a slope of 1, but the slope is undefined at 0. If you take the derivative of y/|x|, you end up with 1/(x/|x|) - with another 0/0 where x=0. If we try to take the derivative of that, we end up with dy/(1/(x/|x|)) - with yet another 0/0, ad infinitum.
Admin
The joys of L'Hopital's rule...
Admin
Admin
Everyone knows that:
[image]Divided by:
[image]Is Zero and two Halves of Zero.
Admin
Makes me want to make a comic where X trips on himself and gets cut in half by a saw blade, and then complains about his feet being massive.
"Who made me this way" "Who makes something that has to walk with feet this big" "Why!?!?!!?!?"
Admin
That's not an accurate way to say it. 0/0 still does not have a specific value. It's undefined.
Using calculus, you can sometimes find a limit at a point whose actual value is undefined. That's because a limit describes what an expression does as you get close to the point you're examining, not necessarily what value occurs at the point you're examining.
In fact, the limit at the point doesn't even have to be the same as the value if the value is defined at that point. For instance:
http://i.imgur.com/R6eU4eK.png
This results in all 3 of the following being simultaneously true:
http://i.imgur.com/01BxpN8.png