« first day (625 days earlier)      last day (4403 days later) » 

12:04 AM
Benjamin Lim has precisely 4,000 rep.
 
wikipedia is blue! how horrific
 
wp doesn't look any diff to me..
 
the pages have white backgrounds?
@anon, all of the pages have blue backgrounds for me, anon
 
for me, yes, background is white. (though the sidebar is gray)
oh wait, @Eric were you talking about the main page? that has boxes with light turquoise-ish as background.
 
12:22 AM
i was talking about any article on the page
not the main page, per se
this page has a blue/torquise background for me
 
odd.
 
i think i saw a twilight zone episode about this
it doesn't end well for me
 
@EricGregor, your computer is on the fritz.
 
@All, I'm just curious if it's normal to want a poster of 31399719737866347113914486515772694858917594191229 38744591877656925789747974914319422889611373939731 on your wall? I heard puberty was, by far, a very bizarre experience... But, I have not recalled the want of particular numbers posted on your wall as part of said experience.
 
12:36 AM
what are you talking about?
who would want a giant number on their wall
 
35
A: Why are all the interesting constants so small?

Peter T.offWhat about the reversible 100 digit prime (i.e. it is a prime if written backwards) $31399719737866347113914486515772694858917594191229$ $38744591877656925789747974914319422889611373939731$ that breaks up into 10 reversible 10 digit primes in order $$3139971973, 7866347113, 9144865157, 726948...

Lookie there for an explanation.
I'm quite amazed by its beauty.
It's more appealing than my current set of love-affairs.
 
I'm inclined to agree with Holowitz.
 
As was I, until I saw the rather witty retort.
Its beauty, I suppose, is within its context.
It's not "fair" to compare it to $e$ and $\pi$.
 
it's like a clever contraption, this number
e and pi are godly
 
not fair? you relativist.
 
12:42 AM
Yes, @Eric.
That's essentially my point.
It's like how you have a shiny pebble and then you have boulders of amazing beauty.
A shiny pebble can still be appreciated.
 
would never put that on my wall, though. how about a beautiful painting of a woman or a raging sea
 
Perhaps.
 
one has to keep one's sanity
 
Sanity is very relative! :D
How do you define such a concept?
 
in the same way a gardener defines a healthy plant
 
12:44 AM
@anon Incidentally, he's also the person who invented the kalle-numbers. Surely they're even more interesting!
 
"If I'm looking good and I'm producing well, I am sane"?
 
i shouldn't have said "sanity". i guess i meant it's good to have multi-dimensionality as a man
to appreciate beauty, etc
anyway, this is too philosophical perhaps
that number is fun, great find
 
I wax philosophical often in my head. If this is inappropriate for this chatroom, I apologize.
I feel philosophy and mathematics are relatives.
 
i think it's ok to talk like this until real math comes up, then you make way for it
but i don't know the rules
 
You are correct in that multi-dimensionality with respect to appreciating beauty is needed.
 
12:47 AM
i don't consider math and philosophy relatives
how do you mean?
 
How do I mean math and philosophy are relatives?
 
i think philosophers who obsess about godel and cantor are 1-dimensional philosophically
 
Well, I see it from a simple example. Many ancient philosophers were also mathematicians. (Rene Descartes comes to mind.) I think you need philosophical insight in order to do mathematics. That's how I see them as relatives: One does not exist without the other.
I don't think you can find a mathematician who doesn't have an appreciation for philosophy; though you MAY find a philosopher who has no appreciation for mathematics.
So I guess it's a bit of a weird relationship.
 
what do you take to be philosophy? love of wisdom? i know mathematicians that don't care much about this kind of thing except in their narrow range of interests
 
I think you can easily find mathematicians who are not especially interested in philosophy.
 
12:50 AM
it's actually more common than not, i'd say. i think you're being romantic
 
most mathematicians care very little for philosophy as related to math
 
Philosophy strikes me as the pursuit of knowledge and truth in general.
 
