« first day (1799 days earlier)      last day (3212 days later) » 

12:26 AM
@BenDover yeah I heard good stuff about this one
 
12:45 AM
0
Q: Integers aren't open sets

Karim MansourSo I am solving the following question in apostol Determine all accumulation points of the following sets in $R^1$ and decide whether the sets are open or closed (or neither). All integers: The set of integers doesn't contain an accumulation point of Z I will do it by contradiction suppose x $\...

 
 
1 hour later…
1:58 AM
Does anyone have any ideas about how to simplify this expression? $$ \frac{\frac{x^3 e^{\frac{t x^2}{4}}}{8 t^{7/2}}-\frac{3 x e^{\frac{t x^2}{4}}}{8 \sqrt{2}}+\frac{t^3 x}{2}-\frac{3 \sqrt{\frac{1}{t}} x}{8 \sqrt{2}}}{\left(e^{\frac{x^2}{4 t}}+\sqrt{\frac{1}{t}}\right)^2} $$
 
keep putting things over a common denominator until you cry, then take a break and get back to it
 
@SamuelYusim Sounds like a good plan.
Thanks.
 
I'm sorry to say it looks like the kind of thing you'll need to brute force
 
No no I totally think you're right. That was my original approach.
I was just having difficulty finding a common denominator for the expression in the numerator.
Because it became quite lengthy and then I cried.
 
Use WolframAlpha
 
2:03 AM
you can simplify a lot of stuff before you start combining fractions, though. For example $\frac{x^3e \frac{tx^2}{4}}{8t^{7/2}} = x^5e/(32t^{5/2})$
 
@Morphic Doesn't really help with this kind of expression.
 
if you're worried about combining fractions just do it term by term: get the first two over a common denominator, then get this new fraction and the third term over a common denominator, etc.
oh, wait a minute
I messed up the thing I said about simplifying, I didn't realize the little tiny fraction was an exponent
 
xD
@SamuelYusim I'm actually trying to prove that a solution for a PDE is indeed a solution. Would it be easier instead to try and solve the PDE and arrive at that solution instead of plugging it in to verify?
 
I don't know the first thing about differential equations so I couldn't say
 
Alright, thanks for the help. u.u this function is just brutal
 
2:08 AM
for what it's worth I believe in you
 
We believe in you @Jun-GooKwak
 
@Jun-GooKwak just plug it in
also, it's a PDE, how do you intend to find all the solutions in general
it's possible for some of them but i mean
i can think of essentially no case where if yuo have a potential solution it's not better to just plug it in
 
Yea, I was wondering about that as well.
But this solution is quite nasty indeed.
 
2:30 AM
nothing you can do
just mash it
 
Alrighty. I got it so it looks a lot more manageable. I'll just have to see how the other partial derivatives in the equation work out. Hopefully something cancels out.
$$ \frac{x \left(\left(\frac{2 x^2}{t^{7/2}}-3 \sqrt{2}\right) e^{\frac{t x^2}{4}}+\frac{8}{t^3}+3 \sqrt{2} \sqrt{\frac{1}{t}}\right)}{16 \left(e^{\frac{x^2}{4 t}}+\sqrt{\frac{1}{t}}\right)^2} $$
 
aaaa
 
ok cool
4
A: Integers aren't open sets

ColdNumberTo prove $\Bbb{Z}$ is not open, you could show that 1) $\Bbb{R} \setminus \Bbb{Z}$ is not closed or that 2) $\Bbb{Z}$ consists of isolated points. 1) 0 is an accumulation point of $\Bbb{R} \setminus \Bbb{Z}$ because it is the limit of the sequence {1/n}, but since $0 \in \Bbb{Z}$, it is not in ...

very nice answer
 
3:10 AM
Question: what is an ideal way to hold something like "office hours" with someone long distance with the ability to type using $\LaTeX$ similar to here that offers a bit more privacy than simply a new chatroom? I originally thought that creating a chatroom here would suit my needs, but in the event that grades or something else personal were to be discussed, I find that it might not be private enough since anyone could see the room on the list for some time.
 
