Dominion Strategy Forum

Please login or register.

Login with username, password and session length
Pages: 1 2 [3] 4 5 ... 47  All

Author Topic: Maths thread.  (Read 306186 times)

0 Members and 3 Guests are viewing this topic.

Watno

  • Margrave
  • *****
  • Offline Offline
  • Posts: 2745
  • Shuffle iT Username: Watno
  • Respect: +2982
    • View Profile
Re: Maths thread.
« Reply #50 on: May 09, 2014, 12:17:59 pm »
0

There's also Discrete Mathematics.

Why is Set Theory associated with Algebra by the way? My university does this as well, but I don't really see it (though I haven't done an set theory lectures yet).
Logged

SirPeebles

  • Cartographer
  • *****
  • Offline Offline
  • Posts: 3249
  • Respect: +5459
    • View Profile
Re: Maths thread.
« Reply #51 on: May 09, 2014, 12:26:48 pm »
+1

I don't usually see algebra lumped with set theory.
Logged
Well you *do* need a signature...

sudgy

  • Cartographer
  • *****
  • Offline Offline
  • Posts: 3431
  • Shuffle iT Username: sudgy
  • It's pronounced "SOO-jee"
  • Respect: +2706
    • View Profile
Re: Maths thread.
« Reply #52 on: May 09, 2014, 12:43:29 pm »
0

Hehe, I just read about power series and such last night, and now understand SirPeebles first thing about it.  I'm trying to find a good smiley for this but I can't think of it...
Logged
If you're wondering what my avatar is, watch this.

Check out my logic puzzle blog!

   Quote from: sudgy on June 31, 2011, 11:47:46 pm

soulnet

  • Mountebank
  • *****
  • Offline Offline
  • Posts: 2142
  • Respect: +1751
    • View Profile
Re: Maths thread.
« Reply #53 on: May 09, 2014, 03:12:10 pm »
0

There's also Discrete Mathematics.

Why is Set Theory associated with Algebra by the way? My university does this as well, but I don't really see it (though I haven't done an set theory lectures yet).

You can see any logic as an algebra.

(I am assuming by "Set Theory" you mean something like "ZFC theory" or its vicinity)
Logged

pacovf

  • Cartographer
  • *****
  • Offline Offline
  • Posts: 3499
  • Multiediting poster
  • Respect: +3838
    • View Profile
Re: Maths thread.
« Reply #54 on: May 09, 2014, 03:13:51 pm »
0

You can see anything as a category, if you think about it long enough.

EDIT: your head may explode before that, though.
Logged
pacovf has a neopets account.  It has 999 hours logged.  All his neopets are named "Jessica".  I guess that must be his ex.

soulnet

  • Mountebank
  • *****
  • Offline Offline
  • Posts: 2142
  • Respect: +1751
    • View Profile
Re: Maths thread.
« Reply #55 on: May 09, 2014, 03:20:41 pm »
0

You can see anything as a category, if you think about it long enough.

ugh, categories. That is just the extreme result of the fallacy "more general is better". Using too general tools usually hides the meaning of what you prove.
Logged

SirPeebles

  • Cartographer
  • *****
  • Offline Offline
  • Posts: 3249
  • Respect: +5459
    • View Profile
Re: Maths thread.
« Reply #56 on: May 09, 2014, 03:43:50 pm »
+3

You can see anything as a category, if you think about it long enough.

ugh, categories. That is just the extreme result of the fallacy "more general is better". Using too general tools usually hides the meaning of what you prove.

I've got to disagree here.  Category theory opens up some incredibly beautiful unifications and dualities. 
Logged
Well you *do* need a signature...

soulnet

  • Mountebank
  • *****
  • Offline Offline
  • Posts: 2142
  • Respect: +1751
    • View Profile
Re: Maths thread.
« Reply #57 on: May 09, 2014, 04:13:24 pm »
0

You can see anything as a category, if you think about it long enough.

ugh, categories. That is just the extreme result of the fallacy "more general is better". Using too general tools usually hides the meaning of what you prove.

I've got to disagree here.  Category theory opens up some incredibly beautiful unifications and dualities.

That's not really disagreeing. My point is not "category theory is useless" but "trying to get category theory to be an all-encompassing theory" is a counterproductive goal, regardless on whether it is possible or not, and a significant amount of category theorist seem to advocate that goal (this is hugely biased by the ones that I know or have heard off, and not being in the field myself, could easily be a narrow view).
Logged