they may be interested in philosophy
@Limitless, that's a pretty empty thing
"truth in general"
 
@MarianoSuárezAlvarez, it's very general, yes.
I could not think of an accurate summarization beyond that.
 
mathematical truth is rather narrow in the broad scope of things
 
12:51 AM
most mathematicians despise "truth in general"
 
Hmm.
You two have good points.
But I'm not sure if I understand @Mariano.
 
mathematics is useful and beautiful and the truths you get are relatively "pure", but it doesn't really get at "what it means to be a man", "what is the ultimate nature of reality", etc, which are generally considered to be in the domain of philosophy
i think you are coming at this from what would be called a Gnostic point of view
 
and closer to literature than to scientific activity
or even poetry
 
Do you mean that mathematician despise "truth in general" outside of mathematics? I see mathematicians as heavily valuing general truths in mathematics.
 
but truths in mathematics are a completely different thing
 
12:53 AM
mathematicians like making more math
carpenters like making more furniture, it doesn't mean they have to be especially philosophical or care much for wisdom
 
one of the problems with lots of philosophers talking about math is that they simply do not know any math
*any
 
I agree that truths in math are a completely different thing.
You may have defeated my point, @EricGregor.
 
Many are humble enough to admit that though.
 
Your comparison is perfect.
I don't think I can combat it, lol.
I mean, there is the discrepancy of the fact that math is mental and not physical, but the point still remains.
 
well, that's not how mathematicians feel about it
 
12:55 AM
I've starred the statement "mathematicians like making more math" not because it's witty but because it's simply true and relevant.
 
math is a very concrete thing
for them
 
Concrete in what regard?
 
@MarianoSuárezAlvarez maybe you're getting into controversial waters now. some mathematicians have definitely been Idealists
 
that's a different matter
 
It is true that we can take a mathematical idea and use it physically, but the idea itself still seems to be mental. Its manifestations in nature (if there are any), however, are physical.
 
12:57 AM
mathematicians do not feel the objects they study are ethereal
that's completely irrelevant, Limitless
I am talking about how the people doing math see what they do
this is independent of whether "manifolds exist" or not
 
@MarianoSuárezAlvarez, many mathematicians believe in The Book and take a quasi-religious attitude toward what they do
 
Hmm...
 
they might be deluded, but i think there are mathematicians that think they are doing God's work, so to speak
or understanding God, or whatever
 
I know many mathematicians and none of them think that
it sounds more like something a student might say
 
what about Erdos, for one?
 
12:59 AM
@Mariano, I still don't quite see what you mean by "concrete". I'm sorry if I am sounding stupid.
 
i have had at least one advisor who seemed to have such a view
 
Rob
Einstein said he wanted to know the thoughts of God.
 
there is a sea of different between empty statements like "the whole is bigger than the parts"
and a mathematical fact
 
Mathematicians are more likely to believe in God than their counterparts in the science
as i understand the data
 
physicists and mathematicians can get veyr poetical when set free: that does not mean they interact in that way with their subject matter and what they actually do
 
1:00 AM
Limitless, have you been to a math seminar? It's about the concrete theorems on the board. The theorem and the proof. And the mental process that leads to it.
 
what do you mean by "interact in that way with their subject matter"?
 
@ymar, I have not.
 
@Limitless, therein lies the problem
 
@Mariano, most likely.
 
there is a public image of mathematics, of mathematicians and of what they do which is completely unrelated to reality
 
1:02 AM
I'm very ignorant of the things you are speaking of, but I would love to learn precisely what they are.
 
I know of no other way to understand mathematics apart from studying it
 
Rob
Amen.
 
I have to say, I put a lot of my spare time into studying it!
 
mathematicians are obviously aware that vector spaces are abstract gadgets
but anyone who really knows linear algebra does not interact with vector spaces in a way differetn from which a carpenter uses his tools
 
Hey.
I think I am getting at what you mean.
Like how you invoke a particular theorem or corollary to point out something you just see as true in your mind?
 
