« first day (2318 days earlier)      last day (2708 days later) » 

11:00 PM
Kaj was a good student: He was always interested in his courses. Hmm, well, he did complain about some. ... :D
 
haha, thanks Ted :) One problem of mine was getting too excited and biting off more than I could chew
 
does physical excercise simultan to learning improve the learning process?
 
in my opinion doing old exams is good preparation for the exam since it gets you used to the type of exercises your prof gives, it's not necessarily a good way to learn a topic though
 
I recall a certain person trying to advise you of such things, @Kaj ... but my memories are foggy these days :D
Right, there's a lot more to learning than getting good grades on exams.
 
Yes @Null. I don't know the science in-depth of course, but there have been quite a few studies that link exercise to improved cognitive ability.
 
11:03 PM
For one thing, exercise leads to better sleep ... which leads to better learning.
 
@KajHansen does walking on the street while reading what you learn count? :d (or more like: pump some weights, then read something, then pump more, then try to reproduce)
 
That's definitely true. The study most fresh in my mind showed that one's ability to learn and retain new information is improved within a few hours of exercise.
 
I see that a few people here have problems concerning sleep
 
I was about to point out the late hour to you, @Alessandro.
But it seems Kaj, @Brody, @Fargle (not to mention @Balarka) have late-night-owl issues.
 
<- 00:06 here
 
11:06 PM
I'm sure walking is better than not walking @Null. I don't know what's "best" and for what purpose though. I.e. cardio might have different effects than anaerobic exercise.
@Ted guilty.
 
I don't sleep a lot, 6-7 hours, but I have a regular schedule so it's not that bad? Anyway it's an holiday tomorrow here so I can sleep in a bit if needed
 
@KajHansen funnily enough we have a show which was quizzboxing, found it funny^^
 
@Alessandro, I can't sleep more than 6 hours at a time personally. My body wakes up naturally after that and I won't be able to get back to sleep.
Chessboxing is a real thing too @Null
 
Hello I have a question about mathematics: when I have a variable x, is it implied that if I have a statement:
 
Same here, and since I don't feel tired... it's a lot of free time :P
 
11:09 PM
@Alessandro: I'm just reminding you that you're always the one complaining that you'll sleep through your classes :P
 
Ugh, sometimes I wish I could post links without it taking up 1/4 of the page
 
You know how to do the ()[] link thing, @Kaj.
 
@KajHansen make a "." before any link
 
Oh, there's another shortcut. Cool.
 
haha, I guess those both would work
 
11:10 PM
Hello I have a question about mathematics: when I have a variable x, if I have a statement:
$\forall x P(x) \land \forall x Q(x)$, is it implied that I am testing the same x in both P(x) and Q(x)?
 
it's considerably later than now when I do though :P @Ted
 
I actually didn't know the link thing worked in chat, if you're referring to the link insertion on MSE proper.
 
@Devilius: You're testing all $x$ regardless.
 
right
 
11:11 PM
and i'm back, with a blanket
 
but are they always the same x
 
@Devilius do you know what the symbol $\wedge$ means?
 
in other words: is the following true: $\forall x P(x) \land \forall Q(x) \leftrightarrow \forall x [ P(x) \land Q(x)$
no
 
you should always take a towel too @meow
 
@meow: Are you snuggling in for the night?
 
11:12 PM
Heavy blankets are the best. Quilts. Super comfy.
 
@Devilius then start with that $\wedge$ means AND
 
@Null ah, it's like \land
 
With "and" they're equivalent, @Devilius. What about "or"?
 
well I suppose that's what I'm asking: when I go through all x, do I make them both always the same in both P(x) and Q(x)
 
for computers we had to make this mock resume and so i made it in latex :]
 
11:13 PM
the mathematicians OR, not of the english language. OR in math means AND/OR
 
"Honey, be sure to buy eggs XOR flour"
 
@KajHansen that's going to be a s***ty cake
 
@KajHansen haha
 
haha @Meow
 
Ugh one hour until I can put a bounty on my question
Why is there even a required delay ugh
 
11:15 PM
Why do people waste points on bounties?
 
is anyone else here an assembly programmer?
 
Most of us answer things we're interested in, regardless of bounty.
 
Because no one is answering my question!
 
math.stackexchange.com/questions/2050090/… how does this form a vector space? wouldn't it need to be the general linear group to form a vector space?
 
I've bountied someone @Ted. It raises the visibility of the question immensely. The one I bountied was somewhat ignored until I did, then it got 2 or 3 responses.
 
11:16 PM
1
Q: Contour integration by substitution?

GFauxPasLet's say I have a contour integral on a non-closed contour with starting point $z_0$ and ending point $z_1$. Am I allowed to do a substitution like this? And under what assumptions? $$\displaystyle \int_{z_0}^{z_1} f (z) \, \mathrm d z = \int_{u^{-1}(z_0)}^{u^{-1}(z_1)} f (u (z))u'(z) \, \math...

 
Once I get to 20k, I'll do it more often. I think it's a courtesy to someone who's put effort into an interesting question and that question isn't getting much visibility
 
