« first day (716 days earlier)      last day (4304 days later) » 

Ali
12:01 AM
Can someone please help me with editing the following statement to look mathematically/grammatically sound? "Luckily, the limit in Theorem 1 rapidly converges to the exact result, such that letting j = 30 is sufficient to have
t within 0.01% of the exact solution.
So, Theorem 1 suggests that t = \lim_{j \to \infty} f(j).
 
@Ali Chi mikhay begi kollan? ghesmate akharesho nemifahmam.
 
Oh, sweet Asaf.
 
@Ali You could say "convergence of the limit is rapid, as [blah]." But it is grammatical as it is now except the last part of the sentence that I don't get.
 
Che barfii!
 
Oh?
 
Ali
12:12 AM
@Gigili: So, Theorem 1 expresses some quantity 't' as limit of a function of some variable 'j' when it goes to infinity. I'd like to say that the limit converges to the exact solution real quick such that the value of f(j) for j = 30 to infinity is almost about the same.
 
@Ali The limit converges so rapidly that for "j=30" you almost have the desired result or something like that.
 
@Ali The only edit to your original formulation I would consider about the convergence is to put "rapidly" after" converges". But both choices are grammatical, I think. For the rest, I feel that "have t within" might be a bit too loose for mathematical writing...
 
@Ali Also, I thought you could speak Per according to your profile so I asked that question.
 
How about just "setting j=30 produces t to a precision better than 0.01%"?
@Ali Are you sure that "suggests" is what you want to say here?
 
Ali
@Gigili: Thanks. Yeah, I do know Persian, but there are people here who don't.
 
12:20 AM
J.M. has gone for a fractal gravatar.
 
Ali
@HenningMakholm: Thanks. I am not sure about the latter. What would you suggest, instead?
 
@robjohn Wow, shiny.
 
@JonasTeuwen what has he done now?
 
@robjohn Mailed me :-).
 
@Ali Obviously, the former doesn't contradict the latter.
 
12:21 AM
@Gigili It is a change for him. He has been doing constant curvature surfaces for a while.
 
Ali
@Gigili: I meant a substitute for word "suggest", by latter.
 
@JonasTeuwen He never replied to the emails I sent him. :-(
 
@Ali Not sure. Depends on what you want to say. (I had a professor who lectured for years until someone told him that "suggests" and "implies" are not the same (or rather, their equivalents in Danish)).
 
@robjohn Oh, just send them again, he can handle that 8-).
 
@HenningMakholm like "hints" and "commands" are not the same
 
12:24 AM
@HenningMakholm Mmm, but I hope that only means he didn't understand the words, and not their meaning 8-).
 
Ali
@HenningMakholm: Hmm, I see. In mathematics, every word has a very particular meaning, and unfortunately, I am not familiar with most of such terminologies.
 
If you are too lazy to type all results and to make exercises, just state the theorem, don't give any exercises and name those "Further results".
 
@JonasTeuwen It has been since he left chat. I know he got them, so there would be no point in resending.
 
@robjohn Might have as well thought "I will reply later on" and forgot. Happens to me all the time.
 
@robjohn Oh, dear. Maybe just forward them to me and I'll reply to all of them.
 
12:27 AM
@Gigili maybe later ;-)
 
@JonasTeuwen Well, he's an American working in Denmark, and he had just looked up "imply" in a general English-Danish dictionary. Unfortunately the gloss he selected on was the one that matches the everyday "suggest" sense of "imply".
 
@HenningMakholm Ah! :-). (Btw Asaf broke my dream by stating that given HB you have non-measurable sets :-()
 
@Ali Well, to be precise: If the therorem makes it completely certain that t ist the limit, then "suggests" is too weak a word here, and you need "implies" instead. However, it it is possible that the theorem could be true and t still differ from the limit somehow, then "suggests" might be a good choice.
 
Good night guys.
 
Goodnight. Wait, is it 02:30? Time to call it a day.
 
Ali
12:31 AM
@HenningMakholm: Cool! Then, I think "implies" is the right word for my purpose here.
 
@HenningMakholm In three hours.
 
@JonasTeuwen So you're in UTC-01? Iceland?
 
@HenningMakholm No, in three hours it is "day" 8-).
 
@JonasTeuwen all night here?
 
leo
12:36 AM
higgs boson
?
 
@BenjaLim Yep. Bye.
 
oh crap
9 hours on chat
why was makoto's meta question reopened?
 
leo
@Gigili nice!
quite sad but nice
 
@leo What about it?
 
leo
@Gigili your gravatar
 
12:39 AM
Ah thanks, but what about Higgs Boson?
 
