« first day (445 days earlier)      last day (4570 days later) » 

4:00 PM
I don't think you spelled my full name anywhere here :). (And I didn't get the automatic alert. I guess that's because I wasn't chatting here now.)
 
weiner delivers another good comic today: smbc-comics.com/index.php?db=comics&id=2406
 
Well, that's trivial, @anon.
 
>_>
 
I think I'll keep going; need to grab lunch.
 
@Srinivasan : Where r u from ?
oops again sorry
@Srivatsan : where r u from ?
 
4:07 PM
@Rajesh Er, you made a typo now. :) I am from Chennai
 
how come u r grabbing lunch
 
originally. Right now, I am studying in the US.
 
ok
what r u majoring
 
CS (within that: theoretical CS).
 
ok......are you from IIT ?
 
4:09 PM
Hmmm, yes.
 
B.Tech ?
 
Yes, did my B.Tech. in IIT Madras (for those who do not know, Madras is the old Anglicised name of Chennai).
 
@SrivatsanNarayanan To be honest, I didn't know it's "Chennai" now. :)
 
@J.M. Ah right. :)
 
i was thinking about complete regularity
 
4:13 PM
...and when I first heard it, it took me a bit to figure out what "Mumbai" and "Kolkata" used to be... ;)
 
Fair enough. I think the city is officially Chennai (in Tamil and in English) now, but that did not happen too long ago.
 
are there generalizations of complete regularity using other rings?
i mean, in a completely regular space X a closed set and a point not in this set can be separated by a function from X to [0, 1]
would it hurt if we changed it to make it separable by a function from X to R such that the point is a preimage of 0 and the set is the preimage of 1?
then we could take any ring and define complete regularity with respect to it
e.g. any topological space is completely regular with respect to Z/2Z
what if we take a topological ring with topology that's (informally speaking) in between Z/2Z and R in coarseness?
 
Z/2Z is pretty coarse
 
Z/2Z with discrete topology, i mean
it's very fine actually ;)
wouldn't we then gain a way of dealing with coarser topologies than the ones we usually do in general topology and analysis?
another way of putting it is by considering a ring Top(X, A), where A is a topological ring
each closed set corresponds to a prime ideal in Top(X, A) (with a natural ring structure)
we say that X is completely regular with respect to A if this correspondence is bijective
(i'm not sure this will recover the usual notion if we take A = R, but it's about right I think :))
has this ever been considered?
 
4:36 PM
user image
6
The Mean Square
 
)
 
I'm glad someone was here to notice :-)
 
:-)
 
Thanks to t.b. for the idea.
 
4:40 PM
ъ!
 
trueЪ!
 
What does ъ mean?
I can picture a tree diagram with the root mean square and the leaf mean square
 
how to type it, the 'b' ?
 
it's cyrillic
means nothing
 
I thought that perhaps it had some significance
other than yer
 
4:47 PM
yer? ) we don't use it now
 
Ъ! is more than yer!
Ъ! that can be put in words is not the true Ъ!
and i'm not even kidding!
 
and yet you've just done it :-)
 
try saying it out loud :P
see, you can't!
 
that would sully the meaning.
an idea for the mind, not the tongue.
 
@Alexei: you disgraced the true Ъ! you uttered words besides Ъ! shame on you! feh! (mostly curious how cyrillic looks like when typeset in italics and bold :p)
 
4:53 PM
Is :p) a person of double-chinnage giving a raspberry?
 
heh!
 
I wonder: Are there any people on MSE that know each other from MSE that have met on a conference?
 
I don't know if I have ever met anyone here IRL.
 
At least, that was the reason why I chose to display my full name :).
 
most are neatly hidden by nicks.
 
4:57 PM
There are three people I'm aware of that I met IRL. Interestingly, two of them only display only their first names...
 
I thought that people could see my full name in my profile, but I hear that they can't.
I have never looked at my profile without being logged in.
 
Yeah, I cannot see your name.
 
@robjohn: I entered my real name in the real name field. can you see it?
 
@tb Then how did you know who they were?
I can't.
 
@tb: I can't
 