@meow why wouldn't it be a vector space?
 
There are just way too many questions for me to pay attention to, I admit. I tend to look mostly at differential geometry/topology stuff.
 
@Alessandro invertible matrices???
 
It does put it into the "Featured" tab @Ted, instead of getting buried on "New Posts"
 
11:17 PM
No, @meow, the general linear group is not a vector space.
 
@TedShifrin can you answer most questions out of the top of your hat on MSE?
 
there is no multiplication between matrices in this vector space, only multiplication by scalars and addition of matrices
 
Hell no.
 
(as in every vector space)
 
@Null: I worked a few days on one question a few years ago.
 
11:18 PM
The zero matrix isn't in GL_n(F), in particular
 
okay, so we need not define multiplication
 
@meow: Vector spaces have just addition and scalar multiplication. The set of all square matrices also forms a ring.
 
if anyone watched/read Hitchhikers guide: maybe MSE is the way to prevent our heads being torn apart hehe
 
@TedShifrin i was thinking of it as a module over a field, which isn't a very good interpretation
 
@GFauxPas: Remove the "homotopy theory" tag on that question. It's totally not appropriate.
@meow: module over field = vector space.
 
11:20 PM
@TedShifrin wait;
 
An algebra has the additional multiplication structure.
 
so the matrices are the vectors?
ok
 
Yup.
 
oh so it's over $\mathbb{R}$ ok :P
 
@GFauxPas: Part of the problem is that your question is really a bit muddled. There's too much going on and confusing you. Branch cuts, homotopic deformation of the curve, and then substitution (which is a change of variables that keeps the curve the same). Just too much.
 
11:22 PM
is $\mathbb{C}$ a 2-dimensional vectorspace over $\mathbb{R}$?
 
(multiplication need not be defined because we only require the module be an abelian group and satisfy some other module-y axioms
 
Of course @Null.
 
ted beat me to it
 
then why do we say that $\mathbb{R}\subset\mathbb{C}$?
 
@Null ?
does a vector space have to not contain the field it's over?
 
11:23 PM
NO, @meow. Generally that makes no sense.
 
i know
i was asking a rhetorical question
...
 
Too confuzling.
 
because what he said didn't really make any sense
 
Too easily confuzled perhaps @Ted ?
(jk)
 
Me, @Kaj? Sure.
 
11:24 PM
I just say I am baffled by it
 
why is that, @Null
 
can't really make a rhyme of this
 
@Null think of the isomorphism from $\mathbb{C}$ to $\mathbb{R}^2$
 
yes
to R^2!!, not R
 
then you can think of the vector space as simply the 2-dimensional vector space $\mathbb{R}^2$ over $\Bbb R$
 
11:25 PM
@Null keeps getting bogged down with the fact that $\Bbb R$ does not "canonically" sit inside $\Bbb R^2$ or $\Bbb R^3$. But there is a canonical $\Bbb R$ sitting inside $\Bbb C$ (by convention).
 
@Null the elements of algebraic structures don't matter; it's the relationship between the objects
 
@TedShifrin R would be the line a+bi, where b=0?
 
that's why we define isomorphism, because it's nonsensical to consider two groups "different" because one of them has "&" replaced with "j"
@Null yes.
 
Yes, @Null: That is what everyone means by a "purely real" complex number.
 
for $a,b \in \mathbb{R}$
 
11:27 PM
@GFauxPas: In your question, you also did not specify the original contour/path (or maybe I missed it). I assume you mean the line segment joining the two points, but you really need to specify it.
 
@TedShifrin I'm confused. Why are there precisely two? And why is it important that it's the complex plane rather than any plane?
Sorry, just read it
 
DogAteMy: No need for an apology :)
 
Unless complex plane curve means something different than what I am thinking
 
I didn't mean to say anything about complex numbers/plane. I just said a plane curve. And I said convex — so that's why there are precisely two.
 
Ohh
Misread
 
11:29 PM
so is C a field extension of R, or something else, by strict definitions?
 
I just inferred that you misread :)
@Null: Yes, most people would say it's defined as a field extension of $\Bbb R$, although one can define it operationally without any mention of such.
 
and $\mathbb{C}$ is isomorphic to $\mathbb{R}^2$ trivially right?
 
as an $\mathbb{R}$-vector space, yes
 
@Alessandro why is that an important thing to add?
 
Hi.
 
11:34 PM
hey there
 
@TedShifrin May I ask you a question please ?
Hello @KajHansen
 
@Mahmoud Good evening/day
 
