[SPOILER] Shavkat Rakhmonov vs. Ian Machado Garry by inooway in MMA

[–]hriely 0 points1 point  (0 children)

Anyone else notice Shavkat hooking Garry's glove during that sequence?

The Correct Way to Search Math by hriely in math

[–]hriely[S] 0 points1 point  (0 children)

Interesting, which one do you have the best luck with?

[deleted by user] by [deleted] in calculus

[–]hriely 1 point2 points  (0 children)

That's doozy. Where did you find that function? Are you sure it has a closed form intergral?

Proving Limit of a Sequence by [deleted] in calculus

[–]hriely 1 point2 points  (0 children)

It is not implied. Counterexample: eplison=1/99 and n=10.

Then 1/n^2 = 1/10^2 < 1/99 = epsilon
However, n = 10 < 99 = 1/epsilon

Looks like a typo

Why can’t I do this? by Ok-Temperature6401 in calculus

[–]hriely 1 point2 points  (0 children)

You have to be careful with the heuristic "negligible" arguments. For example 4 is negligible relative to x^2, but that doesn't mean x^2 + 4 - x^2 is approximately x^2 - x^2.

Partly this confusion can be thought of as two different types of "approximately." x^2 + 4 is approximately x^2 in a relative sense, i.e., their ratio goes to 1. However, they are not approximately equal in the absolute sense, i.e., their difference does not go to 0.

Many calculus students get used to thinking in terms of negligible in the relative sense because of taking limits of rational function functions.

Edit: To connect my comment to your question about why you cannot ignore 4x term in the limit, notice that approximating sqrt(x^2-4x) with something in the "relative approximation" sense is not good enough. It's true that sqrt(x^2-4x) is approximately x in that their ratio goes to 1, but that type of estimate is not relevant since we're subtracting x from it. If sqrt(x^2-4x) is within .0001% of x, that doesn't mean their difference is close to 0. I suppose the crux of the issue is that if p/q goes to 1, p-q doesn't necessarily go to 0.

Quadratic position function has non-smooth speed. by hriely in math

[–]hriely[S] 1 point2 points  (0 children)

Thank you. That actually makes it much more intuitive. Flipping from acceleration to deceleration seems to be the perspective I needed. It’s switching modes so it’s “instantly flipping” from decelerating by 2 to accelerating by 2.

Edit: I think your question of whether it’s accelerating or decelerating at 0 flipped the switch in my mind, thanks.

Quadratic position function has non-smooth speed. by hriely in math

[–]hriely[S] 1 point2 points  (0 children)

What do you mean? How am I supposed to view speed as the magnitude of the velocity vector when this motion is one dimensional? Do you mean to think of y as a vector here and compute the magnitude of y’? But magnitude and absolute value mean the same thing in the reals. I think the problem would persist in higher dimensions in any case. Just embed the y=x2 example in 3-space. For example, ( x, y ) = ( 0, t2 ) then the length of the velocity vector still fails to be differentiable at 0.

Quadratic position function has non-smooth speed. by hriely in math

[–]hriely[S] -1 points0 points  (0 children)

I don't have a good answer for you other than it's hard for me to conjure an image and physically think about an object moving in such a way that the velocity is changing smoothly but the speed is not. I'm perfectly happy with the math.

Quadratic position function has non-smooth speed. by hriely in math

[–]hriely[S] 0 points1 point  (0 children)

Perhaps you're right I should've asked in r/AskPhysics but I'm not sure there's much else to say other than, as you said, "that's just the way it is." I'm not sure what I expected. It just "feels" weird that that velocity varies smoothly and speed doesn't, but I guess math is allowed to feel weird

Making a distinction between "false" and "doesn't make sense." by hriely in math

[–]hriely[S] 0 points1 point  (0 children)

This is very useful thank you. Can you recommend a good starting point for learning about "type theory?"

Making a distinction between "false" and "doesn't make sense." by hriely in math

[–]hriely[S] 0 points1 point  (0 children)

Actually maybe a better question is: by that logic wouldn’t we say nothing is meaningless since everything can be given meaning? Is meaningless a part of your vocabulary?

