tbh i don't completely understand the objection frederick
― the late great, Wednesday, 11 December 2013 01:49 (twelve years ago)
Seems there are plenty of ways a mathematician could convince himself of why it has to be but not clear what is the most obvious common sense explanation for the layperson.
― The Glam Of That All The Way From Memphis Man! (James Redd and the Blecchs), Wednesday, 11 December 2013 01:54 (twelve years ago)
Actually I might have an idea. But there is not enough room to write it in the margin of this thread.
― The Glam Of That All The Way From Memphis Man! (James Redd and the Blecchs), Wednesday, 11 December 2013 02:12 (twelve years ago)
Oh, I get it. You're right. My fault.
― Frederik B, Wednesday, 11 December 2013 02:14 (twelve years ago)
you can just do basic arithmetic on the integers as an additive group, just teach your kids group theory ;-)
― flopson, Wednesday, 11 December 2013 02:19 (twelve years ago)
for division i guess you either need a euclidean ring or a fullblown division ring, in which case division is just multiplication by inverses
― flopson, Wednesday, 11 December 2013 02:23 (twelve years ago)
If you believe -1 x a is -a, then -1 x -1 is -(-1), and negative negative 1 is plainly 1.
But once you believe -1 x -1 = 1, I think you believe that a negative times a negative is a positive in general.
― Guayaquil (eephus!), Wednesday, 11 December 2013 02:36 (twelve years ago)
elegant
― the late great, Wednesday, 11 December 2013 03:20 (twelve years ago)
we had to prove all this bullshit in my first real analysis class, to give the impression of "rigour"--but we didn't even construct the real numbers (using dedekind cuts, etc), just stated the Completeness property as an axium--such a waste of time
― flopson, Wednesday, 11 December 2013 03:27 (twelve years ago)
Think it might be useful to think of multiplication as making a copy or n copies of something to replace the thing and multiplication by -1 as making an inverted copy. So say you have a white disk than multiplying by -1 you replace it with a black disk and vice versa, or better yet you have an Othello token and just flip it over.
― The Glam Of That All The Way From Memphis Man! (James Redd and the Blecchs), Wednesday, 11 December 2013 03:42 (twelve years ago)
is this thread a boys club? where the math ladeez at?
― the late great, Wednesday, 11 December 2013 03:59 (twelve years ago)
iirc harbl studied math but she said she has forgotten all of it and left it all behind and is a lawyer now
― flopson, Wednesday, 11 December 2013 04:00 (twelve years ago)
kid i was tutoring deferred his exam :-\
― flopson, Wednesday, 11 December 2013 04:06 (twelve years ago)
why negative times negative is positive
I feel like I did something like this in discrete math, you start with basic definitions of integers and parity or w/e and then do a formal proof or w/e?
― ☞ (brimstead), Wednesday, 11 December 2013 04:16 (twelve years ago)
lol n/m i'm drunk and listening to bill withers
― do a formal proof or w/e (brimstead), Wednesday, 11 December 2013 04:18 (twelve years ago)
how do i shot basic simplification of roots
http://farm8.staticflickr.com/7335/11318231686_aee01101ef_b.jpg
― the late great, Wednesday, 11 December 2013 04:25 (twelve years ago)
You're asking seriously?
― The Glam Of That All The Way From Memphis Man! (James Redd and the Blecchs), Wednesday, 11 December 2013 04:31 (twelve years ago)
Oh, I see you are making fun of the person who put the question marks.
― The Glam Of That All The Way From Memphis Man! (James Redd and the Blecchs), Wednesday, 11 December 2013 04:47 (twelve years ago)
no i'm asking seriously :((((
― the late great, Wednesday, 11 December 2013 05:51 (twelve years ago)
defeated by precalc ;_;
― the late great, Wednesday, 11 December 2013 05:53 (twelve years ago)
Multiply by conjugate?
― do a formal proof or w/e (brimstead), Wednesday, 11 December 2013 05:59 (twelve years ago)
rotation of axes??
― do a formal proof or w/e (brimstead), Wednesday, 11 December 2013 06:00 (twelve years ago)
last step looks like some bullshit, no? rationalize the denominator, b then u got sqrt(1 + 2/3sqrt(2)) not sure how much more u can smiplify tho?
― flopson, Wednesday, 11 December 2013 06:00 (twelve years ago)
it works on a calculator
― the late great, Wednesday, 11 December 2013 06:07 (twelve years ago)
google it!
sqrt((2+sqrt(2)) / (2 - sqrt(2)))-sqrt(2)
― the late great, Wednesday, 11 December 2013 06:11 (twelve years ago)
ok got it
― the late great, Wednesday, 11 December 2013 06:41 (twelve years ago)
Interesting post on zero indexing:
http://exple.tive.org/blarg/2013/10/22/citation-needed/
Author interviewed Martin Richards, author of BCPL and the supposed originator of zero indexing. Conclusion: it was a stylistic decision (i.e. it wasn’t commentary on zero’s inclusion in ℕ or whatever).
― Allen (etaeoe), Wednesday, 11 December 2013 15:00 (twelve years ago)
interesting to think about how stylistic concerns can be aligned naturally with mathematical principles (vs when they're not aligned). makes me think about what style really means and stuff.
― do a formal proof or w/e (brimstead), Thursday, 12 December 2013 03:07 (twelve years ago)
0 is so not a natural number
― flopson, Thursday, 12 December 2013 03:43 (twelve years ago)
mathematical principles are always about style
― lollercoaster of rove (s.clover), Thursday, 12 December 2013 04:31 (twelve years ago)
I once gave this answer but in a much wordier way on this thread:
http://math.stackexchange.com/questions/9933/why-negative-times-negative-positive
― o. nate, Thursday, 12 December 2013 15:50 (twelve years ago)
considering prepping a talk for an undergrad conference in january, anyone got any topics to suggest?
― flopson, Sunday, 15 December 2013 03:26 (twelve years ago)
https://www.simonsfoundation.org/quanta/20121002-getting-into-shapes-from-hyperbolic-geometry-to-cube-complexes-and-back/
great article on the classification of 3-manifolds, written at an extremely accessible level. basically this guy thurston conjectured 23 theorems that, once all proven, would result in classification. my topo prof proved a result that was used to prove the last three conjectures in one sweep, and article goes in some detail into his research. super interesting stuff, to me at least
― flopson, Sunday, 15 December 2013 03:40 (twelve years ago)
thanks for the link -- that's very clear!
― lollercoaster of rove (s.clover), Sunday, 15 December 2013 05:21 (twelve years ago)
Yeah
― The Glam Of That All The Way From Memphis Man! (James Redd and the Blecchs), Sunday, 15 December 2013 05:23 (twelve years ago)
it would be an interesting history of math to classify what programmes have led to the most research -- i suspect classification programmes themselves would probably lead the pack.
― lollercoaster of rove (s.clover), Sunday, 15 December 2013 05:24 (twelve years ago)
classification of surfaces seemed like it didn't take very long once they figured out what they were doing
― flopson, Sunday, 15 December 2013 05:32 (twelve years ago)
oh yeah, finite simple groups, too
― flopson, Sunday, 15 December 2013 05:33 (twelve years ago)
arguably, figuring out what you're doing is typically the hard part.
― lollercoaster of rove (s.clover), Sunday, 15 December 2013 05:38 (twelve years ago)
great little history of the classification of surfaces on appendix D of this book http://download.springer.com/static/pdf/997/bbm%253A978-3-642-34364-3%252F1.pdf?auth66=1387259121_9a9118105634f100257c6f624c9329f0&ext=.pdf (full pdf)
― flopson, Sunday, 15 December 2013 05:49 (twelve years ago)
gah i should be studying for my analysis exam... blegh
― flopson, Sunday, 15 December 2013 06:03 (twelve years ago)
which 2 should i take next semester out of these 4
real analysis 4 (measure theory, functional analysis)differential geometrytopics in geometry & topology course on cube c0mplexesdiscrete mathematics of paul erdos (taught by the great vasec chv4tal http://users.encs.concordia.ca/~chvatal/6621/)
― flopson, Wednesday, 18 December 2013 18:52 (twelve years ago)
real and discrete OR differential and cube complexes
― the late great, Wednesday, 18 December 2013 18:53 (twelve years ago)
i sort of hated analysis 3 but while studying for it and memorizing all those theorems i became really impressed with it and now have the urge to take the 4th. also i've heard measure theory is one of those things you've just *got* to learn and this guy would teach it properly
― flopson, Wednesday, 18 December 2013 18:53 (twelve years ago)
interesting, why those 2 diff pairings?
(xp)
― flopson, Wednesday, 18 December 2013 18:56 (twelve years ago)
i've always had better luck in school when i take courses with some connection to each other rather than courses which have different approaches
although ... is real analysis useful in differential geometry?
― the late great, Wednesday, 18 December 2013 18:57 (twelve years ago)
yes
― flopson, Wednesday, 18 December 2013 18:57 (twelve years ago)
pairing of most similar would be cubes + discrete, diff geo + ana
oh okay. that's what i'd do then.
(higher math n00b)
― the late great, Wednesday, 18 December 2013 18:58 (twelve years ago)