4:59 PM
@tb not on your profile.
There should be an option to make it visible.
 
But since you have displayed it in past, I do know it... Unless that was a pseudonym.
 
I can see that you got rid of the swastika :-)
 
@Jonas: It's a pseudonym I have for my entire life (at least so I'm told, because I can't remember what happened during the first three years)
@Asaf: yes, I prefer this garment
 
I think that a real name cannot be a pseudonym. Merely by the definition of a pseudonym.
@tb Looks like a ninja star. Refresh the chat to load it instead of the old one?
 
Whee! I just got an Outspoken badge!
 
5:02 PM
Man, I remember the times I was the only one with this badge. Now every one got it.
 
I don't.
 
@robjohn: It sort of made me feel bad when I got it yesterday
 
@tb why is that?
 
@robjohn: because I thought that you deserved it much more than me, being much funnier and all that :)
 
@robjohn Are you still in academia?
 
5:05 PM
Wow, that's the first time I've been accused of being funny.
@JonasTeuwen No, I am a lowly programmer. However, my program is being used to teach logic, so you might consider that. I did teach math, but that was back in the 80s.
 
Okay.
 
I work at UCLA, which is where I taught as well, and where I went as an undergrad.
 
@JonasTeuwen They gave their identities away by the questions they asked. One of them has a not-so-common name and I had this hunch he might be someone I had as a student in Göttingen because he had asked a few very specialized questions here and on MO that seemed to fit one of the professors there.
 
with stints at Princeton and Apple in between.
 
Where did you go to for grad school?
 
5:08 PM
@AsafKaragila Princeton
 
The other one recently linked to an exercise sheet at ETH and then I knew who s/he was...
 
@tb Ah! I'm waiting until someone posts one of the homework assignment which I have assigned (or better, which I got and then gave to the students...).
You're at ETH now?
 
At the moment I'm taking some time off. I was until end of August.
 
Where are you now then?
 
At home
Zurich
 
5:13 PM
Oh. I thought you took a Sabbatical at some other institute...
 
Having the Swiss nationality must be one of the best nationalities to have.
 
Why?
 
@JonasTeuwen I agree!
 
Because it is a wonderful country. I'm officially Belgian and the French and Flemish parts want to bash eachothers head for example :).
 
I heard Switzerland is quite a dull country to visit (in terms of pubs and whatnot)
 
5:15 PM
@JonasTeuwen where are you now?
 
The Netherlands.
 
heh! me too )
 
To quote Robin Williams, "How Butch is an army that got a wine opener on its knife?"
 
@JonasTeuwen which city?
 
He's in Delft
 
5:16 PM
Delft? man
 
There's not much partying going on here, yes. Zurich is the closest we have to a city, and it's rather a village with a metropolis complex
 
@JonasTeuwen I'm a PhD at TU Delft
 
What is so bad about Delft?
@Gortaur Oh! Where?
 
at DCSC, 3me
but I'm a mathematician
 
The building next to mine!
 
5:17 PM
just my supervisor works there
 
Haha.
 
@JonasTeuwen will you be there tomorrow?
 
Yes.
 
we can have a lunch say at Aula
 
Oh, that would be nice.
(not the food)
 
5:18 PM
I see a romance developing :D
2
 
@tb don't be so jealous )
 
I'm not )
 
@Gortaur : are you a girl/woman ? just curious
 
In Delft?
I suppose male.
 
))))))))
though I'm living in Leiden
 
5:20 PM
Why?
 
@JonasTeuwen But in Amsterdam you're drag queen?
 
so my gender should be equidistributed
my wife is working in Amsterdam
 
@AsafKaragila The funny thing about that is that only officers get the ones with wine openers.
 
@tb Yes.
 
so it took 1 hr in one direction for her to reach her job
 
5:21 PM
Oh, right.
Delft is about ~20 min by train.
 
we were living in Delft and her job is in Amsterdam
I've added you in facebook, hope you will never share the secret of my name
 
Systems and control... We had an internet seminar about control theory where someone from that group came.
Sure.
 
ok, then we can arrange our meeting in FB. great
 
Yep.
 
