Math Is Fun Forum

  Discussion about math, puzzles, games and fun.   Useful symbols: ÷ × ½ √ ∞ ≠ ≤ ≥ ≈ ⇒ ± ∈ Δ θ ∴ ∑ ∫ • π ƒ -¹ ² ³ °

You are not logged in.

#326 Re: Dark Discussions at Cafe Infinity » Dominant Species » 2009-07-09 18:21:49

I don't necessarily disagree with the idea that humanity is the dominant species, by I find the idea that it's unquestionable absurd.

The idea that a teacher teaches by authority is sickening.  Most likely your teacher meant "obvious".

We argued back and forth (I used certain viruses as my dominant species) then I just gave up after a while.

Given that viruses aren't considered as life (more like machines), it's probably a bad choice.  But we have the power to kill off virtually any species on this plant, viruses included.  Indeed, we have the ability to destroy the entire planet (several thousand times over) if we really wanted to.  Now just because we would never do that doesn't mean we can't.

Humans also move about as much of the earth every year as nature itself (volcanoes, storms, hurricanes, mud slides, glaciers, etc) does.  No other life form even comes close to that.

But the biggest difference between humans and everything else lies in evolution itself.  The vast majority of life adapts to it's environment.  We adapt our environment to us.

#327 Re: Euler Avenue » To infinity and beyond. » 2009-07-09 18:08:05

Without counting Set C over, we know Set C has more element than Set B.
Right?
Since Set B is included in Set C, but no the other way around.

This is false, according to the definition that you "really like".

It has one more, since the complimentary of {1} in Set C is Set B, and {1} has one element, do you agree?

Again, no I do not.  As in the definition, you can pair the elements in set C with those of set B with no left overs and no repeats.  Therefore, they are the same size.

Now let me show you something you won't find in a set theory book

You're wrong if you think mathematicians don't talk about and in fact praise Hilbert's Grand Hotel, precisely the "problem" which you are stating.

#328 Re: Help Me ! » Least Squares minimization problem » 2009-07-09 10:48:28

Is it possible to formulate the problem in a similar way as the first I posted?

In short: No.

In your first problem you are able to find a system of equations, and you can solve algebraically for the unknowns.  Here, the method of iterating is how you find the solution.  There is absolutely no need to try to convert this into an algebraic equation that you can solve.  Even if it were possible, even if it wasn't too hard to do, it would still probably be a bad idea.

You start out with some guess for the {x_j} elements, and then iterate.  After you do steps 1, 2, and 3 you will have a (hopefully) better set of {x_j} elements.  Then doing steps 1, 2, and 3 again will give you an even better set of {x_j}.  And doing it again, and again, and again, until you're satisfied with the result.  This is iteration.

Now you'll notice the "hopefully" in there.  It may end up that the new set of {x_j} that you get is actually worse.  If this happens, you typically try another guess and hope for the best.  The probability that your set {x_j} will get better is known as "stability": in a highly stable problem almost any guess will work.  In an unstable problem, you have to have a very good guess for iteration to work.

You measure whether or not your set {x_j} is "getting better" by plugging things in to your objective function.  If the result gets lower, great.  If the result gets higher, time to try a new guess.

Now if you want an explanation on how the iteration works, I have a fairly good idea.  Except on step 2 that is, I haven't been able to figure out why that's in there.

Edit: There is an error on step 2, is there not?  The RHS should be "k-1" instead of "k", or alternatively, the LHS should be "k+1" instead of "k"

#329 Re: Euler Avenue » To infinity and beyond. » 2009-07-09 10:28:48

And if mathematicians force people to accept their own idea in instituations like university, in the name of abstractness, in the name of beauty or in the name of intellect.

Do you see engineers learning about Cantor sequences?  Biologists learning about Dedekind cuts?  Psychologists learning about Hilbert's space filling curve?

No.  Your premise is false.


Regardless of what particular infinite set you define
Try to shift all elements one position rightwards by some pratical algorithm (in this case +1)
Then add in the starting element lost in the shifting process (in this case 1)
And then it is undeniable logic truth that I have just created an infinite set with one element more than the old one
And now it is time to reveal what the old set lacks - the right end
And the right end is the infiniteth set revealed

sometimes infinity, sometimes infinitesimal
so the paradox is discovered.

For the statement in bold, how can you say the new set has "one more"?  What does "one more" mean with infinite sets?

For the statement in italics, What do you mean "what the old set lacks"?  What does it mean that the right end is revealed?  I see no right end...