@JMoravitz: mathim.com
2
 
That's amazing, @MikeMiller! And quite a good question, JMoravitz
 
3:28 AM
I learned about that website from Pedro, I think
 
user147690
@SohamChowdhury The challenge wasn't very well planned unfortunately. Well it was as well planned as it could be, given the length. But that was the problem, the length was excessive. You just can't plan that far ahead without more direction, and without it being a larger part of your life(I.e. uni had priority).
 
user147690
@Rememberme I have been busy with non-math things unfortunately - you know, life getting in the way :P. That's not meant to imply I haven't still been doing math of course, just haven't been doing it like I normally do.
 
user147690
@SohamChowdhury Also that drum track was indeed pretty intense xD.
 
3:46 AM
hi @AlexClark
 
How might I show that $x = \cos(t) + \sin(t)$, $y = \sin(t)$, where $-\pi \leq t \leq pi$, is the equation of an ellipse?
 
@james note that your first equation can be rewritten as $x-y=\cos(t)$, and in that form this should remind you of the equation of a circle.
 
Err, I'm still a little confused.
That reminds me of the equation for a circle?
 
Perhaps verifying that it satisfies $\frac{(x-h)^2}{a^2} + \frac{(y - k)^2}{b^2} = 1$ for some constants $a, b, h, k$ (it helps if you know the center and axis lengths in advance).
I think @Semiclassical is hinting that you could think in terms of circles and linear transformations. I'm not sure though, it's a fairly high-brow hint :)
 
nah, i'm hinting at the fact that $\cos^2 t+\sin^2 t=1$ :)
 
3:59 AM
D'oh!
 
Well this problem is coming from me trying to calculate what the shear transformation does to the unit circle, by the way!
Oh, well, $(x - y)^2 + y^2 = 1$ :)
 
note, though, that it's not an ellipse whose axes align with the $xy$ axes
 
@pjs36: I don't quite remember the formulae, but I think your formula only works if your longest axis is vertical or horizontal. This won't be
 
which is consistent with it being a shear of a circle
 
Ah, which means my hint wouldn't work, double d'oh.
You guys take all the fun out of me pretending to know things, you know!
 
4:03 AM
Oh, I like that idea.
 
it's not as good as i thought, actually
 
Oh … darn!
 
you'd have to figure out some way to compensate for $y=\sin(t)$ not having that phase angle
 
Well, anyway then, I get $x^2 - 2xy + 2y^2 = 1$.
 
though i think there's a rather cute way with linear algebra alone. lemme think a moment
 
4:05 AM
Which is certainly the equation for an ellipse
 
right-o
 
I need to find its area next
Hmmm
 
what you probably need to look for is coordinates $(u,v)$ such that it's the standard form of an ellipse
 
now that is a job for linear algebra
 
right. and it's actually best to work entirely in terms of linear algebra:
 
4:07 AM
That's what I was thinking, Semiclassical. I checked WA and it's not obvious (to me) what the major axis is.
 
I think the major axis is $2$ and the minor axis is $1/2$
I'm open to being wrong though
 
first, note that the equation of a circle $x^2+y^2=1$ can be written in matrix form as $\mathbf{x}^T I_2 \mathbf{x}=1$ where $\mathbf{x}=(x,y)^T$
 
Er, I guess I mean the orientation of the major axis; how much it needs rotated to line up with the $x$- and $y$-axes.
 
Oh, okay.
 
and with $I_2$ being the 2-by-2 identity matrix
then, notice that your shear amounts to replacing $(x,y)\to (x-y,y)$ which can be neatly expressed as a matrix transformation on $\mathbf{x}$.
 
4:10 AM
My shear does $(x, y) \mapsto (x + y, y)$, actually.
 
psh, details :P (yes, woops)
 
It has the matrix $$\begin{pmatrix}{1, 1}, {0, 1}\end{pmatrix}$$
Haha, okay.
Woops that matrix didn't typeset properly....
 
that'll give your equation in the form $\mathbf{x}^T A^T A \mathbf{x}=1$
 