leo
@Gigili it was discovered
 
Umm, I know.
Well, the question mark. Never mind then.
 
leo
@J.M. nice!
 
@J.M. Not true, many folks have bumped heads with Arturo on sci,math. He even has his own stalker from one of the mexican newsgroups iirc.
 
leo
12:46 AM
@Gigili the question mark: does it really is the Higgs boson?
 
@BillDubuque Even petty stuff?
 
leo
@J.M. it doesn't matter (your gravatar is great!)
 
@J.M. All kinds of stuff. sci.math has always had problems with egos clashing, besides the usual cranks, trolls, etc.
 
@BillDubuque Ah, I remember encountering that one about the stalker when I was searching about Arturo... people are weird.
@leo Oh, that. Heh. I was expressing disappointment that the logo we proposed for the mathematica.SE site was not kosher with Wolfram, hence the gravatar...
@BillDubuque Maybe it's in the past. I haven't seen Arturo lose his shirt over petty stuff on math.SE, and in some cases he seems to have been remarkably patient with people I'd have punched in the mouth in real life...
 
leo
12:52 AM
@J.M. I see, yours is better I think
 
@J.M. Alas, I wish I could agree with you on that.
 
leo
I did not know that there is a faq tag for the main site
 
@leo Some questions just keep popping up, y'know...
 
@J.M. For example. But hey, we're all human... Some people do not tolerate fools well.
 
@BillDubuque This is the tail end of a long and protracted argument that degenerated, I gather...
 
12:57 AM
@J.M. It get's worse elsewhere. My jaw dropped. But I will stop there.
 
(On that note, I was a very young and green fool the last time I ever said "fuck you" with serious intent...)
@BillDubuque I understand. :) Thanks.
 
@BillDubuque What a nice thread! (what the hell) I couldn't have learned so many $$%*&^ words at once in any other ways.
 
@Gigili Obviously you've never lurked on sci.math. You can find it all there...
 
I've lurked on sci.math back in the old days, but clearly I never saw the gem Bill showed. Likely because I was as picky back then as I am now with reading stuff...
 
The crank there thinks he has invented a new system of numbers (polysign numbers). He's very annoying, but harmless.
 
1:04 AM
@BillDubuque ...it is probably a good thing that math.SE only had one guy inventing a new system of numbers (if memory serves), and that got dealt with...
@BillDubuque There wasn't anybody to wrangle people back then, right?
 
In fact in one of those threads I think he was coming to my defense, after the crank was being extremely disingenuous. But as anyone knows, I can defend myself (well, actually, I was much more reserved on sci.math). I only spoke up so much on meta since I didn't want to see us make the same mistakes.
 
@BillDubuque Well, I ... don't think I need to find them! They'll find me eventually like this case.
"One" of the reasons ...
 
@Gigili What about that?
 
Three downvotes, offensive comments and whatnot.
 
I'm loathe to class that user as a "crank" (my being an amateur likely disqualifies me from making such pronouncements), but really, the user is not even trying to be conciliatory... yecch.
 
1:12 AM
@J.M. After much thought I think it is essential to keep tension off of main. If you see stuff flaring up there please flag it asap and/or steer people to meta. Most of these matters are much easier to handle as sparks, before they become flames.
 
@BillDubuque I'll keep an eye, as always, but thanks for the reminder.
 
@J.M. The "you" was meant to be royal, i.e. a request to everyone.
 
Okay, but it was linked to my message... :)
 
@J.M. Take it is a compliment if I refer to you as every mathematician!
 
Fine, fine. :)
 
1:19 AM
@Gigili I think there is worse than that. After the rude way he has been treated, I'm surprised he has kept his cool. I had hoped we would be able to handle this more tactfully.
 
BTW @Bill, your avatar is a modular form in the complex plane, yes?
@BillDubuque I think it's more of the theory you proposed a few days ago, something about him just being unfeeling.
He can't empathize.
 
@J.M. Yes. Perhaps we are guinea pigs in the ultimate Turing Test.
 
Does a function of $x$ in the terms of $y$ means that $x=x$ and $y=f(x)$?
 
@J.M. See here for more
 
@J.M.: I see you have swerved from the surfaces of constant curvature.
 
1:25 AM
@BillDubuque Aha, the Klein invariant. Thanks for the link!
 
@robjohn Now we're both off the wagon!
 
@J.M. Whoa, 50k? Congrats!
 
@robjohn Well, I'm celebrating the graduation and expressing sadness that our proposed logo wasn't Wolfram-kosher... :)
@Gigili That's site-wide rep (rep over all sites added up); don't put too much stake into it... ;)
@Gigili It'd be a miracle if I can hit 50k here...
 
