« first day (1038 days earlier)      last day (4281 days later) » 
00:00 - 07:0007:00 - 00:00

07:01
$$1+\sum_{n=0}^\infty\frac{2^nn!}{(2n+1)!}=\sum_{n=0}^\infty \frac{2^nn!}{(2n)!}$$
$$1=\sum_{n=0}^\infty\frac{x^ny^{\frac{n^2-n}{2}}}{(x^0+y^0)(x^1+y^1)(x^2+y^2)(x^3+y^3)(x^4+y^4)...(x^n+y^n)}$$
$|\frac{x}{y}|>1$
$$\frac{1}{\ln(q)}=\sum_{n=-\infty}^\infty\frac{2^n}{q^{2^n}+1}$$
$|q|>1$
$$\frac{1}{1-q}=\prod_{n=0}^\infty(1+q^{2^n})$$
$|q|>1$
$$80abc(a^2+b^2+c^2)=(a+b+c)^5+(a-b-c)^5-(a+b-c)^5-(a-b+c)^5$$
07:24
Does someone have a reference for me how to get used to pullbacks
pullbacks?
in category theory
sorry can't help lol
@DominicMichaelis Prove the pullback lemma yourself.
@Dominic Are you comfortable with abstract algebra?
07:26
@Lord_Farin which one exacty? I mean more, that I have no feeling how to compute actually the pullback of two morphisms
Good Morning, all ! :-)
Morgunn
@LokiClock I don't know much about it but I like it :)
@DominicMichaelis Hmm... Well, "computing" is only relevant if you have a category at hand, to prove that it exists. Mostly, then, you can rely on the universal property.
@LittleChild A good morning to you.
I was just doing limits by piece-wise and I hit a doubt
07:29
@Lord_Farin I was trying to prove that the only pullback stable epis in hausdorff are the surjections, and my first idea was totally right but i totally messed up what actually is the pullback so I failed ...
@DominicMichaelis In most $\mathsf{Set}$-like categories, the pullback is a subset (in this case, -space) of the product.
@LokiClock You could try proving that the direct product of two groups is the categorical product first. Once you do that, after some though, finding the pullback should be easy.
@DominicMichaelis The last one is for you. I'm sleepy.
I am still a bit surprised about that writelatex.com/217665pqpzpn
The arrows in the first picture are the inclusions arrows
Identity restricted to the domain
@LittleChild $$\int_{0}^1\frac{1}{x^x} \ dx =\sum_{n=1}^\infty\frac{1}{n^n}$$ sophomore's dream
@Lord_Farin Pullback can be constructed using equalizer and product. (This is also mentioned on Wikipedia.) So this is true in any category where equalizers are subsets.
07:35
@Ethan this is an identity that I must know ? :-)
;[
@MartinSleziak I know. But I wasn't sure if I should throw this at @Dominic. :)
@LittleChild no you just need to know how to proof it ;)
I havent started with integration, yet.
I am still doing limits
@LittleChild $$\frac{1}{1-q}=\prod_{n=0}^\infty(1+q^{2^n})$$
|q|<1
07:36
@DominicMichaelis prove* (Sorry, grammar pet peeve.)
@Lord_Farin ah gee I make that mistake again
I thought julien healed me ^^
28 mins ago, by Ethan
$$1=\sum_{n=0}^\infty\frac{x^ny^{\frac{n^2-n}{2}}}{(x^0+y^0)(x^1+y^1)(x^2+y^2)(x^3+y^3)(x^4+y^4)...(x^n+y^n)}$$
wooof woof.. I am not a math major...
thatis not stuff for a math major
$|\frac{x}{y}|>1$
07:37
lol
its baby stuff but still nice
@LittleChild With pride. I've had people call me a "grammar SS officer" :D.
@Ethan Are you testing how long it takes until someone flags you?
@MartinSleziak?
@MartinSleziak Why would he be flagged ?
07:38
Avoid constant and excessive links to Wikipedia and YouTube. These links would often open up and consume quite a lot of the conversation space.
@DominicMichaelis It has to sink in for a bit.
I'm off to bed. Night, everybody!
Don't you think that sending 10 math formulas which have nothing to do with the conversation going on with the chatroom does take a lot of conversation space?
@LittleChild wana see a nice telescoping sum
07:39
But now I know that in Haus only the surjections are pullback stable epis even though there are much more epis in Haus
@LokiClock A good night to you. :)
@Ethan Wanna see a deep programming loop ?
I go some minutes away need to buy something
@LittleChild $$\frac{1}{q+1}=\frac{1}{q-1}-\frac{2}{q^2-1}$$
07:41
I need to go away for a few minutes as I need to buy something @DominicMichaelis
$$\frac{1}{\ln(q)}=\sum_{n=-\infty}^\infty\frac{2^n}{q^{2^n}+1}$$
|q|>1
$$\frac{1}{q-1}=\sum_{n=0}^\infty\frac{2^n}{q^{2^n}+1}$$
I have noooo idea what u are saying :-D
it telescopes
isn't it nice
I only know how to use telescopes to see stars
what?
07:42
I have no idea what those equations u are posting are
do you have latex enabled in chat
Yes yes I do but I have no clue what those equations are
how to solve
or prove
I concede defeat
lol
My turn !
k
show me somthing
$$(a^4-2ab^3)^3+(a^3b+b^4)^3+(2a^3b-b^4)^3=(a^4+ab^3)^3 , \text{ Viete}$$
oh no wait, look at this guy
Jørgen Pedersen Gram (June 27, 1850 – April 29, 1916) was a Danish actuary and mathematician who was born in Nustrup, Duchy of Schleswig, Denmark and died in Copenhagen, Denmark. Important papers of his include On series expansions determined by the methods of least squares, and Investigations of the number of primes less than a given number. The mathematical method that bears his name, the Gram–Schmidt process, was first published in the former paper, in 1883. The Gramian matrix is also named after him. For number theorists his main fame is the series for the Riemann zeta function (t...
Given the XML tree, find:
"was killed by a bicycle" at the bottom of wiki page
who lies on ancestor axis, preceding axis, following axis, descending axis
@Ethan Are we sure it is the bicycle that killed him.
07:46
it says so..
it says he was killed by a bicycle
;d
He died after being struck by a bicycle
Well, it says at some point after being struck by a bicycle he died.
It was a high speed bicycle
he was attacked by a vicious bicycle
He came to the wrong neighborhood, Mo*******r
what
i don't like it
LoL !
@Ethan You good with limits ?
Ethan, I asked u something :-/
@LittleChild define good
Being able to clarify basic doubts = good
limits is kinda vague
07:51
limits involving absolute values and being solved with piecewise functions articulate ?
heya
would you stop posting random equations ?
Never Mind. Apologies.
@amWhy u there ?
@LittleChild For someone criticizing Dominic on his English, that's a liability to hypocrisy...
hi guys i need some referenceabout mathematical modeling of physical phenomenons such as wave, shocks and diffusion equation
uh ??
I thought everyone was just having fun. No offense. :-/
07:57
@Lord_Farin yo
@LittleChild I misunderstood your earlier comment, then. A drawback of text-only communication. Let us return to, cq. continue, having fun. :D
This place is so much more hostile than StackOverflow, man !
@LittleChild Do you mean the main site?
No, the programming site. S.O.
main site is S.E.
StackExchange
I was asking about "[t]his place".
07:59
Any ways, I am out. Apologies if I hurt anybody's feelings --- unintentionally.
Especially @DominicMichaelis .
@LittleChild Oh, you surely didn't. Dominic doesn't mind some criticism on his English; he likes to learn.
No worries. :)
Oh, and goodbye!
08:13
I'm leaving, there's a lot of other stuff to do.
Bye all.
@LittleChild Oh you didn't hurt me :) As Lord_Farin says I want to improve me english :)
09:04
huhu
 