@pjs36: maximize the norm; to do this find where the derivative of the norm squared is zero; this ends up being when $2 \sin(t) = \cos(2t)$
which might be solvable i guess?
 
@MikeMiller $\cos(2t)$ is quadratic in $\sin(t)$, so yeah
 
4:13 AM
oh, fair point
 
Could I also just take the equation $x^2 + 2xy + 2y^2 = 1$, rotate it appropriately to remove the $xy$ term, and then calculate the area of the rotated ellipse that aligns with the axes?
And I mean $x^2 - 2xy + 2y^2 = 1$, woops.
 
What do I look like @MikeMiller, a supercomputer??
I mostly kid, but it's too late for me to function even adequately :)
 
i figured it's hard to be worse at solving equations than i am
 
you can. and what that amounts to is finding a rotation transformation $\mathbf{x}\mapsto R\mathbf{x}$ such that $R^T A^T A R$, the matrix between the two vectors, is diagonal
 
so i shared my progress with all so that someone who knows stuff could finish it
 
4:15 AM
Okay.
Thanks for all the help!
 
How many (aspiring?) mathematicians does it take to rotate an ellipse?
 
There's a joke about eccentricity in there somewhere.
 
ooh
i like that potential joke
 
Bam, solid entrance, @Fargle!
 
^_^
 
4:17 AM
and probably one about eccentric anomaly if one was to push deep enough
oh, just thought of one. what do you call someone who really likes conic sections?
 
How much do they like conic sections? No, I mean, "What?"
 
snerk
 
I prefer "nerds" as the punchline to that one.
 
4:21 AM
Hi @Semiclassical
 
hi @karim
 
do you know of john baez @Semiclassical ?
 
he is really good !
 
he knows a ton, yeah
 
4:26 AM
was reading some of his stuff math.ucr.edu/home/baez
yeah
 
@Karim: have you seen the Visual Insight blog?
 
@Fargle no
 
It's also him, as I recall.
 
awesome !
very neat stuff !
 
Indeed! I've been following it for a year or so now.
 
4:34 AM
that is what I want to do in the future @Fargle mathematical physics
along with pure math
 
A noble pair of pursuits, I'd say, @Karim
 
 
1 hour later…
5:47 AM
thank you @Fargle
 
6:00 AM
0
Q: Argument verification

Karim MansourDetermine all of the accumulation points of the following sets in $R^1$ and decide whether the sets are open or closed or neither. e)All the numbers of the form $2^{-n} + 5^{-m}: (m,n = 1,2,...,n,....) = X$ Claim: The accumulation points are the following $\{\frac{1}{2^n}: n \in \mathbb{N}\} \...

@TedShifrin
 
 
2 hours later…
8:23 AM
@BalarkaSen hello
 
'lo
 
im struggling with that problem of finding a CW structure for a covering space of a CW complex
 
what was that problem, again?
 
let $p:Y\to X$ be a d-fold covering of a CW complex $X$. then $Y$ is also a CW complex and cells project homeomorphically onto cells
 
i guess it should be doable by noting that the only covers of $D^n$ are disjoint copies of $D^n$.
 
8:25 AM
so the idea is to take a n-cell $e^n$ in $X$ with char map $\phi:D^n\to X$
the char. map has d lifts $\psi_1,..,\psi_d:D^n\to Y$
 
right.
 
why do the $\psi_i$'s restrict to homeomorphisms on the interior on $D^n$?
 
Hi all :)
 
no, that's not the correct statement.
 
ok
we want the $\psi_i$'s to be char maps for cells in $Y$ though, right?
 
8:29 AM
you have to prove that the covering $p : Y \to X$ ($Y$ is a CW complex, we have proved) maps interiors of cells in $Y$ homeomorphically onto interiors of cells in $X$.
 
i'm still stuck at the proof that $Y$ is a CW complex.
 
$X$ be a CW-complex.
then you can decompose into cells.
 
lift each of the cells in $Y$. skeletas of $X$ open cover $Y$ (fact).
so you should be able to decompose $Y$ to cells to
 
well
we lift the characteristic maps of cells in $X$
 