@J.M. Oh? Did Wolfram complain about it?
 
@robjohn Yes, sadly the lawyers feel that a hyperbolic pentagon is too near in appearance to a hyperbolic dodecahedron for their taste... :)
 
1:28 AM
@J.M. I know, I know. Still a big number.
 
@J.M. Have you decided on a new logo?
 
@J.M. Won't take too long, you're a 30k user here.
 
@J.M. It's still like 43k just from Math and Mma
 
@robjohn The one currently up on the newly graduated site is a stylized heptagon...
@robjohn If you put it that way... :D
 
43k? Bah.
 
1:32 AM
@J.M. and I'm still struggling to get to 32k ;-)
@BillDubuque: don't get all worked up, it was a joke, not a plea for points :-p
 
@robjohn I will compose a 10000 point bounty question requiring strong Bezoutkas. Will that work for you? But you'll have to sacrifice your gravatar and red flyer. Deal?
 
Bill, just so I can understand your position: you've never had to write an answer that required Bezout? :)
 
@J.M. It's just a long running joke. Bezout works fine in some contexts. It started when Rob fired a big Bezouka at the rational root test. It's on whim.org somewhere
 
@BillDubuque My red flyer!? Never!!
Talk behind my back. I'm off to the park.
 
1:45 AM
@J.M. In fact Rob even compliments me when I fired a Bezouka at the Rational Root Test. (thanks Rob!)
 
2:02 AM
@robjohn That's sly Rob, you took everyone to the park so I couldn't tell tall Bezout tales while you're gone...(no one else is here now).
 
I am still in a dilemma whether I should start hammering more CWs and quit or start contributing to the site. I am still irritated and worried people will continue to downvote me for no reason as they did on that last post I ever wrote for the site in the past two months.
 
Did J.M. get a new avatar?
 
@MarkDominus Yes.
 
It is very handsome.
 
I'm taking a break from constant-curvature surfaces for now, because of the newly-graduated mathematica.SE...
(and the "pentaflake" is nice.)
@KannappanSampath How many downvotes did it get?
 
2:11 AM
@J.M. I don't remember but irritatingly many of them.
 
@KannappanSampath That's not exactly "everybody", right? Just keep contributing anyway.
 
2:32 AM
@BillDubuque And why would I not? :-)
 
@robjohn I can't imagine squeezing everyone into the red flyer. But hey, with all the recent talk of AC, I'm sure you know how to do all sorts of funky decompositions, stuff that would even drop the jaw of Banach and Tarski
 
hi can you give me a function $f$ $X\rightarrow Y$ such that $f(A_1 \cap A_2) \neq f(A_1) \cap f(A_2)$ where $A_1, A_2 \subseteq X$?
woops
you get the idea right?
 
@ChuckFernández You can fix that by typing up arrow a couple of times
@ChuckFernández much better :-)
 
@robjohn thanks
 
$f(x)=x\bmod3$
$A_1=\{1\}$ and $A_2=\{4\}$
 
2:37 AM
thanks
 
@robjohn If I may ask, did we make any progress on the Euler's totient? I am getting nowhere.
And I wish you a pleasant evening.
 
@KannappanSampath I thought about it, but had to give up. I will think some more tonight after dinner.
 
Any breakthroughs or short lemmas? (not that these intersect in null set)
 
@KannappanSampath not of any import. I showed that $3^{n+2}\,|\,10^{3^n}-1$, but that is nothing earth shattering.
 
@robjohn This holds for all $n$, but did you have to prove it in this context?
 
2:53 AM
@ChuckFernández See this question: math.stackexchange.com/questions/170725/…
 
I can't see any embellishments on the site. No icons showing up, no arrows! :(
(arrows: the one that you use for voting.)
 
I would prove it via $3\mid\Phi_{3^k}(10)$ for all $k=1,\cdots,n$.
And $3^2\mid\Phi_{3^0}(10)$.
 
3:19 AM
Hello peoples of the math.
 
Peter? What are you doing here?
 
@HenryT.Horton What are you doing here?
 
I'm not here. This isn't happening.
 
@HenryT.Horton Wait. Should I be elsewhere?
@HenryT.Horton I refuse to enter into a philosofical debate.
 
@PeterTamaroff Which of you two is the particle, and which one is the anti-particle?
 
3:25 AM
Please, do not interact in deciding that, though.
 
@CLarue LOL
 
But... I just want to hug him
 
@HenryT.Horton I'm sure the results will be spectacular...
 
@HenryT.Horton Oh, so you have seen my picture.
I tend to have that effect on people. Sorry.
@J.M. What is your new gravatar?
 
