« first day (1365 days earlier)      last day (3952 days later) » 

r9m
r9m
18:00
@robjohn that is true .. but I thought we were condensing the sum between $\left(2n-\frac12\right)\pi$ and $\left(2n+\frac32\right)\pi$ .. its $<0$ coz there are less $H_k$'s between $\left(2n-\frac12\right)\pi$ and $\left(2n+\frac12\right)\pi$ than there are between $\left(2n+\frac12\right)\pi$ and $\left(2n+\frac32\right)\pi$, so the later part sweeps more area under the curve $\cos x$ than in the previous interval ..
@r9m So serious :(
@meer2kat Wow :-O
@skullpatrol I know right?
@meer2kat Leave to chemistry to come up with something like that...
@skullpatrol of course
18:03
hi @TRiG
how's onometry?
longest german word
Donaudampfschiffahrtselektrizitätenhauptbetriebswerkbauunterbeamtengesellschaft
the association for subordinate officials of the head office management of the Danube steamboat electrical services
@meer2kat what is the shortest English sentence? (no googling please)
@skullpatrol modern or any?
O.
or rather.... O!
well
18:09
that's not considered a sentence
technically that is an exclamation, not a full sentence
hmmmmm
I want a sentence.
I am.
?
18:10
Nope.
r9m
r9m
@skullpatrol is that it ?
^ correct
cheers
want a mind blower?
@skullpatrol But noughtsandcrosses is much shorter than go.
18:12
this is a correct sentence:
Buffalo buffalo Buffalo buffalo buffalo buffalo Buffalo buffalo
The meaning becomes even clearer when synonyms are used: "Buffalo bison that other Buffalo bison bully, themselves bully Buffalo bison."
@DanielFischer True :-)
@meer2kat mind blown
It also can mean "The bison from Buffalo, confuse other bison from Buffalo who confuse the bison from Buffalo."
@skullpatrol i'm fairly impressed with it's existence
@meer2kat what word has the most definitions
(no googling)
@skullpatrol hmmmmm.... the
18:15
hmmmm.... run
have
used in math a lot too...
no
^correct
18:16
yayyyy
what is the longest verb?
what's a verb?
what do you mean??
just kidding :D
18:17
lol!
take the longest word and add -ing?
no
lol
titin protiening
you won't be able to get it. too complicate
that's a noun
floccinaucinihilipilificate
18:20
@meer2kat Wrong. It is "stoooooooooooooooooooooooooooooooooooooooooooooop".
@PedroTamaroff lol!
@eXtremiity hahaha you'll get the hang of it
what kind did you get?
@r9m no, I am showing that the partial sums do not converge. They go up by about 2 then drop by about 2.
@robjohn Did you see the $\sin(n!\pi^2)$ question?
@AlexanderGruber Hay there.
@PedroTamaroff No.. where?
18:23
hyo @Pedro
does anyone here have colored tattoos?
@PedroTamaroff has Mariano decided to not come here anymore?
@skullpatrol I don't know, I guess not.
i'm on a bus going to Ohio. the internet on a bus. it's the future.
18:24
He told me he was busy.
@AlexanderGruber you are super awesome
@meer2kat you know it
r9m
r9m
@robjohn but does it ensure that the partial sums are bounded ?
@r9m No, but there is another argument that they should not be. If they are, then another series that does not converge would converge
@AlexanderGruber I do like random strings of messages though. Just sayin
r9m
r9m
18:28
@robjohn which one ?
@meer2kat Sure, just don't star them!
@PedroTamaroff but...but.... LOL yeah i know
@meer2kat who doesn't?
@AlexanderGruber the stars are just...so...shiny. i want them all glowing and happy
@r9m well, if the partial sums are bounded, then $\sum\frac{\cos(H_k)}{(k+1)H_k}$ would converge.
@r9m which diverges for the same reason.
18:33
@meer2kat only my modstars are glowy and happy. the others are black and full of misery. you wouldn't want to do that to some poor string of random messages would you?
@meer2kat only my modstars are glowy and happy. the others are black and full of misery. you wouldn't want to do that to some poor string of random messages would you?
@AlexanderGruber that's so depressing :(
@meer2kat exactly. it is a somber PSA
@AlexanderGruber tears up poor miserable stars
if i star them all...they'll be yellow and happy.......
@meer2kat starring the stars would be pretty meta
@AlexanderGruber truth is i'm a honey badger. i don't give a....crap.
18:43
@AlexanderGruber What, by the way, is a PSA? Problem Statement Announcement?
daniel!
r9m
r9m
@robjohn we started with assuming $\sum\frac{\sin(H_k)}{k H_k}$ converges, then showed it means $\sum\frac{\cos(H_k)}{(k+1)}$ should converge .. if the later converges then $\sum\frac{\cos(H_k)}{(k+1) H_k}$ converges .. how do we show this one diverges ?
@DanielFischer public service announcement.
Ah, $1/3$ right.
@meer2kat do you eat nests of bees
18:48
@AlexanderGruber yes and i'm a houdini (check out the BBC honey badger houdini clip on youtube; he's one smart cookie)
@alex ....then why were matches ever invented?????
19:10
@AlexanderGruber Do you recall anything of Deck transformations?
Does Categories for the Working Mathematician talk about any algebraic geometry?
I'm trying to decide whether I should read it before my algebraic geometry sequence or after it.
@MickLH By the way, after two days, I finally got rid of my migraine.
I guess it should probably go before.
If anyone has comments on my reading list (books I should remove, books I should add, books I should change the order of) I'd highly appreciate it: pastebin.com/xZews1wM
(The Algebraic Geometry section is currently empty because I haven't quite decided what to do there)
Maybe the Homological Algebra stuff should also go before it, actually.
Ram
Ram
@DariusJahandarie, nope. But AG uses good amount of category theory. So its not a bad idea to read it.
19:25
Yeah, indeed. It does seem to make more sense that way around.
Ram
Ram
Is cup product pairing induced my some map commutative?
20:01
@meer2kat intense, congrats
@r9m follow the same argument we used for $\sum\frac{\sin(H_k)}{kH_k}$
@r9m they are essentially the same series
r9m
r9m
@robjohn but then they pose no contradiction at all .. we need to show one of them diverges .. the argument kinda becomes circular
@r9m what do you mean. I showed that if $\sum\frac{\sin(H_k)}{kH_k}$ converges, then $\sum\frac{\cos(H_k)}{k+1}$ converges, but it doesn't. Then we considered whether $\sum\frac{\cos(H_k)}{k+1}$ was even bounded, and I then said if it were, then $\sum\frac{\cos(H_k)}{(k+1)H_k}$ would converge, but that is the same as $\sum\frac{\sin(H_k)}{kH_k}$ converging, so we can't have that $\sum\frac{\cos(H_k)}{k+1}$ is bounded.
@PedroTamaroff sorry... I didn't mean to delete your comment :-(
20:19
@robjohn </3
@PedroTamaroff sorry about that. Unfortunately, I cannot undelete it.
r9m
r9m
@robjohn aha ! :) .. now I think I finally get it .. thanks a ton :)
@robjohn whats that (removed) ping ?
@r9m the comment I deleted? something that I thought was related, but turned out not to be.
r9m
r9m
@robjohn okay
20:41
@FernandoMartin You a Blonde Redhead fan?
20:51
Not very big on them, but I like them
21:17
A nice question I just saw on main - math.stackexchange.com/questions/776182/…
I'm glad the OP found the answer since it's an elementary question.
21:43
@FernandoMartin >fmartin
>not a music nazi
@AlexYoucis Hello there.
Ain't got no lovin' here
I like it that way
@FernandoMartin So, will you take about completions in the final too?
@PedroTamaroff There is only one song with that title: youtube.com/watch?v=WcF8Aos4XDA
It will be boring, errbudy talkin bout completions.
@AlexYoucis Daniel beat you to it.
21:49
I have no clue, july is still 2 months ahead
The other stuff sounds dull though
@PedroTamaroff Different song. I tagged the wrong person.
@FernandoMartin Fitting ideals?
yep
based on the stuff she said it didn't sound very interesting
@FernandoMartin It was about syzygies.
topology > *
21:52
What does * mean?
everything
@FernandoMartin lol
That stuff is way too deep IMO
(the textbook you linked)
@FernandoMartin Yes, I know.
It is a "second course".
@FernandoMartin Thought so.
Not agreeing.
@PedroTamaroff Step 1: learn what a scheme is :)
21:54
That's ok
@AlexYoucis Do you like group theory or number theory?
@PedroTamaroff There were times in my life I thought I wanted to do one or the other :)
@AlexYoucis And what do you enjoy now?
@PedroTamaroff Algebraic geometry/number theory.
and complex geometry.
Cool.
My interests and @Fernando's are quite different. =)
22:00
@PedroTamaroff But, as I said, like probably every passionate undergrad, my interests changed a lot.
He likes topology?
I thought you liked topology
I don't think I will be a topologist though
@FernandoMartin I like topology, but I don't think is it da best. At the moment, as see it as a tool for other stuff.
:15266264 The LHS is nonsense.
@Pedro: What's da best?
Well, not nonsense.
@FernandoMartin What type of topology do you like?
22:01
Just constant.
@FernandoMartin I don't know yet.
@AlexYoucis: just the little bit I know
@FernandoMartin Which branch, I mean.
@Pedro: but so far, I'd say you'd say group theory is
@FernandoMartin Well, it is vewy interesting.
HOLY SHIT.
I know, I would say algebraic topology but I would be lying since I just know a tiny tiny $\varepsilon$ of it
22:02
I have to return Hall's book.
But tomorrow the uni is megaclosed.
And also on friday.
SIGH.
The ideas are really nice though.
@FernandoMartin Algebraic topology is super cool. The modern methods are kind of gross though.
modern methods being?
spectral sequences?
I find algebra very interesting as well
@FernandoMartin lol, no. Spectral sequences were developed in the 40's, and are pivotal wherever homological is (e.g. algebraic geometry and complex geometry). Everything now is super combinatorial/categorical, e.g. operads.
monads
Ok, just goes to show how much I know about the state of the art :)
22:04
@seaturtles Hey there, stranger.
hey there ranger
@FernandoMartin This homotopical algebra stuff though, does seem somewhat interesting. I wish I knew more things about stuff like ring spectra.
No one thought Billy would turn into a badass power ranger with his glasses and jean overalls.
But he did.
@FernandoMartin You should watch some of these talks, you might find them interesting: msri.org/summer_schools/695
22:08
Thanks for the link @AlexYoucis
@FernandoMartin No problem.
hmmm, I must say it sounds a bit 2deep4me
hi @Alex @Fernando @Pedro
@TedShifrin Hey.
@FernandoMartin What does?
Gave my first final today, @Pedro
22:09
Most of those titles
Hi @Ted
@TedShifrin Algebraic topology fan?
@TedShifrin And?
@FernandoMartin That's kind of the point--see what's out there :)
Some of them were smiling at me, but we'll see, @Pedro ... some proofs and integral/form computations, plus linear algebra with change of basis and eigenvectors, etc.
@Alex, depends on the topology
@TedShifrin Haha, homotopy theory.
22:10
hmm, probably not within my knowledge, @Alex
@TedShifrin Giving a talk in a little bit, on GAGA. I'm sure you're into that :)
in my youth I was
wow, @DanielF and @seat lurking
@TedShifrin Who's lurking?
you and the chair
you, of course ... precisely @anon
that normal families argument was more subtle, @DanielF ... glad you saved me from coming up with it
22:14
It was, in fact, more subtle than I thought at first.
yes, so I saw ... I assigned some problems like that when I taught graduate complex, but, in all honesty, I'm rusty on it now
I saw you resisted the kid who is trying to do basic stuff with Lebesgue integrals, but seems to know only Riemann integral techniques
I'm not sure what you refer to, @Ted. Hint?
I refer to this
ha ha ... anticipated your query
@TedShifrin curl grad, div curl... and all that.
Yeah, @Pedro, but this kid doesn't understand what a partial derivative is.
22:17
@TedShifrin The answer is left to the interested reader.
I gave my kids on the final today a question that was: Compute $\int_C \omega$, where $\omega=df$ and $C$ is a path joining any two points on the surface $f=5$.
@TedShifrin $f$ is a function where?
$f\colon\Bbb R^3\to\Bbb R$, if you insist.
Any Rube-Goldberg solutions?
I haven't graded yet, @DanielF, but I hadn't phrased any question just like that all semester, so it'll be interesting to see.
22:20
@TedShifrin You meant it is irrelephant?
No hippos involved, @Pedro
@PedroTamaroff irrmammoth.
um, no @DanielF
@DanielFischer Given Ted's age...? =)
removes @Pedro from list of friends and disinvites him
22:21
@TedShifrin </3
Just kidding. My father is older than you! =D
What's your point?
I don't know.
I just hope you didn't take offense.
You'll have to make it up to me.
@TedShifrin OK. What with?
OK, time to go cook dinner and ... sigh ... grade some finals
You'll have to work on your apology, @Pedro ...
22:24
@TedShifrin Hmm... OK.
Just don't try to cook dinner in apology, @Pedro... your cooking might offend him more
@Mike My cooking is decent.
22:47
damn i just failed 2 of my math exams :(
@user127001 What kind of exams?
calculus and probability
i failed 1 algebra exam last time too
so i failed 3 tests so far
Notation.. UGH.
@user127001 Is this a course?
23:08
@Pedro a calculus course, a probability course, and an algebra course
23:29
@seaturtles What have you been studying lately?
nothing
Busy with other stuff?
OK, you're free to share if you want! =)
@seaturtles (I am always curious to know about people I look up to in some mathematical fields...)
But then again, I know you don't like chitchat much.
@PedroTamaroff thanks
currently front-desking at work
23:39
@seaturtles you work at services?
I work in a computer lab
What's that?
@ccorn $\{a\in R|a^mx\in Q\;{\rm some}\;m\}$ is $\sqrt{(Q:x)}$ yes? Here $Q$ is an $R$-module, $x\in Q$.
@PedroTamaroff it's a large room filled with computers for people to come in and use
@seaturtles Ah. We call it a cyber-cafe here. =D
even in a school, when the computers are set up to only do mylabsplus.com?
23:54
@seaturtles Oh, no. I was thinking about a public place.
@seaturtles I followed through Wedderburn's theorem that a finite division ring is a field the other day.
I didn't know the proof was so simple.
It is really ingenious though.
something about the center and group actions
the one in The Book?
@seaturtles You take $F=Z(D)$ and look at $D$ has a vector space over $F$; then do some calculations with cyclotomic polynomials, the class equation in $D^\times$ and so on.
If $\dim_F D=n>1$, and $|F|=q$, one gets that $$q-1\geqslant |\Phi_n(q)|$$ which cannot be.
I still have to learn about the "big" Wedderburn theorem.
artin-wedderburn?

« first day (1365 days earlier)      last day (3952 days later) »