@RajeshD why didn't you ask if I am a boy/man?
 
5:27 PM
Hmm...I thought Jonas was a man ...thats why
 
@tb: btw, I'm not timid usually - just try to be polite, some guys here are quite sensitive ) anyway, I don't have to justify it though I did
@RajeshD man, we're in the Netherlands
 
means ?
 
don't tell me that you don't understand it )
 
huh !!!
 
Haha!
 
5:29 PM
@tb Were you in the army?
 
what about t.b. ?
these jokes are common in India too...nothin new
 
On MSE you can generally assume they are male unless proven otherwise, I would say.
 
I wonder is there anything on data.stackexchange about gender ?
 
I'm not sure what the confusion/joke is.
 
huh
again
 
5:32 PM
Oh nevermind.
 
@JonasTeuwen He thought that either I'm a lovely girl or a man who loves men
 
or both
 
or both, exactly
I told him that it's not a crime here in the Netherlands
 
Yes, but I wonder why. I have met some indians as well and they didn't seem to think that that was something strange...
 
poor you )
 
5:34 PM
@Asaf: yeah, it wasn't so easy to escape when I was young...
 
There is a Swiss army?
 
there is
it's a cool one
 
Hmm... And a navy?
 
Ack; did it again. I answered a homework problem too fully, I think. However, it seems that someone already posted a Wiki page with a very explicit answer, and was already accepted, so I don't feel too guilty.
 
The Swiss Armed Forces perform the roles of Switzerland's militia and regular army. Under the country's militia system, professional soldiers constitute about 5 percent of military personnel; the rest are male citizen conscripts 19 to 34 (in some cases up to 50) years old. Because of a long history of neutrality, the army does not take part in armed conflicts in other countries, but is and has taken part of several peacekeeping missions around the world. The structure of the Swiss militia system stipulates that the soldiers keep their own personal equipment, including all personally as...
 
5:35 PM
helvetian war ftw!
end secrecy now!
 
@robjohn Doesn't seem to be a problem. Many books have the solution to that problem.
 
@AlexeiAverchenko angry russian detected )
@AlexeiAverchenko boy, have you been to army?
@JonasTeuwen I put a link where you can learn whatever you want about the Swill army
 
Okay, I just updated my profile :-)
 
switzerland is the most EVIL country in the world!
 
@robjohn I thought you put your name there (
@AlexeiAverchenko oh no, again. Baby, did you forget to take your meds?
 
5:38 PM
@Gortaur okay, I will
 
it's the TRUTH!
Earth is a 1990 science fiction novel written by David Brin. The book was nominated for the Hugo and Locus Awards in 1991. Plot introduction Set in the year 2038, the book is a cautionary tale of the harm humans can cause their planet via disregard for the environment and reckless scientific experiments. The book has a large cast of characters and Brin uses them to address a number of environmental issues, including endangered species, global warming, refugees from ecological disasters, ecoterrorism, and the social effects of overpopulation. The plot of the book involves an artificiall...
 
@tb sorry for this guy. He is too young (
 
"It also includes a war pitting most of the Earth against Switzerland, fueled by outrage over the Swiss allowing generations of kleptocrats to hide their stolen wealth in the country's banks."
 
@Gortaur Thanks.
 
@Gortaur: I actually found that funny :)
 
5:41 PM
Switzerland vs. the rest of the world - a fair game if you ask me :D
 
@tb the book or a guy?
@AlexeiAverchenko we're playing in good Russian and a bad Russian )
 
the guy, believe it or not...
 
@tb if there are any reasons for me not to beleive you? tell me
 
@Gortaur: he likes to tease me, I can live with that :)
 
pay attention to your grammar, or we'll start playing good English and bad English :P
 
5:43 PM
@AlexeiAverchenko who are you to ******* lecture me? )
 
@Alexei: I see, you're in a fighting mood today :p
 
@t.b. : I thought you were a German
 
@tb yes, fueled by the outrage against Switzerland's bankers!
@Gortaur i'm the BOSS
 
@Alexei : chill dude....don't worry about these things
 
@Alexei: I see. :)
 