@PeterTamaroff It's a "pentaflake" fractal, but I used the logo we proposed over at mathematica.SE instead of the usual pentagon.
 
3:31 AM
@J.M. Oh, OK.
The logo here at SE is pretty cool IMO
 
@PeterTamaroff The logo for math.SE?
 
@J.M. Yes.
 
Ah. Jin has good taste, so he's the one to thank...
 
@J.M. Who's Jin?
 
3:34 AM
Someone should take the MSE logo (with the usual optical illusion) and change the cubes to multicolored platonic solids. I guess it'd have to be in a pentagonal arrangement though.
which would be slightly sad, because hexagons are cooler than pentagons
or hotter, if Mario Party 2 taught me anything
 
@anon :D
Most of the space-tessellating polyhedra that aren't cubes look somewhat elaborate, though...
 
How do you write this "phonetically"?
Φιλομαθέω
I'm getting
Philomatheo
 
@PeterTamaroff "philomatheo".
 
i<3maffs
 
That's an omega, not a terminal sigma.
 
3:38 AM
@J.M. Sorry, yes.
@J.M. What does it mean?
 
@PeterTamaroff To be honest, I just read the thing phonetically. I don't know what it means. :D
 
@J.M. Hahah OK. Google is saying "love of learning" "curiosity" "learning spirit"
 
hello
 
hello all. it's been awhile
 
@Eugene Euge, how's it going?
 
3:41 AM
@PeterTamaroff I see, that's why the "Φιλο-" prefix is there. "Loving".
 
Huge Euge
 
alright. and you?
 
@Eugene Can't complain.
 
the μαθέω seems to translate to "battling"
 
is it appropriate to ask math question in this chat room?
 
3:41 AM
@StevenLi Sure.
 
yes
 
sweet
 
I'm not even wearing a shirt. Anything goes in here.
 
Legend says math was the original purpose handed down to this room.
 
lol. um im having trouble understanding metatheorem
 
3:42 AM
@anon HEHEHE =D
 
@anon But hey, who listens to the old guys? :P :D
 
General question: Just as we pair $\epsilon$ and $\delta$ together, what is the pair of $\lambda$?
 
im reading a thing called deduction for propositional calculus
 
@PeterTamaroff $\mu$, often.
@HenryT.Horton That's nothing. Someone in this room used to chat pants-less...
 
@J.M. Great. $\lambda $-$\mu$ does pair sweetly.
 
3:43 AM
i dont get how the "proof" works
 
...
 
@J.M. And another one was an automated "Clever-Bot"-like programme.
 
is my question too vague?
 
Just like "isometry" is the cool word for "metrically equivalent", what is the cool word for "topologically equivalent" (for metric spaces)
@StevenLi I think you should provide more info.
 
@StevenLi what question? I was under the impression you were leading up to asking it...
 
3:48 AM
opps lol
 
"i dont get how the "proof" works" $\Rightarrow$ What proof?
 
sorry let me try again
 
@PeterTamaroff "Topologically equivalent" (for any topological space) is called "homeomorphic"
A homeomorphism is a bijective continuous map with continuous inverse
 
and if you have differentiability, you can say diffeomorphic
 
@HenryT.Horton If it is bijective then it has inverse. So we may just say "continuous bijection".
@anon You know topology?
 
3:51 AM
@PeterTamaroff but the inverse needs to be continuous as well
 
@Eugene I'm trying to think about a continuous function with discontinuous inverse...
 
@PeterTamaroff well you are asking Langlands if he knew anything about those automorphic forms.
 
@KannappanSampath Sorry?
 
@PeterTamaroff Google some obvious terms please :)
 
@KannappanSampath Come on....
 
3:55 AM
@PeterTamaroff OK. Have you heard of Langlands Programme?
 
@KannappanSampath Nope.
 
@PeterTamaroff it was a TV show on PBS that got cancelled due to low ratings
2
 
I do not know topology like Langland's knows forms.
lol
 
@PeterTamaroff $f: [0,2\pi) \longrightarrow S^1$, $f(t) = (\cos t, \sin t)$
 
3:57 AM
@PeterTamaroff I am no expert on that but hope to become one some day. It is a grand unification theory that this generation of Mathematicians are heading towards.
@anon I know you also share similar interests, am I right?
 
@Eugene "Automorphisms in the sky... I can go twice as high.."
 
Yes. Things like Langland's and Moonshine are part of my life goals.
 
@anon Mine too. :)
 
@J.M. "take a look... it's in 'the book'... reading rainbow"
 

« first day (716 days earlier)      last day (4304 days later) »