Feel free to talk more on this, but I would also like to try again to introduce you to the concept of cardinality.  I failed miserably before, not because I did anything wrong, but because it was overly complicated.  I got a new book on Set theory and logic, which was an absolutely marvelous introduction to it.

Let's start our discussion on finite sets and try to compare their size.  Take two sets:

{1, 2, 3} and {a, b, c}

Now each has a size of 3, and so they have the same size.  But to say this, one needs to understand what integers are.  While seemingly simple, integers can be rather complicated.  So I would like to introduce a way to say whether two sets are the same size or not that does not involve any counting.

We say that two sets have the same size if the elements of one set can be paired with the elements of the other set, with no repeats and no leftovers.  So my two sets from above have the pairs:

(1, a) (2, b) (3, c)

And since we've used all elements from both sets, I conclude that both sets have the same size.  Notice here that we did absolutely nothing with counting.  It does not matter how many pairs there are, just that I can pair with no repeats and no leftovers.  The integers were not used at all for this pairing.

Is this definition ok with you?

#330 Re: Help Me ! » How to thicken font in a PDF file? » 2009-07-09 10:07:53

George, there is no easy (or even hard for that matter) to do this.  PDFs are specifically designed to make modification difficult.

#331 Re: Help Me ! » Least Squares minimization problem » 2009-07-08 11:41:37

It looks like x_j is unknown, is that correct?

#332 Re: Help Me ! » Message for Bobbym regarding Babylonian and Egyptian pi » 2009-07-08 02:39:41

Karney, you can reply to a thread to keep all the posts together in the same topic (like I am doing now).  Just hit the "Post reply" link on the bottom right of the post.

#333 Re: Help Me ! » Least Squares minimization problem » 2009-07-07 01:59:50

Is this formulation correct?

Yes.

By the way, can you recommend me any good source / reference either on the Internet or a book where I can learn more about this topic?

Unfortunately no.  Most of what I know about numerical analysis and optimization I have picked up as I went.  The only thing I could recommend is Numerical Recipes:

http://www.nr.com/

As this is a book my professor loved.  But I don't think it will teach you much about the subject, only give you popular algorithms.

#334 Re: Help Me ! » Least Squares minimization problem » 2009-07-06 03:32:38

I don't have much time, so I must be brief.  If you need anything in more detail, let me know.

Look at the equation for your objective function.  If you knew the perfect function f, then the first summation would be zero.  So the typical trick is "let's pretend we have the perfect function f and see what happens".  In other words, the author sets the terms in the first summation to zero, and derives the first line of his solution.

But that isn't quite good enough.  There are millions of functions that could satisfy that, and this is where the second summation comes in.  The author wants a simple function, a function that is as linear as possible (linear is the same exact thing as 2nd derivative is zero).  This is where the second term comes in.  To achieve the 2nd line in the author's solution, he sets this to zero and then uses the approximation.

Now minimizing O will define a function f that matches what you want, and is also going to tend to be linear.

#335 Re: Euler Avenue » To infinity and beyond. » 2009-07-05 00:56:15

George, I must say with the greatest sincerity that that was entirely incomprehensible.  You seem to have this idea that it's important what it is your counting, but I haven't the faintest clue as to why.  I suppose you are missing the whole point about the abstractness that numbers provide, but even of that I'm not really sure.  I'm thoroughly convinced that there is no point in further discussion.

To end on a sad note, it is depressing to see your mathematical imagination blocked by what we can or can't do.  You are missing out on the beauties of a universe, even if it isn't our own.

#337 Re: Euler Avenue » To infinity and beyond. » 2009-07-04 16:13:08

Hope you figure it out.

My question was not posed so that I could understand this set, indeed I know exactly what this set is.  My question was posed to you so that I could understand where your views on mathematics differ from what is accepted in standard mathematics.

When you try to define such a set, have you considered the possibility that it does not exist?

It exists because the integers exist.  It is an element of the power set of integers, just like any other set of integers.

Would you tell me how large it is?

This is what I want you to tell me.  But I don't care about how large it is, only if it is finite or infinite.

Let us assume it has a steady amount of elements in it... If you assume not steady...

You're going to have to define "steady", because I can't find it anywhere.

please tell me why you are so confident to define a set without knowing either the total amount of it or whether it has a total amount at all?

Either an integer is a finite distance away from zero, or it is an infinite distance away.  I am taking all the integers that are a finite distance away, and I call this my set that I posted in #9.  What is wrong with this?