navical

  • Golem
  • ****
  • Offline Offline
  • Posts: 196
  • Respect: +268
    • View Profile
Re: Maths thread.
« Reply #58 on: May 09, 2014, 05:51:39 pm »
0

I think that proof works. Nice. Also, yes, I probably should have specified that no three points are collinear.

Here is mine:


Consider 4 points which are the endpoints of two intersecting line segments. Those points form a convex quadrilateral, and the segments are the diagonals of that quadrilateral. We can re-pair those 4 points so that those two segments are two opposite sides of the quadrilateral and do not intersect. From the triangle inequalities, we know that the sum of the lengths of two opposite sides of a convex quadrilateral is strictly less than the sum of the lengths of the diagonals.

Now, consider the pairing of points which leads to the least total length of the line segments. We know that such a pairing exists since there is a finite number of points. Assume that two of the segments in this pairing intersect. Then, we can re-pair them as described above, and the total length of the line segments will decrease. But that is a contradiction, since we started with the pairing with the least total length.

Therefore the pairing with the least total length of line segments will not have any intersecting segments.


Oh, very nice.
Logged

qmech

  • Torturer
  • *****
  • Offline Offline
  • Posts: 1918
  • Shuffle iT Username: qmech
  • What year is it?
  • Respect: +2320
    • View Profile
Re: Maths thread.
« Reply #59 on: May 10, 2014, 04:33:32 am »
+1

Here's another: is it always possible to cover 10 marks on a white table cloth with 10 plates that cannot overlap?

Reposting this.  The solution is a very neat trick which is tremendously useful when doing real maths.
Logged

SirPeebles

  • Cartographer
  • *****
  • Offline Offline
  • Posts: 3249
  • Respect: +5459
    • View Profile
Re: Maths thread.
« Reply #60 on: May 10, 2014, 05:50:22 am »
0

Here's another: is it always possible to cover 10 marks on a white table cloth with 10 plates that cannot overlap?

Reposting this.  The solution is a very neat trick which is tremendously useful when doing real maths.

Surely it depends on the sizes and shapes of the plates and of the cloth.
Logged
Well you *do* need a signature...

qmech

  • Torturer
  • *****
  • Offline Offline
  • Posts: 1918
  • Shuffle iT Username: qmech
  • What year is it?
  • Respect: +2320
    • View Profile
Re: Maths thread.
« Reply #61 on: May 10, 2014, 08:20:30 am »
0

Here's another: is it always possible to cover 10 marks on a white table cloth with 10 plates that cannot overlap?

Reposting this.  The solution is a very neat trick which is tremendously useful when doing real maths.

Surely it depends on the sizes and shapes of the plates and of the cloth.

Marks are points and plates are disks of equal size.  Assume the tablecloth is R^2.  The question is whether it's possible to cover all of the points with any number of disks (although you obviously don't need more than 10).

Note that it's important what number 10 is: if I can put points sufficiently densely everywhere then it's impossible because the disks can't overlap, and it's obviously possible for, say, 2 points.
Logged

pacovf

  • Cartographer
  • *****
  • Offline Offline
  • Posts: 3499
  • Multiediting poster
  • Respect: +3838
    • View Profile
Re: Maths thread.
« Reply #62 on: May 10, 2014, 08:25:59 am »
0

I assume you can choose the size of the plates?

But then if you can choose the size of the plates, the answer is obviously yes, you just have to get small enough plates.

And if you can't choose the size of the plates, you are not even sure that you can fit all 10 plates on the cloth, so the answer is no, you can't always fit them in such a way as to cover all 10 points.

I am with SirPeebles in this one, I think we are missing a premise.
« Last Edit: May 10, 2014, 08:41:23 am by pacovf »
Logged
pacovf has a neopets account.  It has 999 hours logged.  All his neopets are named "Jessica".  I guess that must be his ex.

qmech

  • Torturer
  • *****
  • Offline Offline
  • Posts: 1918
  • Shuffle iT Username: qmech
  • What year is it?
  • Respect: +2320
    • View Profile
Re: Maths thread.
« Reply #63 on: May 10, 2014, 08:41:22 am »
0

I assume you can choose the size of the plates?

No.  Or yes, but the points are placed afterwards.
Logged

pacovf

  • Cartographer
  • *****
  • Offline Offline
  • Posts: 3499
  • Multiediting poster
  • Respect: +3838
    • View Profile
Re: Maths thread.
« Reply #64 on: May 10, 2014, 08:46:31 am »
0