5:46 PM
the missiles are flying! Hallelujah, Hallelujah!
 
yeah, I see that I left Russia in the right moment )
 
@Gortaur done. I couldn't find how to make profile fields public, so I added it elsewhere.
 
@robjohn good morning, Rob ) nice to meet you
 
Your name is too generic :(.
 
@JonasTeuwen should I change my name?
 
5:48 PM
@robjohn you think his name is not generic?
 
Your real name? Of course not :D. But I have just tried to Google you.
 
@tb if 'Theo' means 'the God'?
 
@robjohn yes, change it to Herman
 
If you Google my name all the first pages are related to me.
 
@JonasTeuwen you may have come up with a blues guitarist or a football player. Those seem to be the top two that come up.
 
5:49 PM
@Gortaur hell yeah 8)
 
Yes.
 
@Rajesh: yes, I'm Swiss, used to work in Germany for a little while, though
 
@AlexeiAverchenko I was serious. I never make jokes from names
 
and some of my family are German
 
Even scholar.google.com doesn't give much related results.
 
5:50 PM
@Gortaur so was i 8)
the God of Math 8)
 
* facepalm *
 
I'm amused by the two Russians here :)
 
@tb what do you mean. we are not clowns
 
it could be worse
he could be, y'know, not amused
 
and?
 
5:53 PM
when a GOD is not amused, you're better hold on to your ass :P
 
>_>
<_<
* takes his gun *
 
jussayin' I'm in a good mood today, I won't be throwing any flashes of lightning and thunderbolts, at least not for now
 
you might want to also hold on to your ass if said god wishes to amuses itself with humans...
2
 
@tb such a Greek stereotype )
men, you're all funny - but who will cook pork a-la but me?
 
i got the second testament printed out
it will protect me!
 
5:58 PM
@AlexeiAverchenko I prefer other stuff for the protection
 
Ah! Krein-Milman.
@tb Do you know Choquet's theorem (since you seem to have written a paper related to Krein-Milman)?
 
@Jonas: sure
 
Cool.
 
One of my favorite theorems
 
I'm following a seminar on Choquet Theory this semester.
 
5:59 PM
man, where?
 
@Alexei: that ArXiV-id looked vaguely familiar. Not really something I'm very proud of (I used to be for a moment)
@Jonas: Choquet theory is lots of fun and very useful, I love Phelps's book
 
@tb so what about your name (I was serious anc curious the first time as well)?
 
@Gortaur: Sorry I must have missed it. What about my name?
 
@tb The seminar uses Phelps's book!
 
@tb Are you a god?
 
6:02 PM
@tb I asked you if 'Theo' means 'The God' which provocated the infinitesimal devil inside Alexei apparently
 
@Jonas what else? It's the classic reference. Did they fix the table of contents in the new edititon?
@Gortaur: yes, that's the literal meaning in Greek
 
Oh, the TOC is bad?
 
It used to be in the first LNM edition (the re-issue of the old classic)
 
@JonasTeuwen man. where?
 
@Gortaur (Phelps's book)
 
6:03 PM
In my copy it has little to do with where the things are actually located
I used to have a leaflet with corrections, but I somehow lost it.
 
@JonasTeuwen where do you take the seminar?
 
@Gortaur Delft/Leiden biweekly.
 
I send you a message in FB
see you all tomorrow, folks
 
(Friday afternoon, they switch between Delft and Leiden).
 
see you @Gortaur
 
6:05 PM
Okay. I'll check it out after my dinner. See you.
 
@tb see you
@JonasTeuwen see you
 
@Gortaur see ya
 
@Jonas: In Choquet's Cours d'analyse there's also a nice exposition (IIRC)
 
@AlexeiAverchenko пока чувак
 
@Gortaur later
 
6:06 PM
@robjohn later, sure
 
@Gortaur not fair.
 
@robjohn what? ))
 
translation: while dude
 
(give up platform doesn't like Russian letters)
 
пока usually means goodbye
also while
 
6:09 PM
'while dude' is something :)
while (dude()) {continue;}
 