8:32 AM
now write down the identifications. you should do fine.
 
why are the lifts characteristic maps?
they need to restrict to homeomorphisms on the interior of $D^n$
 
@iwriteonbananas that's where you write down the identifications.
and there ain't d lifts. lifts are unique :P
 
if it's a d-fold cover, each characteristic map has d lifts. lifts are unique after fixing a base point
 
@iwriteonbananas char maps are maps from the boundary. it doesn't make sense to say they restrict to homeo on $D^n$.
oh, I see.
 
@BalarkaSen no, the attaching map is a map from the boundary. the characteristic map is a map $D^n\to X$
 
8:34 AM
how's it defined?
I don't know what you're talking about.
 
ok, each n-cell $e^n$ of $X$ has a characteristic map $\phi:D^n\to X$ which restricts to a homeomorphism on the interior of $D^n$
$\phi$ restricted to $S^{n-1}$ is called the attaching map
 
oh. hell.
I am thinking of the map with codomain being (n-1) skeleton. gah
of course there is such a map.
 
right, ok.
you can't lift things and claim they are char maps unless you already have a predefined cell structure on $Y$ though
 
so, i dont see yet why the lifts of $\phi$ should be characteristic maps
 
8:37 AM
so that approach is void
 
well, if the lifts restrict to homeomorphisms on the interior of $D^n$, then we just define the n-cells of $Y$ to be the image of the lift
 
you need to use the approach i told you. lift plain old cells, decompose Y into cells, define attaching maps
then char maps should be obvious
 
how do we lift cells? cells are spaces :P
 
preimage
that's what i generally mean by "lift"
 
ok
well, then we need that cells in $X$ lift to $d$ cells in $Y$
im sure they do
 
8:41 AM
yes, they do.
 
and they will have characterstic maps the lifts of the characteristic map of the corresponding cell in $X$
 
yep.
but really, you need attaching maps, not char maps
 
but then we still need to prove that the lifts are actually characteristic maps :P
 
@iwriteonbananas what's to prove? cells lifts to cells. char map maps this cell to Y. interior is mapped to interior of this cell.
it's a corollary of what you said above : cells lifts to cells
 
yeah, but why is that so?
it hasn't been justified yet
 
8:46 AM
why is that what?
 
why do cells lift to cells?
 
shouldn't be hard to sketch out the details. note that only covers of D^n are disjoint union of copies of D^n.
now let D^n in X lifts to something in Y. call it A. restrict your covering to A. that gives you a covering map of D^n.
$\blacksquare$ (almost)
 
@Pholochtairze hi pal :)
 
@BalarkaSen ok, we have a covering map of D^n. what does that imply? (sorry i think im being dumb)
 
every covering map of D^n is disjoint union of copies of D^n, i think i just said it the third time :P A = disjoint union of copies of D^n.
 
8:53 AM
of course
yikes
 
no problem, I have went through that multiple times
(i.e., being dumb, missing the obvious)
 
:P
coffee break, bbl
 
bubye
 
9:39 AM
Later pal.
 
9:57 AM
$$\sum _{k=1}^{\infty } \frac{\Gamma \left(k-\frac{1}{2}\right)}{k^5 \Gamma (k)}$$ $$=-8 \sqrt{\pi } \zeta (3)+4 \sqrt{\pi } \zeta (3) \log (4)+32 \sqrt{\pi }-\frac{4 \pi ^{5/2}}{3}-\frac{\pi ^{9/2}}{20}+\frac{1}{12} \sqrt{\pi } \log ^4(4)-\frac{2}{3} \sqrt{\pi } \log ^3(4)-\frac{1}{6} \pi ^{5/2} \log ^2(4)+4 \sqrt{\pi } \log ^2(4)+\frac{2}{3} \pi ^{5/2} \log (4)-8 \sqrt{\pi } \log (16)$$
 
@Chris'ssistheartist That seems like an unusually "not pretty" answer compared to what you usually have.
 
hey @TobiasKildetoft
 
@BalarkaSen Hi
 
@TobiasKildetoft Wait a second ... :-)
@TobiasKildetoft What is your age if it's not secret?
 