1:04 AM
you can treat vector spaces as a tool and still believe it to be a heavenly tool
i understand you don't want to spread a stereotypical image of matematicians, and i agree that that stereotype is false in its details, but there is some truth to this being at least a minority view
you can't just dismiss it as mere philosophizing while throwing back a drink after doing math
 
I think mathematicians' understanding of mathematical truth varies. But it doesn't show in how they do math very much.
 
of course not
a carpenter can believe he is carving platonic forms in wood or that he is discovering a new piece of furniture rather than creating it. that doesn't effect what he does in terms of output
 
Rob
Mathematicians do mathematics while philosophers don't do philosophy, but they do philosophize...
 
@Rob, now I think we're just making jokes about philosophers and their laziness.
I have to admit, I did chuckle there...
 
Ah, so you're going for that allegory where one builder says "I'm building a wall" and another says "I'm building a cathedral" with respect to the same thing they're doing?
 
1:08 AM
Mathematicians also philosophize, as do most thinking people.
 
that's a nice way to put it, @JM
but @MarianoSuárezAlvarez is an established, talented mathematician from all appearances, so he has more right to speak about the empirical reality
 
haha
I'm really a 13 year old Bieber fan
 
lol
i KNEW it
 
For a 13 year old, I'm envious. :p
Be sure to earn the Fields Medal later on.
 
1:14 AM
As always, everything isn't what it seems on the Internet. :)
 
"For this reason, the good Christian should beware not only numerologists, but all those who make impious divinations, above all when they tell truth. Otherwise, they may deceive the soul, and ensnare her in a pact of friendship with demons."
that's a great quote
 
one should also beware of Twilight fans
 
if you have a smooth mapping from $f: M\to N$, $M$ and $N$ smooth manifolds, the preimage $f^{-1}(\text{constant})$ is an embedded manifold if the $df$ is nonzero at the constant?
 
@All Something that has my curiosity is the random assignment of profile pictures. Is there any mathematical significance to them?
 
@Limitless No, Gravatar merely generates them from a hash of your e-mail address.
 
1:16 AM
@Limitless, google for "gravatar"
 
So, every one is unique?
 
@EricGregor, the differential has to have constant rank on the preimage
 
Like snowflakes?
 
(Of course their precise algorithm is kept secret.)
 
one of the silliest trade secrets. EVAR.
 
1:18 AM
@Limitless Not sure. I don't think they've revealed their hashing method, so no way to tell how likely hash collisions are...
 
That is so cool.
 
@EricGregor, the simplest situation is when the differential at each point of f^{-1}(point) is surjective
 
Rob
@Limitless "God exists since mathematics is consistent, and the Devil exists since we cannot prove it."
 
@MarianoSuárezAlvarez People have made money over sillier things... :)
 
gravatar makes money out if this?
 
1:20 AM
Dunno, but the owner of Gravatar sure does have a lot of businesses running around...
 
@MarianoSuárezAlvarez i'm thinking of the simple example $\mathbb{S}^n$. This is the $f^{-1}(1)$ where $f(x)=|x|^2$. Lee says that because the derivative is nonzero away from the origin, all of the level sets $f^{-1}(\text{nonzero})$ are embedded submanifolds. The preimage of zero is not. So the point is that the differential map between the spaces "degenerates" at zero? that there is no nbhd of the origin in $\mathbb{R}^n$ such that the differential map has constant rank?
in particular the rank at zero is 0, right?
 
That function has 1-dimensional codomain
so being nonzero is the same as being surjective for the differential
indeed, at zero the rank is 0
 
is my understanding as to why that is correct? that it is zero at the origin, but 1 elsewhere?
and that in any nbhd around zero in Rn you there won't be a map of constant rank
sorry i'm making weird typos
 
@EricGregor, a woman called. I am "appreciating other forms of beauty" now. ;)