1 hour later…
10:10
Hey there, i have a simple model-theory related question:
Are $\aleph_0$-categorical theories $\omega$-stable?
10:32
Does anybody know what exactly the motivation for a renormalized solution of a pde is?
11:02
Hello if X and Y are normal distribution and T=2X-Y-1 and E[X]=E[Y]=1 and Var(X)=var(Y)=4, what is Var(T)?
E[T]=E[2X-Y-1]=2-1-1=0
 
1 hour later…
12:06
@skullpatrol: yes?
@skullpatrol I don't know. I think that most of what might be said there has been said. I don't see anything positive coming of it.
I could be wrong
@robjohn do you keep in touch with tb?
@skullpatrol I haven't heard from him in a while.
@skullpatrol I haven't tried to contact him since I imagine he doesn't want to be distracted from work by MSE people or affairs.
@robjohn Yes, MSE can become a major "distraction" if you let it >8(
...a bit sad though because he was one of the great ones on chat.
12:24
@skull I just dropped by to give your message a star.
@Lord_Farin Thank you kind sir :D
@skullpatrol :)
Now, back to my thesis already. Bye.
12:39
Anyone able to help with: bit.ly/14EJ4y5 ? I'm confused about why we are allowed to factor a 4! and such
Hello Lord_Farin
13:06
@blob Answered. :)
(If you want to ensure that I see your writing, you need to precede my username with an @, i.e. @Lord_Farin.)
13:42
Greetings
sup Chris
anyone want to hear something ridicolous ?
In Germany there are for most nouns a female and a male form, the female form is indicated most time with a in at the end, for example a male teacher is "Lehrer" and a female teacher is "Lehrerin"
And as a result of gender equality they introduced in the university of leipzig the rule that a male professor must be called as "Herr Professorin"
2
14:04
@DominicMichaelis I'm having trouble restraining my rage.
^
I'm not sure why I am not understanding this problem. Ruddy brain
Herr is like mister
so it is essentially like calling you mister misses teacher
These purportedly enlightened perpetrators of counterintuitive, etymologically absurd constructs, presented as the pinnacle of the unquestionable utopian dream of gender equality, should be forced to objectively assess their proposals from a detached viewpoint, as well as open their eyes (literally!) to the fact that men and women are not equal.
(Neither gender is intrinsically better than the other, but that's completely different from being equal.)
(Caution: Pet peeve at work.)
It's a poset :D
It's ideals losing contact with reality.
deep sigh Ah, that brought some relief.
14:42
@skullpatrol Yeah, it would be nice to see him here again.
14:53
Hi.
Is there a neat way to calculate $\arg(z+i)$? The cosine law's really messy.
 
1 hour later…
16:11
i got a proposition with a pretty long proof (about 2 pages)
should I mention before stating the proposition what it is good for or after the proof ?
Before would be better.... It would allow the reader to decide whether to read the complete the proposition or not...
It's for a seminar, they could only decide whether they want to listen to or not D:
Yes! People can sleep if they want to. :P
17:07
@DominicMichaelis motivation and context help people to understand what you are saying, so I would preface the proof with as much motivation and context as you can.
17:42
Hi guys. I'm curious why the graph of x^n only has an imaginary component if n is a non-integer-aka 4.1 instead of 4.
17:53
hey
guys
can someone explain me what 5:1 ratio means for 85% of data?
context?
wait
Calculating storage space for ariel can be a bit tricky. By default we do NOT compress data until we hit 85% usage on /store/, and after that, we only compress the oldest data, as needed, to get usage back down to 85%. Since ariel data can compress on average to 20% of total (5:1 compression), while your system may say 85%, if no data is compressed, you may be only using 20% of your actual storage, based on no data being compressed.
Well, I believe that 5:1 compression for 85% data = 85*0.2=17% of memory. Is that what you were wanting?
18:11
close
thanks thanks for the maths
@JoeHobbit
you are welcome Saladin
19:05
Just an fyi... I'm deleting my account, so don't expect me around.
Thanks for the info pal.
Or not... hmmm. I'm getting a "page doesn't exist" when I click submit.
:\
Whatever... If a mod sees this, could they delete the account, or is that beyond the mod's power now?
MJD
MJD
Usually I try to avoid getting into crackpot arguments with cranks, but this time I did not see it coming until I was already waist-deep.
0
Q: Rationals and irrationals on the real number line

Daniel MargolisCould you prove that there is a rational between every irrational on R?

@robjohn The submit account deletion page is giving me a page-not-found error... just an fyi.
19:24
@MJD, I would just delete my answer. I do the same on Meta if things get unmanageable with an answer i put. At the end of the day, points are worth less than piece of mind.
Well. I don't know of any way to search by self-deleted items on Main, but I have done that from time to time just because keeping my answer there would have kept alive some argument I did not enjoy
MJD
MJD
Yes, it's unfortunate that there's no way to find deleted answers, even one's own.
I think I can get out of this without deleting my answer. The points aren't important, but I like the exposition in this one.
@MJD, well, give it a try, self-deleting I mean. There is a new answer there by someone who had enough time to read your exchange with the OP and has chosen to get involved.
Alright, no deletion...One thing I do is make something favorite if I might have trouble finding it later. I also take screen captures, which is my best way of sharing (by email) with anyone below 10K. From time to time, I go through my favorites list and trim items that no longer seem important.
Note that MO has a very easy search for deleted items for 10K, that may be disappearing with MO 2.0 as it migrates here. i ho
MJD
MJD
19:39
I tried to get around the invisibility of deleted items by going through the data.stackexchange query system, but I was unsuccessful.
I'm not sure where i asked about it, but I was told that search of deleted items was restricted across the board on all stackexchange sites a year or two ago.
I vaguely remember something like that too.
Something like it becomes the property of stackexchange...
...not sure though.
The principal guy I was checking on eventually quit on his own accord. He would post a question on MO for a few hours, self delete, post another disguised version of the thing a fw days later. I saved about 55 screen captures, and the conjecture(in matrix inequalities) about which he was trying to cheat was eventually identified. He put plenty of stuff here on MSE as well, but harder for me to monitor. We think he stopped because he finished his Ph.D. and began doing whatever came next.
Like teaching?
>8(
19:55
He put a couple of questions on MO about career advice, CV's and applications and the like. So, he did expect to stay in academia, and that may have worked out. He's just a cheat from day one, with a dozen different identities online and so on.
Could anyone check my "linear transformation in different bases" question?
20:35
@anorton you want to delete your account?
@anorton If you are certain that is what you want to do (you are aware of the repercussions to others, I am sure), then you should use the page when it is fixed. I might be able to delete your account, but with people who have been around a while, the community team likes to handle it so that they can reduce the effect it will have.
21:04
@robjohn can $\int_{-\infty}^\infty \frac{\sin(ax)}{x\Gamma(x+1)\Gamma(b-x)}\,dx$ be evaluated with contour integration? (N.B. when $a=\pi$, the integral equals $\frac{\pi}{\Gamma(b)}$, which is $\pi$ times the residue at $0$ when $\sin(\pi x)$ becomes $\exp(i\pi x)$)
@Argon $1/\Gamma(z)$ is entire, but it blows up at $\infty$ for large imaginary parts.
@robjohn Both positive and negative?
@Argon It's real on the real axis, so $\Gamma(\bar{z})=\overline{\Gamma(z)}$
@robjohn Ah, okay. Thanks
Contour integration does not work well with integrals of gamma functions, I've found. The gamma function (and its reciprocal) goes all over the place
@Argon Unfortunately, in most cases, that's true.
22:00
@anon Ze baws is in da haus.
:/
Can congruences affect exponents in the same sense it can multiplication? For example $11 \equiv 1 \pmod{10}$, could you say $a^{11} \equiv a^1 \pmod{10}$?
@AlanH No, that is not true.
Are there any cases where exponents can be manipulated in congruent equations?
@AlanH Not quite no, there is something called eulers theorem, which gives you ways of reducing exponents modularly, but it doesn't work in quite that way
22:07
@AlanH There are a few theorems, like Fermat's and Euler's.
In number theory, Euler's theorem (also known as the Fermat–Euler theorem or Euler's totient theorem) states that if n and a are coprime positive integers, then :a^{\varphi (n)} \equiv 1 \pmod{n} where φ(n) is Euler's totient function. (The notation is explained in the article Modular arithmetic.) In 1736, Euler published his proof of Fermat's little theorem,See: * Leonard Euler (presented: August 2, 1736 ; published: 1741) [http://books.google.com/books?id=-ssVAAAAYAAJ&pg=RA1-PA141#v=onepage&q&f=false "Theorematum quorundam ad numeros primos spectantium demonstratio"] (A proof of cer...
Euler's is a generalization of fermat's, right?
So in your case as $\phi(10) = 4$ we can say that $a^11 = (a^4)^2 a^3 = 1^2 a^3 = a^3$
If $a\equiv b\bmod\phi(n)$ then $x^a\equiv x^b\bmod n$ whenever $(x,n)=1$.
@AlanH Yes.
22:09
@AlexJBest Ahh. I see. Thanks
@AlanH Assuming (as anon says) that $a$ and 10 are coprime.
Also that first bit should be $a^{11}$...
23:00
Hey guys I have an idea.
Hey guys I have an idea.
Let's make a mathematical model of the recent college shootings based on geographical location, and then draw up some probabilistic and statistical models to determine when and where the next college shooting will happen.
Just like in one of the Numb3rs episodes when they predicted when and where the next event happens
I'm sorry
@PeterTamaroff Can you help me
@GustavoBandeira hey can we talk in another chat room for a second
@Ethan Yep.
can you invite me or somthing
Yep.
@Ethan Done.
00:00 - 07:0007:00 - 00:00

« first day (1038 days earlier)      last day (4281 days later) »