@Null Thank you ! Good evening/day for you too :) (It's evening for me btw).
 
@Mahmoud you're welcome
 
Sure, Mahmoud.
 
11:37 PM
@TedShifrin In Spivak's book,
The Chapter I : Basic properties of numbers,
 
because you're thinking about the vector space structure, so you're talking about an isomorphism of vector spaces @null
$\mathbb{C}$ and $\mathbb{R}$ are isomorphic if you only think about the additive group structure but not if you think about them as vector spaces over $\mathbb{R}$
 
What am i doing wrong here: i.imgur.com/bVS4w9I.png not fully understanding my mistake, i know the answer is (-6, 6/4] yet i don't get that
 
@TedShifrin, it took me a while, but I finally saw the error in my reasoning regarding that $x^8 - 2$ Galois group the other day. The "rotation" generator I was taking for granted wasn't sending $\sqrt[8]{2}$ to $\sqrt[8]{2} \omega$, with $\omega$ a primitive root.
 
the vector space $\mathbb{R}$ over itself is, in fact, $1$-dimensional @Alessandro
 
@Kaj: The geometry of those rotations is very misleading in Galois theory.
 
11:40 PM
as is every field when considered as a vector space over itself @meow
 
He introduced the most basic properties that I never even thought of proving , I was taking them a priori, then I realized that those are axioms, but when doing this having to declare most basic things to be true in order to move forward and get more results, aren't we making Math separate from the physical universe ? Theoretical ? @TedShifrin
 
But surely we want a primitive root to get a generator, @Kaj.
 
how is everybody?
 
@Mahmoud: This is a philosophy question, not a math question. But I think the physical universe is perfectly fine with the axioms for the real numbers.
 
Absolutely @Ted. But I was quick to say "Oh, we can just rotate by $\2pi/8$ radians"
 
11:41 PM
Oh @Kaj.
 
@TedShifrin And if so, aren't we just making up Math ?
 
But, yeah, the coincidence that $D_4$ is the Galois group of $x^4-2$ misleads people a lot.
 
Because usually when I'm looking at these, that is the generator (lots of primes in the small integers)
 
Mahmoud: I honestly do not understand what your point is.
 
@Mahmoud, math has always been separate from the physical universe. The idea is that math, for whatever reason, is very apt at constructing predictive models of the universe. It is on us, however, to choose our axioms appropriately to give rise to useful / accurate predictive models.
 
11:44 PM
Thanks to @Kaj for taking over.
 
For example, when we include the axiom of choice in things, silly crap happens a lot. See the Banach-Tarski paradox, e.g.
 
But most functioning mathematicians don't spend time wondering whether to admit or not admit the axiom of choice.
 
If we are defining concepts to be independent from the physical universe, for example $\pi$ is the ratio of the circumference of a circle to it's radius, but a physical circle can't have an infinitely complex irrational circumference, isn't math not quite describing reality as it is ?
 
@WDUK If I'm not wrong ( I usually am ) you can't do that because you dont know if the terms are possitive or negative, so you have to evaluate each case
@TedShifrin could help you with that :D
 
Exaclty @Mahmoud. Even "good" current models might break down in real-universe pathological scenarios because we like to model everything with continuous functions. But things like mass and energy are discrete and quantized.
 
11:47 PM
@Maks so multiply by 6 and leave x in the denominator?
 
@WDUK: You assumed $6+x> 0$ when you multiplied. Also, note that $x=-6$ makes things undefined.
 
They are quantized small enough that continuous functions are a great approximation in "normal" conditions
 
@KajHansen space might be truly continuous
 
@WDUK: So if $x>-6$, you deduce that $x\le 3/2$. This gives $(-6,3/2]$. Now what if $x<-6$?
 
That's true @DHMO, but isn't it unknown?
 
11:49 PM
it is unknown
most of our derivatives are with respect to time
but continuous space with discrete time is useless
 
One thing that concerns me about modelling the physical universe with continuous functions is that there are a number of things that have a property for all $n$ it holds, but the property breaks down with $n \rightarrow \infty$
 
but we don't have infinity in physics
 
Yeah, that's what I'm saying @DHMO
Not necessarily just infinity, but infinitesimal too
 
I'm not sure physicists would agree that there's no infinity.
Where are @Danu and @Semiclassic when we need 'em?
 
@KajHansen The mystery is that Math is actually effective in the natural sciences as Wigner put it.
 
11:53 PM
@KajHansen but if we exclude it, we get things like amorphous sets
 
Indeed @Mahmoud. The utility of math for making predictive models is really mind-bending to me. Even really "out there" math has found usefulness.
 
@TedShifrin for example?
 
Space-time, as a manifold, is unbounded?
 
that does not mean infinite
 
^
In some theories, it's toroidal.
 
11:57 PM
And if it's not infite, what's in it's border?
 
I am seriously not entering this discussion.
 
LOL
 
@Maks but there is no border
 
Lol @TedShifrin why not?
 
I am going to try to work out a differential forms computation for some confused OP ...
 
11:57 PM
@Maks Nothing. The surface of a sphere doesn't have a border.
 
@DHMO how can it be finite and border less?
@noɥʇʎPʎzɐɹC what's outside the sphere?
 
@Maks consider the surface of a sphere
not the 3D ball
 
@Maks Doesn't matter. The sphere is 4D, the surface is 3D.
 
just the 2D surface
we can't even get inside the sphere
 

« first day (2318 days earlier)      last day (2708 days later) »