I assume you can choose the size of the plates?

No.  Or yes, but the points are placed afterwards.

Huh? If the points are placed after placing the plates, you can always place them outside the plates, since the plates are disks...?
Logged
pacovf has a neopets account.  It has 999 hours logged.  All his neopets are named "Jessica".  I guess that must be his ex.

qmech

  • Torturer
  • *****
  • Offline Offline
  • Posts: 1918
  • Shuffle iT Username: qmech
  • What year is it?
  • Respect: +2320
    • View Profile
Re: Maths thread.
« Reply #65 on: May 10, 2014, 08:52:13 am »
0

The disks are placed after the points.
Logged

Watno

  • Margrave
  • *****
  • Offline Offline
  • Posts: 2745
  • Shuffle iT Username: Watno
  • Respect: +2982
    • View Profile
Re: Maths thread.
« Reply #66 on: May 10, 2014, 08:53:10 am »
+1

I think the suggested sequence was
1)Choose a size for the plates
2)Place points
3)Place plates

Also he said that the cloth is R^2
Logged

liopoil

  • Margrave
  • *****
  • Offline Offline
  • Posts: 2587
  • Respect: +2479
    • View Profile
Re: Maths thread.
« Reply #67 on: May 10, 2014, 08:57:10 am »
0

must the center of each plate be over the tablecloth? Or can you hang them over the table, with just a little bit on the table.
Logged

Watno

  • Margrave
  • *****
  • Offline Offline
  • Posts: 2745
  • Shuffle iT Username: Watno
  • Respect: +2982
    • View Profile
Re: Maths thread.
« Reply #68 on: May 10, 2014, 08:58:06 am »
0

Also he said that the cloth is R^2
Logged

qmech

  • Torturer
  • *****
  • Offline Offline
  • Posts: 1918
  • Shuffle iT Username: qmech
  • What year is it?
  • Respect: +2320
    • View Profile
Re: Maths thread.
« Reply #69 on: May 10, 2014, 08:59:10 am »
0

must the center of each plate be over the tablecloth? Or can you hang them over the table, with just a little bit on the table.

That would be allowed: you can assume the tablecloth is infinite.
Logged

liopoil

  • Margrave
  • *****
  • Offline Offline
  • Posts: 2587
  • Respect: +2479
    • View Profile
Re: Maths thread.
« Reply #70 on: May 10, 2014, 09:00:13 am »
0

must the center of each plate be over the tablecloth? Or can you hang them over the table, with just a little bit on the table.

That would be allowed: you can assume the tablecloth is infinite.
...then how is the tablecloth R^2?
Logged

liopoil

  • Margrave
  • *****
  • Offline Offline
  • Posts: 2587
  • Respect: +2479
    • View Profile
Re: Maths thread.
« Reply #71 on: May 10, 2014, 09:00:44 am »
0

Am I missing what R^2 means?
Logged

Watno

  • Margrave
  • *****
  • Offline Offline
  • Posts: 2745
  • Shuffle iT Username: Watno
  • Respect: +2982
    • View Profile
Re: Maths thread.
« Reply #72 on: May 10, 2014, 09:02:13 am »
0

R^2 is supposed to be the plane of real numbers
Logged

qmech

  • Torturer
  • *****
  • Offline Offline
  • Posts: 1918
  • Shuffle iT Username: qmech
  • What year is it?
  • Respect: +2320
    • View Profile
Re: Maths thread.
« Reply #73 on: May 10, 2014, 09:12:21 am »
0

Sorry, R^2 is what I call an infinite (two-dimensional) plane, because you can specify any point in it with two real numbers.  Just think of it as an infinitely large tablecloth.
Logged

liopoil

  • Margrave
  • *****
  • Offline Offline
  • Posts: 2587
  • Respect: +2479
    • View Profile
Re: Maths thread.
« Reply #74 on: May 10, 2014, 09:47:18 am »
0

oh, duh, yeah, I've seen a capital R used for the set of real numbers before, although normally it's supposed to be all fancy and stuff, right? But that's inconvenient to type of course. Anyway, yeah, I don't know how to go about proving that. I feel like there should be a fairly simple iterative process to find a configuration. Although maybe it's possible to show that there is a configuration without finding it. Well, I'll read someone's solution whenever they figure it out :P.
Logged
Pages: 1 2 [3] 4 5 ... 47  All
 

Page created in 0.05 seconds with 20 queries.