@Chris'ssistheartist 30
 
10:00 AM
@TobiasKildetoft OK, wait ...
 
@TobiasKildetoft The problem of seeing homotopies in $\mathsf{Gal}(k^{alg}/k)$ seems unusually hard.
 
@BalarkaSen Understanding anything about absolute Galois groups is generally hard (though I think it is somewhat easier for finite ground fields)
 
@TobiasKildetoft that series with your age in power of $k$ $$\sum _{k=1}^{ \infty } \frac{ \Gamma \left(k-\frac{1}{2}\right)}{k^{30} \Gamma (k)}$$ $$ =\sqrt{\pi } \, _{31}F_{30}\left(\frac{1}{2},1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1‌​,1,1,1,1;2,2,2,2,2,2,2,2,2,2,2,2,2,2,2,2,2,2,2,2,2,2,2,2,2,2,2,2,2,2;1\right)$$
 
But I don't want to understand an inherited property of the absolute galois group. What I want to do is to see an analogue for something used in defining $\pi_1 X$
 
I can get a nice closed form, but it takes some time.
 
10:08 AM
@Chris'ssistheartist That's ok, I don't really care about random series
 
@TobiasKildetoft There is nothing at random.
 
@Chris'ssistheartist You mean picking my age as a parameter is not random?
 
@TobiasKildetoft Well, I was referring to the generalization.
 
@Chris'ssistheartist You mean that with generic exponent for $k$, that series comes up naturally somewhere?
 
@TobiasKildetoft Yes.
 
10:11 AM
@Chris'ssistheartist Interesting. In what context?
 
@TobiasKildetoft My research, the study of some very tough integrals.
 
@Chris'ssistheartist What general context do those integrals come from?
 
@TobiasKildetoft I wish not to tell more.
 
They don't come from anywhere.
 
@Chris'ssistheartist Of course you don't...
 
10:12 AM
@BalarkaSen : Sorry?
@TobiasKildetoft I don't get your point.
@BalarkaSen I think it's not the first time I told you you should learn some elementary integration before talking anything about my work.
@TobiasKildetoft it's also available for you.
 
@Chris'ssistheartist I think the mathematics I do have nothing to do with all these ad-hoc integrals.
Why should I study these?
 
@BalarkaSen It's up to you to find the reasons for doing something or not. As long as you do, know almost nothing about integration, you sould simply shut up. :-)
 
If you can't give motivation for some weird series you're studying, people will naturally assume there is no motivation, right?
I think my above comment is as close to truth as it gets, thus your violent reactions.
Anyway, I have better things to do than discussing these.
 
@BalarkaSen Well, mathematics, as I said tons of times is an art to me, the mathematics I do. I don't know why you do the mathematics you do, but for me it's pure passion, and the mathematics I do talks profoundly about the mathematics in general.
 
@Chris'ssistheartist My comment alluded to the fact that whenever anyone asks you about any deeper meaning to what you do, that is your response.
2
(that or a comparison to Ramanujan)
 
10:19 AM
@BalarkaSen I'm not in business with mathematics, and I don't care to attend some matehmatics that is so calles mainstream mathematics for being recognized by any community.
My mathematics is the most profound and beautiful ART I ever met. I love what I do very much, although you need some practice application to them I suppose. I'm not into that, I'm on the ART side totally.
 
Your questions I have no idea where they come from......@Chris'ssistheartist
As much as I know....
Integrals are tools which you can use for stuff
 
sigh there we go again.
 
@BalarkaSen Why you do the mathematics you do?
 
Good question^
 
Hey @BalarkaSen how has you day been?
 
10:22 AM
I can explain, but I don't think you'll listen.
pretty much ok, @Remember
 
@BalarkaSen We all love what we do in terms of mathematics, either you like it to accept it or not.
 
Doing covering spaces and Galois stuff?
 
We wouldn't be here every day talking about mathematics. How would do that without being pushed by much passion?
 
@Rememberme yeah.
 