It was nice talking with you all!
I hope to chat again sometime soon.
 
1:35 AM
nice
see ya
 
Have a good night or day, All.
 
May I ask an algebra question?
 
No you may not. What do you think this is, a mathematics chatroom?
3
 
Sure, but there was another discussion.
 
1:37 AM
go for it @ymar
 
OK, can we characterize the ring automorphisms of $\operatorname{End}_{\mathbb C}(\mathbb C^n)$?
 
what do you mean by characterize?
 
They are all interior automorphisms
 
what is that @MarianoSuárezAlvarez?
 
That is a consequence of the Skolem-Noether theorem
(but can be proved easily for that special case)
 
1:42 AM
Thanks Mariano!
 
(well, I am talking about $\mathbb{C}$-lineal automorphisms)
(there are others... but no one cares about them)
 
i have always heard it called an inner automorphism
 
interior is just my Spanish
 
cool
 
@MarianoSuárezAlvarez Oh. Why doesn't anybody care about them? I would think ring theorists might...
 
1:50 AM
nah
every automorphism of C gives you an automorphism of that ring
there waaaaaaaaaaaaaaaaaaaaaaaaaaay too many of those already
also, every sensible automorphism (smooth, analytic, measurable, continuous, etc) is automatically C-linear
 
Right.
So the Skolem-Noether theorem is about endomorphism that are center-linear, right?
No that doesn't make sense
Sorry. :)
I'll have to read up on that.
OK, it's 4 am, and I'm starting to tremble. Time to go to bed. Good night!
 
Rob
@MarianoSuárezAlvarez This ring theorist might :-)
 
2:14 AM
@MarianoSuárezAlvarez, i'm trying to do the first problem in Lee on regular values. I have $F:\mathbb{R}^4\to\mathbb{R}^2$, with $F(x,y,s,t)=(x^2+y,x^2+y^2+s^2+t^2+y)$. I want to show that $(0,1)$ is a regular value of $F$.

So i have to constraints, $x^2=-y$, etc, and taken the partial derivatives. now i want to show that they can't all be linearly dependent i think
 
Compute the Jacobian of your map, and show that its rank is 2 at each point in the preimage of (0,1)
 
so i compute the jacobian and show that the two constraint equations won't make the jacobian "degenerate"?
sorry if my questions are slow, i'm more or less doing this on my own with little help from my advisor
$\begin{pmatrix} 2x&2x \\ 1 & 2y+1 \\ 0 & 2s \\ 0& 2t \end{pmatrix}$
 
compute the rank of that matrix
(which will depend on x y s and t)
 
@MarianoSuárezAlvarez the rank is the number of linearly independent rows there are, yes? what do you mean by compute it? subject to the constraints see what needs to happen for it to be linearly dependent?
 
the rank is a number: compute it :D
 
2:26 AM
i don't know how
looks like 2
 
it is also the number of l.i. columns
it can be 0, 1, or 2
can it be zero?
 
ah
so 2s=2t=2y+1=0
would be the case where it was zero
1
 
wait, sorry
 
can the rank be zero?
 
2:28 AM
2s=2t=2y=0 is the case where the rank is 1, i think
i don't think it can be zero
 
don't you think or do you know it can't?
 
because of the 1, all the entries can't vanish
 
indeed
next: when is it $1$?
 
i said above
2s=2t=2y=0
 
ok
and when is it 2?
 
2:30 AM
when that condition doesn't hold
 
:)
so, what is the rank on the preimage of (0,1)?
 
ah, fantastic
thanks!
it's 2, of course
 
is it that obvious?
 
yes, because x^2+y=0
 
I trust you :D
 
2:32 AM
so s^2+t^2+y^2 can't be zero
i'm asked to show this is diffeomorphic to S^2. should i just find a nice change of variables?
err, maybe that's nonsensical
 
you can do that
 
it looks like this is really the map y^2+z^2+s^2=1. i guess this is really easy
under the change of variable x^2+y=0...?
i just don't know if that's really a change of variable
 