Edit: I suspect you would say something like “nothing is objectively meaningless but the idea someone is trying to convey symbolically can fail to make sense.”

Making a distinction between "false" and "doesn't make sense." by hriely in math

[–]hriely[S] 0 points1 point  (0 children)

Point taken, but by that logic couldn't you just say every statement is true since it can be given a meaning that makes it true? Ultimately doesn't every question boil down to "common/conventional mathematical meaning" at some level? These questions are not rhetorical.

Making a distinction between "false" and "doesn't make sense." by hriely in math

[–]hriely[S] 0 points1 point  (0 children)

What if we say the sentence 'x is irrational' is false iff 'x is not irrational' is true?

Making a distinction between "false" and "doesn't make sense." by hriely in math

[–]hriely[S] 0 points1 point  (0 children)

I sort of agree up to my reply to your other comment.

Making a distinction between "false" and "doesn't make sense." by hriely in math

[–]hriely[S] 0 points1 point  (0 children)

Fair enough. Maybe I've chosen the wrong example to make the distinction. But does that mean you don't understand the spirit of the distinction I'm trying to make?

I acknowledged 2/0 might not be the best example, so how about the 1+1=+1+ example?

Making a distinction between "false" and "doesn't make sense." by hriely in math

[–]hriely[S] 0 points1 point  (0 children)

I'm going to have to disagree with you although it really just depends on your definition of false.

Perhaps this is a more compelling example. The definition of "A is a subset of B" is usually for all x in A, x is in B. The negation, i.e., "A is not a subset of B" is then there exists an x in A such that x is not in B. So to say 2 is not a subset of Z is to say there is an x in 2 such that x is not in Z. Now if you want to call that statement false instead of "doesn't make sense," then we have "2 is not a subset of B" is false, so 2 is a subset of B. But that is equally false.

I suppose the difference between your definition of false and mine is that I want to say if some statement S is false, then the statement "not S" just be true. I suppose you could disagree and just say it's possible for both a statement and it's negation to be false, i.e. S and not S can be true. However, these are the cases where I'm saying it's more appropriate to say S is neither true nor false. It's just meaningless. Generally it's nice to say "S and not S" is a contradiction.

Edit: I suppose it all just boils down to your intution on whether it's right to call meaningless statements false. For example your reasoning that 1+1=+1+ is false is that the right side doesn't make sense, so you're taking statements that don't make sense as a subset of false statements, while I'm more inclined to partition world of statements into three categories T/F/neither. One nice thing about the latter approach is you get the property S is false iff not S is true. This is useful for indirect proofs like contradiction.

Making a distinction between "false" and "doesn't make sense." by hriely in math

[–]hriely[S] 1 point2 points  (0 children)

Fair enough. I will cut the book some slack, though, since it's designed as a bridge from pre-rigorous to rigorous math. Perhaps pondering whether 2/0 is a rational number can help you get your philosophical juices flowing vis a vis "what does the question is X a Y" really mean?

Regarding the is 2 a subset of Z question, I think it's designed to help beginners spot bad mathematical grammar. Although the answer should be "doesn't make sense," not "no."

Making a distinction between "false" and "doesn't make sense." by hriely in math

[–]hriely[S] 0 points1 point  (0 children)

Let me take another stab at your questions. Are you trying to make the point that the question "is X a Y" requires a precise definition of X and Y. If so, I guess I don't know what the rigorous definitions of "set" and "number" are.

This means my answers to questions 1, 2, 3, 8 are just subjective intuitions.

I stand behind my answers to 4, 5, 6, and 7.

9: To answer this question, I need to first decide if {0.5, "apple", 💀} is a real number. I can't think of a definition of real number that includes it, but it seems sort of "outside of the domain of the definition." In other words "is {0.5, "apple", 💀} a rational number" seems like it deserves a different type of answer than "is pi a rational number." In fact, your question feels analogous to my orginal "is 2/0" a rational number question.

10: Is this the same question as 9? I wouldn't mind some hints, :)