Who can explain love?
Who can explain passion?
My mathematics is about love and passion. Explain that pls. You want other reasons, to become famous in the mainsteam mathematics? Really? Good luck to you!
 
10:25 AM
I am also proving some nice stuffs about connectedness...
Like union of connected sets is connected and I have to think about intersections.....
How do different topologies affect the connectedness of a set and all....@BalarkaSen
 
@Rememberme No, unoin of connected sets is obviously not necessarily connected
 
Sometimes it is ....@TobiasKildetoft
 
@Chris'ssistheartist I don't think I want to become famous. I'd think you do.
 
@Rememberme Sure, but it need not be
 
Union of disjoint connected sets is not connected, for example.
 
10:29 AM
Yes there are some examples as balarka said....
Then I have got new stuff to think of !!
 
@BalarkaSen I wanna become very good, extremely good, and that would be just a consequence of my attitude, way of thinking. I'm a natural lover of mathematics, not a fake lover for interest.
 
user147690
How are you @Rememberme @BalarkaSen
 
Hello @AlexClark
 
Great @AlexClark and hello
Do you like logic @Chris'ssistheartist
 
user147690
What Galois theory are you working on @BalarkaSen?
 
10:31 AM
@AlexClark Galois theory and covering space theory are similar in nature. What I am trying to do is to find an analog for something of the latter in something of the former.
 
Do you like abstract stuff...
Or just computing 'no use' integrals ?
 
How's tropical geometry going?
 
What is tropical geometry.... Never heard ...
 
user147690
@BalarkaSen Poorly. I had non-math things distract me for a week, and everyone seems to have disappeared at the same time. But it seems really interesting, and I am starting to understand the fundamentals.
 
user147690
@BalarkaSen What is the 'something' here?
 
10:33 AM
"something" = "paths and homotopies"
 
user147690
@BalarkaSen Ahh I see, I had a look at some of the first pages of hatcher, so I have some naive notion of homotopy
 
ah, cool.
you've started on alg. top.?
 
nvm... Looked at google...
 
user147690
@BalarkaSen Not really, I was just curious. Remember, my alg top class got destroyed by people bailing on it
 
right. but you said that you'd self-study, thus the speculation
 
user147690
10:36 AM
Ahhh yes, I am still looking at armstrong, and then I will get onto it after that :)
 
nice. where are you in armstrong?
 
People bailing on it ?@AlexClark
 
user147690
@BalarkaSen It's been a week since I looked at it, I'll tell you in a few days when I fill in the pages I skipped xD.
 
hello everyone
 
user147690
@Rememberme Yes, $6$ people were going to do it after person $A$ organised it. He needed $4$ people to be in the class, and he is doing his honours degree for the next two semesters. Then the other people went and organised the course for $3$ semesters from now, and it was just us two, so they essentially screwed him over completely
 
user147690
10:39 AM
Now he may not even be able to take the course...
 
ok, @AlexClark. let me know when you start on paths, homotopies and fundamental groups.
 
I have a easy probability problem that I can't manage to solve by myself. In a population made of 99% A, 1% B. Pick 20 people, what is the probability to have at least 5 of them being B?
 
i can (hopefully) give you some intuition.
 
user147690
@BalarkaSen Is that the point where I can move onto Hatcher?
 
I think Armstrong does them quite well. Hatcher is harder, but it's fine if you want to do Hatcher.
 