how is that a change of variables?
 
yeah, i know
 
find a map from your manifold to S^2
and one backwards
preferably, inverse to each other and smooth
 
2:36 AM
from $\mathbb{R}^2$ to $S^2$ in $\mathbb{R}^4$ you mean?
 
no
from the manifold you are talking about to S^2
 
oh you mean the level set
right
 
2:52 AM
i feel like i may be being stupid, but it seems i want to make a change of variable $w^2=x^2+y$, and then our manifold $M$ becomes the level set $(w^2,w^2+y^2+s^2+t^2)=(0,1)$
and this is exactly the level set defining $S^2$ in $R^4$
@MarianoSuárezAlvarez
err, my change of variables should be $w^2=x^2+y$
under this change of variables you just map w^2 to x^2
 
i don't know if my argument is sufficiently detailed
 
find a function going from M to the sphere
 
please don't ask that
someone has already asked that
in fact, several people...
 
2:55 AM
34
A: What is 48÷2(9+3)?

Gerry MyersonThere is no Supreme Court for mathematical notation; there were no commandments handed down on Sinai concerning operational precedence; all there is, is convention, and different people are free to adhere to different conventions. Wise people will stick in enough parentheses to make it impossible...

 
isn't that the function, @mariano, the one sending $x^2+y$ to $x^2$?
 
it's like how people say "i could care less" -- you probably know what they mean, but others will be more pedantic about it. If you want to remove any ambiguity, remove the ambiguity.
 
lol at that question
 
Eric, that is not a function
M is a subset of points of R^4
you have to write down a rule which maps each of its points to points of S^2
 
Rob
@MarianoSuárezAlvarez @JohnSmith My question is about how well known is the convention of performing operations in order from left to right?
 
2:59 AM
there is no convention
no one writes that like that
 
like most languages there is no 100% set in stone rule
it's semiemergent
but again, like most languages, if you want to be understood, you should make yourself as clear as possible
use syntax in an unclear way and you'll get unclear answers
simple as that
 
Rob
People who try and think up trick questions on tests feed on ambiguity ;-)
 
@MarianoSuárezAlvarez ok maybe i have it: $G(x,y,z,t)=(x,0,s,t)$, and THEN change variables
with the changing variables step being optional, since we can define $S^2$ as the level set $x^2+s^2+t^2=1$
 
Why not simply map $(x,y,z,t)\in M$ to $(x,s,t)\in S^2$ ?
 
isn't that just a crisper way of saying what i said?
 
3:09 AM
you cannot define S^2 as the level set $sx^2+s^2+t^2=1$
for that defines a cylinder in $R^4$
 
err, you are right. i meant with the constraint $y=0$
but ok, i think we're saying essentially the same thing, with you being precise and accurate with your words at each stage and me being clumsy
 
can someone explain greg martin's comment math.stackexchange.com/questions/133105/…
about the sieve of Eratosthenes
 
looks like weird notation, maybe a convolution?
 
i have no idea, that's the only way i've seen * used
 
3:15 AM
his comment starting with "I doubt there's any way to evaluate the sum without doing a"...
 
i see. i don't know what he means
 
i would say topology
why not both?
 
3:45 AM
@MarianoSuárezAlvarez i'm doing a problem in Lee that i think is nearly trivial, i was hoping you could evaluate my opinion. for $c$ irrational, let $\gamma(t):\mathbb{R}\to\mathbb{T}^2$ be defined $f(t)=(e^{2\pi i t},e^{2\pi i c t})$. I want to show that $\gamma(\mathbb{R})$ is NOT an embedded submanifold. but it was previously proved that $\gamma$ is not an embedding (since $\gamma(\mathbb{Z})$ has limit points)
and we have two theorems saying that embedded submanifolds are precisely the images of smooth embeddings
 
yup, it follows directly from that
 
gracias
 

« first day (625 days earlier)      last day (4403 days later) »