« first day (593 days earlier)      last day (4723 days later) » 

20:00
Thanks, @KannappanSampath :)
Expectation is a linear operator.
@MattN What I meant by "drinking alone" was being alone while you drink.
Hey Kannappan
No, short forms are allowed. : ) blushes
20:02
Hi @tb
@robjohn: I saw you're capped and I saw that you got a strange downvote... Now I'm crossing my fingers for an accept for you :) I want that you're officially trusted
Hi Skullpatrol
@tb The binomial question has a decent chance of getting accepted.
I think so, too.
Teddy bear is early! Ello : )
@robjohn I was thinking about going for a cap, too. But my head is killing me right now :/
20:06
I scratched my head for quite a while to make sure that what I was saying in the dice rolling problem was correct. If something is wrong, I would like to know rather than keep on thinking something erroneous.
I have to go in a bit for a periodic check up. My wife and I call the lab where they draw blood samples, the Vampire Room. I will probably have to visit there today.
@robjohn That's a kind of scary, given that I have unusual fear for sharp objects.
@tb Hangover? : /
@MattN No, not at all.
@tb It appears Relativity did have something to do with the acceptance of this question, but in my opinion it is not a good question
Genuine headache.
20:10
Have you taken something against it?
@KannappanSampath I'm not scared at all, other than the fact that my veins are kind of hard to find, and so the techs sometimes leave me quite bruised.
Like paracetamol for example.
Is it the case that $D(B \mid A > 0) = E(B - E(B) \mid A > 0) = E(B^2 | A > 0) - E^2(B | A > 0)$?
@Skullpatrol It is an awful question and I still think that arguing with relativity is shooting with sparrows at cannons. Oh, no, the other way round. The problem is much more fundamental.
@Skullpatrol I think it is a fine question. They are asking whether there is any a priori unit of measure that makes sense.
20:11
Let me rephrase: awfully phrased question.
I had to read at least three times to figure out what on earth this question was supposed to be about.
Duel!! between rob and tb
I think not!
gentlemen choose your weapons @robjohn @tb
Ok, so what is the proper way to define conditional dispersion?
They were both saying the same thing, but emphasizing different key points.
20:13
@tb I have noticed that whisky helps against headaches.
@MattN I had four Aspirins and one usually does the job, but apparently not today. Only a good night's sleep will help.
Or maybe that is only against alcohol-induced ones.
@KannappanSampath can you help me with another statistical equation, please?
@JonasTeuwen probably your head is aching all the time so that the absent ache feels like ache or something like that :)
20:14
@Skullpatrol for what?
Hm... Yes.
@Skullpatrol oh
@robjohn he wants us to duel.
@tb I'm going to lose blood today, one way or another.
@Daniil Statistics, I am lost. Is it more on the probability side of it?
20:15
Please, please allow me to decide who the winner is @robjohn @tb
There will be no duel and thus nothing to decide.
Yeah, @KannappanSampath, Is it the case that $D(B∣A>0)=E(B−E(B)∣A>0)=E(B^2|A>0)−E^2(B|A>0)$?
@Daniil I think you're missing a square in what follows after the second inequality....
Second inequality?
Ah, sorry, I mean equality...
20:19
By $E^2(\dots)$ I mean $(E(\dots))^2$
So, what square I am missing?
$E((B-E(B))^2 \mid A \gt 0)$
I really need to be doing CA. Bye. Otherwise, it looks good to me, but not sure...
Ah, right. Thank you very much @KannappanSampath!
Well, the second part of the Solovay model went pretty okay.
Howdy, @AsafKaragila !
What's up?
20:23
@tb Oh no : (
What was the thing that I missed?
Anything important?
: )
No, nothing important.
Aspirin usually has no effect on my headaches. Also, 4 aspirins seems like too much to ask from a stomach that's already being mistreated by coffee and whatnot.
</lecture>
Ho do you properly post links in the chat?
@Daniil [link text](http://...)
@tb thanks
20:28
Seen it before. I think some people don't see that some other people understand so nothing about something that they don't even know what to try.
so they've tried nothing because they're lost
Yep.
@tb Cool!!
@MattN but why do they try in the first place?
No, not at all.
Can you elaborate on that question? Or is it a rhetorical one?
20:34
I ask what your point is.
@Skullpatrol In addition to stop spamming trivialities, could you also stop trolling? Thanks. Anyway, trolling is not bad, but you're not particularly good at it and this is not the place to practice.
3
My point is that when you don't know much maths a question can be just gibberish. Meaning that you haven't got a clue what to do. Not because it's difficult but because you haven't done any maths so you don't know that all you need to do is
1. look up the words you don't know
2. mentally write down all assumptions
3. apply the theorems from the lecture (if it's homework)
I bet you have no idea what it feels like, not knowing how to think.
@JonasTeuwen Be careful, Jonas, he might file a complaint against you to a diamond administrator and ask what can be done to overthrow you from the chat.
Hmm...
I asked it politely 8-).
20:37
;-)
@JonasTeuwen Yes, but I reckon he can still sense that you openly "accused" him of being a troll.
Imagine you have to move to China into some cow village in the middle of nowhere and you know zero Chinese. Then at first all the squiggles look like gibberish.
Until you get an idea of how it works and start to spot patterns.
Crap. I don't like alcohol. I can't stand people who talk too much. </monologue>
Argh. Why did Tarski have to publish in French journals?!
@MattN You're quite entertaining. Please continue drinking.
Didn't he know that 80+ years later I will have to read through his stuff and that my French is nonexistent?!
20:42
Just take a dictionary, you will be able to read it.
@AsafKaragila He knew, but he wanted to give you a run. :P
The Runs?
Runes of Power?
@MattN Yes, so? You're confronted with a task and it takes some social skills and some minimal intelligence to be able to solve the problem. That's all what that link is saying. I still don't understand.
@tb Never mind.
So, anyone here speaks some French and wants to help me overview some set theory from 90 years ago?
@JonasTeuwen I like theo@meal :)
@AsafKaragila gimme the link.
Well, first I will have to find it.
Then give me the reference.
Tarski, "Sur les ensembles finis", Fund. Math. 6, 45-95
20:45
@JonasTeuwen Is that you? : D
@JonasTeuwen Thank you Jonas for the advice/guidance, I apologize if I have offended you in anyway. Please feel free to correct me in the future.
Yeah, it's fine. We ain't gonna need all those 50 pages :-D
Wow. You're a fast learner. That is some quality trolling there.
Why do you need 90-year-old set theory?
@MattN Yes.
20:46
@AsafKaragila here
Bless you, Mr. Librarian.
@ZhenLin Why do freshmen need 300 year old calculus?
Yes, but you already know this stuff, surely? :p
@JonasTeuwen Cheers! This cider smells like apples.
Well, yes. However I want to get to the bottom of some definition and an equivalence of it with another definition.
Bye folks. I am signing of for the day. :-)
20:49
Night Kannappan!
@MattN okay. Sometimes I like to play dumb. I got your meaning, but I rather strongly disagree with it. One can be completely lost and still ask reasonable questions. That's no excuse for copy-pasting numerous homework questions (or selling the hints you got as your thoughts).
@AsafKaragila what do you need?
@tb I'm reviewing the long paper, give me a minute to see if I can find the reference on my own (and then I'll just need a very local translation), otherwise we'll see what goes where.
sure.
@tb Yes, selling other people's thoughts as your own isn't right. I don't want to argue with you.
@MattN Nice.
@Skullpatrol Very good!
20:53
@tb Essentially I am looking for the definition of T-finite, but as T stands for Tarski I would doubt he used that terminology in the paper.
@MattN I still don't buy this language analogy. I would simply tell you that you're asking the wrong person and I wouldn't pretend I knew the least thing about it. Okay, let's stop.
@Henning: Hi.
Shh... I'm not here. Just here to star "J. M. is back".
@HenningMakholm : )
Do we all agree with this definition?
[[File:Trollface.svg|thumb|right|200px|The "trollface", first appearing in 2008, is often used to indicate trolling in contemporary internet culture. Modern usage of the word itself dates from 1980s.]] In Internet slang, a troll is someone who posts inflammatory, , or off-topic messages in an online community, such as an online discussion forum, chat room, or blog, with the primary intent of provoking readers into an emotional response or of otherwise disrupting normal on-topic discussion. The noun troll may refer to the provocative message itself, as in: "That was an excellent troll yo...
@HenningMakholm Hi! Are you interested in participating in cs.stackexchange.com?
I am asking you, since you are a computer scientist.
BTW this is my way to try and stop t.b. and Matt
We had already stopped.
@AsafKaragila If Definition 5 here is what you call T-finite, then it's given as definition 3 in Tarski's work.
21:04
@tb Then I had missed it big time! :-D
@tb Do you have Jech's "The Axiom of Choice" available?
I'll post something now so your gravatars can be beside each other, remember you guys are friends.
@AsafKaragila Oh no, misread.
Let me check
Let me type in.
A set $S$ is finite if and only if every nonempty $X\subseteq P(S)$ has a $\subseteq$-maximal element.$${}$$ Call a set $S$ T-finite if every nonempty monotone $X\subseteq P(S)$ has a $\subseteq$-maximal element.
Now, what would be a monotone $X$?
Just a minute, I got a phone call. I'll ping you
@AsafKaragila okay. Now I have found Jech, too...
It's on page 52, the problems section of chapter 4.
Problem 8.
21:16
Oh, okay, that's exactly what you wrote.
Yes, I copied word for word.
In the new edition of Set Theory he writes T-finite as the definition appearing on the problem itself, namely "real" finite sets.
Which renders this definition a bit useless to some extent.
All definitions are useless.
$\forall x: x \text{ is useless}$.
However in the small book he writes that amorphous sets are T-finite, which means that there is a reason to separate the two notions (finite and T-finite).
@AsafKaragila Sorry Asaf, I have to reboot my laptop. I'll be back in a moment
21:21
@tb What sort of computer is this? You reboot every other day.
Must be a very shitty one.
Ok, good night fellas, have some fabulous time 8D
Good night Daniil!
Good night. Ding ding ding ding!
@MattN I was hit by this and I still didn't get around to think about implementing the workaround. I had a lot of file shuffling to do the past few days.
I need to reboot my browser maybe once a week but that's flash and the scripts here, most of the time.
21:35
Yeah, I disabled spotlight indexing ages ago : )
Hmm, can we also completely disable spotlight?
First thing I did after a fresh install, actually.
You can also switch from OSX...
Might happen soon. Damn AppStore.
I find Spotlight incredibly useful. No need to look through folders for anything...
21:36
Why appstore?
The Apple is rotten. Rotten to the iCore.
user19161
No, Apple products are good but expensive.
user19161
Microsoft products are also good but cheaper.
user19161
Finally, Linux products are free.
Both are bad.
user19161
21:38
So you see, everything is good. QED.
@AsafKaragila so... your question is what monotone means?
I don't know but I'll try to find it in Tarski's article.
@tb It boggles.
You won't convince me of Chrome if that's what you mean.
Have you tried this: osxdaily.com/2009/09/20/…
Just joking, of course.
@MattN yes, but it's too drastic a measure for me.
21:41
I like you but I'm pretty sure that IRL we'd live in constant disagreement and argument. : )
user19161
Disagreement is the spice of life.
@tb Walking contradiction, aren't we. You said spotlight didn't find anything for you. So if it doesn't why use it?
@MattN well, you can train it...
Interesting.
I won't try to convince you of that either. Don't worry. : )
21:42
Instead of discussing at this time of the day you'd better have a beer.
Not for me...
user19161
In Soviet Russia, beer has you!
Be a better troll please.
3
@tb You're not having a good day, are you. : /
@JonasTeuwen : )
Oh well, everybody has his or her bad days, right? 8-).
21:44
Oh I wasn't complaining. Just observing.
user19161
@JonasTeuwen I am not good at trolling, since I am not a troll.
So, second I am not a troll discussion for today, could we please stop this?
Then you are full of cliché's. I would rather be a bad troll 8-).
Fine.
(both those who accuse and those who defend)
@WillHunting Are you sure?
user19161
21:46
@AsafKaragila I think you are better than me.
@WillHunting Yes. I am better than you. In every possible way.
@tb Eifach links ligelaa.
@AsafKaragila so, can we get back on topic?
To use your own words...
@tb Gladly!
21:47
Wonderful.
Anyway, I'm not sure why Jech would suddenly connect both the definitions from the small book in the new book. It seems to me that there are sets which are infinite T-finite.
I didn't understand what you're saying here and I don't have the new edition of Jech
What is a "real" finite set?
In Problem 8 of the small book Jech asks to prove that a set is finite (i.e. in bijection with a finite ordinal) if and only if every nonempty $X\subseteq P(S)$ has a maximal element.
Then he says that T-finite is where you require this only on "monotone $X\subseteq P(S)$".
In the newer book he presents T-finite as the first definition rather than the second, which in ZF is already equivalent to being finite.
@WillHunting Hi
Whereas in the small book he then gives the problem that if $A$ is amorphous then it is T-finite (but also infinite).
So the definitions are different in some way, but I am not sure how or why he would change it like that.
user19161
21:55
@Skullpatrol Hi, I won't talk more now because I have been perceived as a troll.
@WillHunting "Perception" is in the eyes of the perceiver(s).
@AsafKaragila I don't understand it either. I've now skimmed through about half of Tarski's article and he doesn't seem to speak of the monotonicity condition.
Hmpf. I'll skim through Jech's small book in hope for hints.
Ugh, I can't tell if comma objects exist in the 2-category of Grothendieck toposes or not...
@AsafKaragila I think this could be relevant: In the appendix starting on page 93 he seems to says that he doesn't know whether the monotonic definition is equivalent to the other one without choice.
22:06
@JonasTeuwen Asaf has already admitted to being a troll at sometime in the past. I would like to know what makes you such a trolling "expert" could it be it takes one to know one?
@Skullpatrol Not now.
Tarski on page 93
@JonasTeuwen When?
Does he say what does monotonicity mean?
22:09
@AsafKaragila It seems to be that $\subseteq$ is a linear order
What does it mean?
@tb So it's a chain.
Yes.
He gives a whole bunch of equivalent definitions and says that in the entire text he didn't use choice.
@JonasTeuwen I think you have pissed off enough people with your trolling JUDGEMENT
Right before Definition II (the sentence starting with "Par contre...") he says
@Skullpatrol Not now. People don't want troll discussions.
22:12
In the waiting room :-)
@robjohn Are you nervous?
@AsafKaragila "On the other hand, we don't know how to prove without choice that the [previous] definitions are equivalent to the ones [...] that follow."
Definition II is the one on chains.
So the requirement that every chain has a maximal element is not enough to show that every nonempty subset has a maximal element... interesting.
Nah. Just noticing that there is no MathJax for mobile :-(
@robjohn :-(
22:14
At least for chat
@robjohn Do you think its possible to make one?
For mobile.
@robjohn MathJax3.0?
I don't have an idea of how it would work. However, if it were added to chat natively, it would work with mobile
@AsafKaragila Apparently this is the case. He also goes on to say that there is a chain of implications between the definitions he lists there.
@robjohn What do you mean by "natively?"
@tb Tarski or Jech?
22:18
In the sense that his definition is the strongest, implies the second one and so on up to the fifth one without choice.
I know that Finite implies T-finite implies D-finite, but none of these implications are reversible without some choice.
Mobile browsers don't support JavaScript as urls it seems
@AsafKaragila Tarski
Can someone link me the thread about mathematical fallacies?
@tb I see. My French skills are strong measure zero... :\
22:19
hey
Eh things that looks like that have a nice pattern but do not.
@N3buchadnezzar Assume $p\land\lnot p$ and derive the link yourself.
In mathematics, certain kinds of mistaken proof are often exhibited, and sometimes collected, as illustrations of a concept of mathematical fallacy. There is a distinction between a simple mistake and a mathematical fallacy in a proof: a mistake in a proof leads to an invalid proof just in the same way, but in the best-known examples of mathematical fallacies, there is some concealment in the presentation of the proof. For example the reason validity fails may be a division by zero that is hidden by algebraic notation. There is a striking quality of the mathematical fallacy: as typically p...
@AsafKaragila I just rmemeber one of the answers involving splitting a circle into bits, and a link to a comic
By natively I mean using the same code as for the bookmark, but in the page rather than in a js bookmark
22:23
@AsafKaragila Maybe we should list the definitions. So I is finite, II is T finite, III states that $P(X)$ has greater cardinality than $P(Y)$ for every proper subset $Y$ of $X$. IV is D-finite and V is amorphous ($X$ can't be written as disjoint union of two sets of the same cardinality as $X$)
@N3buchadnezzar This book looks interesting.
@tb I think I understand what $S \otimes_R N$ is where $R$ is a subring of $S$, $S$ viewed as an $R$ module and $N$ too viewed as an $R$ module.
@BenjaminLim good... Sorry I'm in the middle of a discussion with Asaf. I'll read what you said later.
@tb Amorphous is stronger. It's sum of two infinite sets.
22:23
no problem
i'm off soon anyway.
Let me find that paper by Truss. I think he did some work on these various families.
@Skullpatrol ******* I am looking for a post here on the site
ATTENTION CHAT USERS: I have added a seventh son to the chat rules. Please read it.
@N3buchadnezzar Oops :-(
A post about statements that looks true but really are not
22:26
@AsafKaragila link here
@N3buchadnezzar How about: This sentence is false.
@tb Oh I have a copy on my computer. I use it often enough that it is worth just keeping a copy around.
I see. :)
@AsafKaragila thanks for that.
@AsafKaragila So, is there further stuff you want to know from me?
(about Tarski's paper?)
22:30
@tb Good save.
Not at the moment. :-)
@JonasTeuwen The chat room is clear now. Are you ready to DUEL
@MattN When you get to tensor product i'm certain your mind will swirl
Depends. How old are you? I don't do duels with kids.
@AsafKaragila should I merge the two messages?
22:32
@JonasTeuwen Who do you duel with?
@BenjaminLim Nah, I'm getting more and more hard-boiled...
@tb Nah, it's fine. :-)
What's wrong with tensor products?
Dunno.
@MattN What do you mean
@JonasTeuwen Confusing as hell
22:32
Tensor products of Banach spaces?
No of modules
Of enveloping Lie algebras?
no of modules
took me 2 hours to understand why $R \otimes_R M \cong M$....
Lie algebras are lies! They are not even algebras. They are non-associative algebra!! Dissociative algebra! Schizophrenic algebras!!!!!
22:34
@AsafKaragila nice :)
$\sum \frac1n = 137$?
There is probably a way we can make this happen.
@JonasTeuwen Divide both sides by zero then it will.
I want this as a result.
@BenjaminLim what did you want to tell me about tensor products?
@Asaf: seen this? It made me laugh...
I think it's a bit too hot in here. I can't take so much grumpiness today.
See you people.
22:37
Bye
@tb I like how he thinks he's a Drill Sargent.
yes.
@teddy Sent you an email. That might also take your mind off chat.
@AsafKaragila So am I.
@Benjamin: If it took you two hours to understand why $R \otimes_R M \cong M$, then that suggests to me you have a bad definition of the tensor product. Of course, in my mind, the right definition is rather abstract...
22:46
Got my BP taken, but I'm back out waiting :-(
@robjohn What's a BP?
Blood Pressure
@JonasTeuwen Baire Property.
It's been an hour and I think they were trying to make me think there was some hope :-)
22:51
Hi guys, we got a Mathematica question with strong number theory roots. Any of the experts here care looking at it?
@robjohn I'm afraid that there is no hope left. We are all going to die. really soon.
@SjoerdCdeVries I know you're a moderator and whatnot, but can you please edit that link to [title](link) format please?
@AsafKaragila No problem for me, but what's your problem actually?
@SjoerdCdeVries Just that we had several long arguments today about trollism, and as it happens we have a list of chat etiquette rules, one of which asks not to do that.
The grass is growing too loudly
on the other side of the fence
22:55
:-)
@AsafKaragila I have no problem adhering to agreed upon etiquete. I'm just curious as to the reasons behind it.
@SjoerdCdeVries It takes quite a lot of chat space. Had it been a quieter hour then there was no real problem but we're actually quite chatty in the past hour and these sort of posts are somewhat of an interference.
get over it
@robjohn Is that a masterful act of diversion of the topic or is it related to those removed messages?
22:58
@SjoerdCdeVries I liked it the other way.
@AsafKaragila That's just plain silly. Anyway, it just cost me a few key strokes. Here you have it.
@SjoerdCdeVries This is something that came out of the dynamic of the chatroom, not something I decided arbitrarily.
@SjoerdCdeVries A few links is no problem, but an armada of youtubelinks likning to "Boom Boom Boom , I want you in my room is" I guess Asaf just wants a tad more controll here =)

« first day (593 days earlier)      last day (4723 days later) »