Also, what the heck does "total amount" mean?

Or simply you don't define a set, you define a process or an algorithm and you mistake it as a set?

A choosing function (what you mistakenly call an algorithm... it's not) is a perfectly valid mathematical tool.  Indeed, we lose a ton of mathematics if we aren't allowed to use them (e.g. all of number theory).

#338 Re: Help Me ! » log help » 2009-07-04 01:21:23

bobbym wrote:

Hi finitehelp and glenn101;

Also,

#2 This is log(3x) = log(18). just make what is in the parentheses equal to each other, so by inspection x = 6.

A more rigorous manner of saying this is that log is a 1-1 function, and therefore:

#339 Re: Help Me ! » Integration » 2009-07-03 14:47:55

∫1+logex = xlogex
∫logex = xlogex-1

This is close, but not quite right.  Work out the transition from the first step to the second step much slower.  You'll see it.

#340 Re: Help Me ! » Integration » 2009-07-03 14:46:32

Now I get lost, what is it I do on this step?

Finish with the fundamental theorem of calculus.

#341 Re: Help Me ! » Integration » 2009-07-02 18:44:32

For 2, remember that you don't want to sub u into the numerator.  Instead what do you want to sub?

For 3, you're going to have to be specific on what you're having trouble on.  Product rule is all you really need.

For 4, remember the fundamental theorem of calculus...  You want the derivative of some function to be log_e(x).  You know the derivative of x*log_e(x) is log_e(x) + 1.  That's close, but we need to get rid of the +1.  How do we do that?

#342 Re: Dark Discussions at Cafe Infinity » How would you move Mnt. Fuji? » 2009-07-02 09:20:10

Ark immediately... Archimedes... Ark immediately... Archimedes...

Yep.  Too obscure.

#343 Re: Help Me ! » Integration » 2009-07-02 05:09:09

In the numerator:

u = u + (1 - 1) = (u + 1) - 1

#344 Re: Dark Discussions at Cafe Infinity » How would you move Mnt. Fuji? » 2009-07-01 16:10:20

Ricky wrote:
Identity wrote:

A lever 100000000000 miles long

You'd need to build a ship for it, something like an ark immediately.

In hindsight, perhaps this was a bit to obscure, but I believe Identity was referencing to Archimedes' lever, hence the "ark immediately".

#345 Re: Dark Discussions at Cafe Infinity » How would you move Mnt. Fuji? » 2009-06-30 09:36:01

Identity wrote:

A lever 100000000000 miles long

You'd need to build a ship for it, something like an ark immediately.

#346 Re: This is Cool » Code Breaking Challenge! » 2009-06-29 04:40:29

Would it just measure the amount of exclamation marks? roflol

#347 Re: This is Cool » Yet Another Number Trap » 2009-06-28 03:40:32

Jane, mathsyperson posted:

Jane, I'm not sure what you're doing. I can't see any mistakes in what you've written, but I also can't see you concluding anything. Sorry if I'm being dense.

I was explaining to him what was wrong.  Don't be so embarrassed at making little mistakes.  I used the quadratic equation wrong in my algebra final not more than 2 months ago.  It happens.

At times you can learn more from mistakes.

#348 Re: This is Cool » Yet Another Number Trap » 2009-06-27 13:28:31

JaneFairfax wrote:

I was referring to an ODD number ≡ 1 mod 3! mad

Jane, please don't delete your posts after they have been replied to.  It makes other people who are trying to follow this thread rather confused.

#349 Re: This is Cool » Yet Another Number Trap » 2009-06-27 12:20:37

JaneFairfax wrote:

Actually, I’ve only proved that any number you start with will eventually be reduced to one that is congruent to 1 mod 3. I haven’t proved that it will eventually become 1. neutral

But there is an upside to this: I feel confident in awarding you the longest proof ever of that fact for this problem.

3n+1 = 1 (mod 3)

wink

#350 Re: This is Cool » Yet Another Number Trap » 2009-06-27 12:17:32

If M is odd, then we repeat from step one.

Let {x_n} be the sequence generated from your starting odd number.  So x_1 = 3*x_0 + 1 and x_2 = (3*x_0 + 1)/2.  Now in the case that x_2 is odd, we then have x_3 = (9*x_0 + 3)/2.  But the thing here is that x_3 > x_0.  If your M always turns out to be odd, then the sequence diverges to infinity.

Board footer

Powered by FluxBB