"Programming" in a chatroom is quite nerdy. :D.
Oh. My girlfriend says this is a nerd-chatroom.
 
@JonasTeuwen If you're going to get weird about programming in a chat room or being nerdy, you've come to the wrong place :-p
@JonasTeuwen Your girlfriend is not altogether off the mark there.
 
:P. By the way, where can I find the rules if you have to write compounds in one word or multiple ones (in Dutch all compounds are written as one word)
 
@Jonas: you're seriously surprised that a nerdy webpage has a nerd-chatroom attached to it?
 
@robjohn I'll tell her.
@tb Hmm, this is a nerdy website?
 
6:19 PM
@Jonas: If it isn't then I don't know what counts as nerdy...
@Jonas: so, what is the goal in this Choquet theory seminar?
 
@tb Just study Phelps's book completely.
 
Oh, that's a modest goal...
 
Yes.
It is just for fun.
(and for some to improve their presentation skills)
 
I meant: There's plenty enough stuff in that book to keep you occupied for quite a while
 
I hate how my advisor got no funding and most set theory conferences have no funding.
I can't afford anything! >:(
 
6:27 PM
@tb Oh, right. Yes.
@AsafKaragila Well, I'm not sure if it is any different in analysis :D. If I see some of the applied physics or applied mathematics groups here, many of them have >20 PhD students.
Analysis has... 2.
 
How many set theory students do you have? :P
 
0
 
I rest my case. :P
 
But there are other universities in The Netherlands which do have logic/set theory students.
 
6:29 PM
And there was this one where they shut down the whole topology section.
 
True.
(Actually the general topology section)
Then again, the dean of the faculty of exact sciences in Leiden (which is a mathematician) shut down the mathematical biology group quite instantly.
 
I'm not sure.
 
@Jonas: what topic will you present at Choquet?
 
Chapter 11.
 
6:33 PM
What was that?
 
I'd expect a mathematician to shut down "mathematical biology"... it's a disgrace to mathematics!! :-)
 
(Properties of the resultant map)
 
Oh, that's nice and rather easy, I think.
 
Yes, I'm also the least qualified there :).
 
You may want to look at these notes that's where I learned about it.
(I visited that course)
 
6:35 PM
Cool! Thanks.
 
I learned most of my functional analysis/measure theory basics from Lanford.
 
I don't know him, but his website mentions ergodic theory which is cool.
 
Yes, he did a lot of dynamical systems. There's a Lanford-Ruelle theorem in Choquet's cours d'analyse
He was the first to compute the Feigenbaum constant to high precision
one of the first computer-based proofs out there
 
Did you make the image yourself?
 
6:44 PM
@robjohn: nice comment :) Didn't know that idiom existed in English. In German it is Einem geschenkten Gaul schaut man nicht ins Maul
 
It's the same in Dutch. "Een gegeven paard niet in de bek kijken".
 
@Jonas: is bek the same word as French bec or is it like Swiss-German Backe (cheeks)? (etymologically)?
 
Let me see if I can find that out.
@tb As the French bec it seems.
 
@Jonas: thanks! That's what I suspected...
 
"din quade bec"
 
6:50 PM
quade?
 
"nasty"
(That sentence was in the etymology dictionary)
 
@Jonas: back to Choquet: did you think about what happens if you take a compact metrizable space and the compact convex set of probability measures?
 
No, not yet.
 
So, what are the extremal points?
 
@JonasTeuwen You mean The Mean Square? Yes, I made it after t.b. said this.
 
6:56 PM
@robjohn No, the image in your answer.
@tb I'm not sure (I'd have to verify), so I don't really dare to answer that question :).
 
@JonasTeuwen Ah, yes. I made it years ago for a similar answer on sci.math.
 
The Diracs, of course
 
Oh, then I had it right.
(I was going to say point measures).
 
He stared at Dirac very pointedly.
 
@robjohn: :))
 
6:58 PM
:D.
 
@Jonas: Now you take a probability measure = a point of the compact convex set K under consideration.
 
Okay.
 
You wish to represent it as the barycenter of a measure on the extremal points...
 

« first day (445 days earlier)      last day (4570 days later) »