10:42 AM
Maybe you can lead me to the good wikipedia page? (obviously it's not homework)
 
user147690
@BalarkaSen I guess there is no harm in doing both
 
user147690
Which is what I usually end up doing
 
ok
I think doing algebraic topology and field/galois theory side-along would be pretty fun (for reasons you'll get to know later)
 
$$\sum _{k=1}^{\infty } \frac{\Gamma \left(k-\frac{1}{2}\right)}{k^{10} \Gamma (k)}$$
$$=1024 \sqrt{\pi }-\frac{128 \pi ^{5/2}}{3}-\frac{8 \pi ^{9/2}}{5}-\frac{79 \pi ^{13/2}}{945}-\frac{2339 \pi ^{17/2}}{453600}-512 \sqrt{\pi } \log (4)+\frac{64}{3} \pi ^{5/2} \log (4)+\frac{4}{5} \pi ^{9/2} \log (4)+\frac{79 \pi ^{13/2} \log (4)}{1890}+\frac{2339 \pi ^{17/2} \log (4)}{907200}+128 \sqrt{\pi } \log ^2(4)-$$
$$\frac{16}{3} \pi ^{5/2} \log ^2(4)-\frac{1}{5} \pi ^{9/2} \log ^2(4)-\frac{79 \pi ^{13/2} \log ^2(4)}{7560}-\frac{64}{3} \sqrt{\pi } \log ^3(4)+\frac{8}{9} \pi ^{5/2} \log ^3(4)+\frac{1}{30} \pi ^{9/2} \log ^3(4)+\frac{79 \pi ^{13/2} \log ^3(4)}{45360}+\frac{8}{3} \sqrt{\pi } \log ^4(4)-\frac{1}{9} \pi ^{5/2} \log ^4(4)-$$
 
@Chris'ssistheartist what is this?
 
10:46 AM
$$\frac{1}{240} \pi ^{9/2} \log ^4(4)-\frac{4}{15} \sqrt{\pi } \log ^5(4)+\frac{1}{90} \pi ^{5/2} \log ^5(4)+\frac{\pi ^{9/2} \log ^5(4)}{2400}+\frac{1}{45} \sqrt{\pi } \log ^6(4)-\frac{\pi ^{5/2} \log ^6(4)}{1080}-\frac{1}{630} \sqrt{\pi } \log ^7(4)+\frac{\pi ^{5/2} \log ^7(4)}{15120}+\frac{\sqrt{\pi } \log ^8(4)}{10080}-$$
$$\frac{\sqrt{\pi } \log ^9(4)}{181440}-256 \sqrt{\pi } \zeta (3)+\frac{32}{3} \pi ^{5/2} \zeta (3)+\frac{2}{5} \pi ^{9/2} \zeta (3)+\frac{79 \pi ^{13/2} \zeta (3)}{3780}+128 \sqrt{\pi } \zeta (3) \log (4)-\frac{16}{3} \pi ^{5/2} \zeta (3) \log (4)-\frac{1}{5} \pi ^{9/2} \zeta (3) \log (4)-$$
$$32 \sqrt{\pi } \zeta (3) \log ^2(4)+\frac{4}{3} \pi ^{5/2} \zeta (3) \log ^2(4)+\frac{1}{20} \pi ^{9/2} \zeta (3) \log ^2(4)+\frac{16}{3} \sqrt{\pi } \zeta (3) \log ^3(4)-\frac{2}{9} \pi ^{5/2} \zeta (3) \log ^3(4)-\frac{2}{3} \sqrt{\pi } \zeta (3) \log ^4(4)+$$
$$\frac{1}{36} \pi ^{5/2} \zeta (3) \log ^4(4)+\frac{1}{15} \sqrt{\pi } \zeta (3) \log ^5(4)-\frac{1}{180} \sqrt{\pi } \zeta (3) \log ^6(4)+32 \sqrt{\pi } \zeta (3)^2-\frac{4}{3} \pi ^{5/2} \zeta (3)^2-16 \sqrt{\pi } \zeta (3)^2 \log (4)+$$
$$\frac{2}{3} \pi ^{5/2} \zeta (3)^2 \log (4)+4 \sqrt{\pi } \zeta (3)^2 \log ^2(4)-\frac{2}{3} \sqrt{\pi } \zeta (3)^2 \log ^3(4)-\frac{8 \sqrt{\pi } \zeta (3)^3}{3}-192 \sqrt{\pi } \zeta (5)+8 \pi ^{5/2} \zeta (5)+\frac{3}{10} \pi ^{9/2} \zeta (5)+$$
$$96 \sqrt{\pi } \zeta (5) \log (4)-4 \pi ^{5/2} \zeta (5) \log (4)-24 \sqrt{\pi } \zeta (5) \log ^2(4)+\pi ^{5/2} \zeta (5) \log ^2(4)+4 \sqrt{\pi } \zeta (5) \log ^3(4)-\frac{1}{2} \sqrt{\pi } \zeta (5) \log ^4(4)+$$
$$48 \sqrt{\pi } \zeta (3) \zeta (5)+6 \pi ^{5/2} \zeta (7)-144 \sqrt{\pi } \zeta (7)-\frac{340 \sqrt{\pi } \zeta (9)}{3}-18 \sqrt{\pi } \zeta (7) \log ^2(4)-24 \sqrt{\pi } \zeta (3) \zeta (5) \log (4)+72 \sqrt{\pi } \zeta (7) \log (4).$$
@BalarkaSen @TobiasKildetoft @Rememberme watch and admire (while you look for better reasons than mine for the mathematics you do)
^^^
 
Why should I admire a page of expressions which contribute nothing to my understanding?
 
This wont help me anywhere @Chris'ssistheartist
 
user147690
@Chris'ssistheartist Looks like computer output
 
I think you're confusing "huge expressions" with "beautiful mathematics"
 
Hi everyone
 
user147690
10:49 AM
Oh... It is computer output...
 
Maths is considered beautiful when you simplify something huge to something short and understandable@Chris'ssistheartist
 
@AlexClark This all can be done with pen and paper, but I only used Mathematica not to spend much time on doing that alone.
 
user147690
Mathematica can do this beautiful mathematics?
 
@AlexClark Not really, but easy finite series since all reduces to some such series.
 
user147690
So this is or isn't beautiful mathematics?
 
10:51 AM
Remember Einstein saying once" if you cant make your stuff understandable to children then your stuff is worthless @Chris'ssistheartist
 
thinks that Alex is on his troll-mode once again
 
I have a easy probability problem, maybe you can point me to the right formula to use?
 
user147690
@BalarkaSen hahaha
 
Sorry pal @Fabinout not good with probability
 
user147690
@Fabinout Haven't done probability since it bored me to sleep 2 years ago
 
10:52 AM
Hahahaha 😂 @AlexClark
 
it's high school level, but I haven't done it in a loooong time
 
@Rememberme It's very easy the stuff I showed you.
 
Same here ....
To you it is ... But for me it is just something I don't require
Would you mind telling how you got this so called beautiful mathematics ( a computer output though) ?
 
@Rememberme Do you think a computer/software nowadays is able to calculate my series above?
Show me which one, I'd like to know.
 
user147690
Reading any textbooks these days @Chris'ssistheartist?
 
10:56 AM
@AlexClark $X$ be a top. space. A path between two points $x_0, x_1 \in X$ is a map $\gamma : [0, 1] \to X$ such that $\gamma(0) = x_0, \gamma(1) = x_1$. $X$ is called path connected if there is a path between any two points in $X$. Example : $\Bbb R^2$ is path-connected, just join any two points with a straightline. Un-example : $\Bbb R - \{0\}$ is not path connected. A path between $1$ and $-1$ must pass through origin.
 
@Chris'ssistheartist omg youtube.com/watch?v=RKmw9oS__MM
 
I'll give you an exercise which builds a connected space which is not path-connected.
 
user147690
@BalarkaSen Sure, thanks
 
@Hippalectryon Niiiiiiiiiiceeeeeeeeeeeeee (+1) :-)
 
@Chris'ssistheartist ugh don't star it though, I don't think it's appropriate on the starboard for the math chatroom :-)
The other ones got removed last time
 
10:58 AM
@Hippalectryon Really?
 
Consider the space $X = \{(x, \sin(1/x)) : x \in (0, 1]\} \cup \{0, 0\}$
 
@Hippalectryon see my series above.
 
This is the graph of $y = \sin(1/x)$ for $x$ running through $(0, 1]$, cup the origin.
It's called the topologists sine curve. Show that it's connected, but not path-connected.
 
user147690
Alright, I'll check it out, thanks
 
10:59 AM
@Chris'ssistheartist O_o ew I suppose that's from Mathematica (after simplifications) ?
 

« first day (1799 days earlier)      last day (3212 days later) »