« first day (498 days earlier)      last day (4514 days later) » 

12:00 AM
$c\log_b(a) = \log_b(a^c)$ isn't a weird identity. Just form $2^\text{everything}$.
Er, that two should be a $b$.
 
No idea where the 2 came from.
 
I do not have latex in chat, so I just try to read the code.
 
Oh, I see.
 
Wow. If only the MSE mod team was as decisive as the MO mod team...
 
12:01 AM
I thought everyone had installed this bookmark.
It's quite simple to do.
@Asaf What happened?
 
@AsafKaragila what are you talking about?
 
This computer loses all data every hour (library), so I don't have it installed
 
QED
I don't support banning iyengar from MSE but it is probably right to ban him from MO
 
I was not able to install that bookmark =(
 
12:03 AM
@QED I don't like him, but I don't find him bothersome too. I do like the fact that the mod team there is decisive enough to ban people, and then tell them to get the fsck out when the ban expires.
 
QED
let me say that better. edited.
 
It was not open for discussion. It was not presented as such and such. It was like "Dear 'trustgod', gtfo. kthxbye!"
 
QED
well actually he said it in a respectful way rather than a patronizing way that would just upset someone.
 
It is his right to spend time on math that he doesn't understand. But I don't think it's something to encourage.
 
12:06 AM
@QED I always find formal phrasing to be patronizing. It has the subtext of "I don't care enough about you to write in a friendly way, instead here is a predefined comment written in a cold and concise language."
 
MathJax works in chat
 
QED
oh is it predefined?
that feels rude
 
No...
But the formal language is to a certain degree predefined.
 
QED
I see what you mean
 
$$ \large \left( \; . \; \; \right) \left( \; \; . \; \right) \qquad \leftarrow \text{b**bs}$$
 
QED
12:07 AM
anyway I would feel sad if iyengar got banned
 
It's not a coincidence that all the formal letters look the same (mod content, that is)
Either way. I am going to bed.
 
QED
I don't think his questions have any value but it seems sad to isolate people
 
@QED Humanity has been doing that since the dawn of time. I don't see what's so sad about it.
 
Well
Actually the latex part of SE has some predefined messages too
But they are there simply because they feel some answers are answered so many times, people start answering them in a rude fashion.
39
Q: Text building blocks

CaramdirThere are some replies that are used quite often. For example, the first reply to many questions is a demand for a minimal example. These replies should typically include a link with additional information. So I thought that it might be useful to collect some standard replies for quick copy&p...

 
12:31 AM
I killedthe chat?
 
12:45 AM
Apparently "projective geometry over F1" is kind of like a metaphor for certain combinatorics being a degenerate case of finite geometry - link
 
12:55 AM
"We denote the finite field of order q as GF(q), although it is also denoted Fq by many." Damn you, Simeon Ball, why not just write Fq and spare me the aesthetic angst?!?
I'd like some feedback on this answer. Is it understandable?
 
@anon Looks good to me. First upvote's mine.
 
I already knew it was yours JM :P
 
@anon Hah. How are you doing these days?
 
Hanging on, I guess.
 
I see. I'd just comment that the ramen-PBJ diet isn't exactly the healthiest, so mix your food up a bit... or get yourself some vitamin pills if you can't.
 
1:12 AM
But those cost money, and I can get 5 packs of certain ramens for $1, and the PBJ is my neighbohr's food. :P But yeah, oranges and ham and canned foods I'm also getting. I'll figure things out eventually.
 
Good to hear. :)
 
1:36 AM
@N3buchadnezzar Maybe you're right, since all the creativity already went into deriving the formula...
 
QED
I wonder what I should do since I finished my undergrad course
 
QED
1:55 AM
How do people find good things to do
 
@anon F_1 is fascinating. Too bad we haven't found it yet...
 
 
1 hour later…
3:09 AM
*sigh* somehow I always thought that looking at the previous pages of a book would have been the first thing to try...
 
@JM Times have changed, JM. =)
 
Yes indeed, I can use Google Books too if I had a hard time searching... *facepalm*
 
 
1 hour later…
4:31 AM
Um, earliest use of color in this site I have noticed till now (again by Bill :=)): math.stackexchange.com/a/14314/13425.
[That's Dec 30, 10.]
 
Bill does a lot of funny stuff with TeX. He always sets \rm at the start, for one thing.
 
@DylanMoreland Well, I was going to say he is quite innovative in using TeX, but funny works too =)
 
Innovative is fine as well!
I do not disagree.
 
@Srivatsan For comments to pseudocode, natch.
 
4:54 AM
suddenly that chat got all quiet
*the
 
5:15 AM
@Zeeshan, it might interest you to know that you can edit your replies within a short time period. Just press the up-arrow key.
 
5:31 AM
Hello folks, I saw that about 30% of users who had committed to the Mathematica proposal on Area 51 were active on Mathematics. Some of you might be using mathematica despite not having committed. In case people didn't know, the proposal was closed 2 days ago because it would drain users from Stack Overflow.
Some of us are trying to reason with Robert Cartaino and get him to reopen. If you feel that you might have use for such a site, please consider voicing your support
9
Q: Mathematica proposal has disappeared

PhiraThe mathematica proposal at 89 commitments has disappeared without warning or trace. Why has it disappeared? And why without prior warning?

2
 
5:50 AM
@yoda I was pretty shocked about the proposal suddenly going kaput myself. I don't buy the cannibalization argument... if anything, SO is way too big that it's likely there are Mathematica questions there that I can answer, but don't bother to look for.
 
@JM yeah... and as Verbeia pointed out in her answer, you can't claim that the site will drain users from SO and at the same time say that we're not big enough to sustain a site.
A dedicated site might be one way to get more users from MathGroup to participate
 
@yoda Precisely.
 
But, I'm not sure that many of us are proficient Mathematica users. I don't really know how to do programming in Mathematica!
(Sure, I may have submitted a coursework project written in Mathematica, but it was hardly elegant...)
 
@ZhenLin ...and that site would be an avenue to learn. :) I picked up a lot of interesting math from math.SE over the past year I've been in it myself.
I would imagine a site would allow novices to pick up tips and tricks from slightly more experienced users.
 
Also, this user has asked 2 questions recently which were duplicates of this user's questions. Homework?
 
6:02 AM
Or the same user with different aliases?
 
So, where's the place to ask Mathematica questions, now?
 
@JM One of them at least asks questions rather than giving orders...
 
@ZhenLin After reading, yes, it does look that way...
 
@tb comp.sys.math.mathematica, apparently...
 
Maybe it's just me, but I have yet to see a good Mathematica question on this site...
(I meant here on math.SE)
 
6:06 AM
I should probably learn how to use Magma or GAP or something more relevant to my work.
 
@tb Well there was that one by Zev, but I think it's more "math" than "Mathematica", since it could have been as easily done with other software...
 
You mean the rendering of the Möbius strip?
 
Yep.
 
@tb Is that like thinking outside the Klein Bottle?
3
 
6:10 AM
@Srivatsan: Well, in the French tradition, uppercase letters are printed in Roman type rather than italic...
 
@tb oops, I read "rendering off the Möbius strip"
 
@ZhenLin Oh, that's interesting. Should I just leave the question as it is?
 
@Srivatsan in which context?
 
@Srivatsan I think it's a quirk we can live with... ;)
 
@JM Since you seem to know Mathematica well: do you know how I can easily plot the intersection (and only the intersection!) of two hypersurfaces?
 
6:13 AM
@robjohn See this and this.
 
@ZhenLin Well, there's RegionPlot3D[]... would you happen to have the equations on hand?
 
@Srivatsan Um, I just read the link (I didn't see the color of the link at first). :-)
 
=)
 
@JM Well, it's a problem I've been struggling with ever since I took up Riemann surfaces: given a complex polynomial $f$ in two variables, how do I visualise the zero locus $f(x, y) = 0$?
 
@ZhenLin I'd use ContourPlot[] for that; I use it all the time for implicit Cartesian equations.
 
6:16 AM
This should become an $\color{red}{(\text{faq})}$
 
Ah, but the variables are complex. So the problem is equivalent to asking for the intersection of two real hypersurfaces.
 
@ZhenLin Ah, I didn't get that at once. Then yes, I think either of ContourPlot3D[] or RegionPlot3D[] should do the trick. I think there are a few visualizations of that sort at the Wolfram Functions site...
@tb Looks like it. :) Who wants to co-opt it as an FAQ?
@ZhenLin Here is one example. (Michael Trott is pretty creative with these.)
 
@robjohn In this question (link alert! :=)), I wasn't sure of how uniform convergence can be profitably used, so I made up an elementary answer.
I thought of Zarrax's method, but it feels like a bit of cheating. Having done all the work to establish uniform convergence, I feel I might as well go ahead and bound the integral directly. =)
 
@JM: Well, let's take a classic example. Consider the elliptic curve $y^2 - x^3 - x = 0$. How do I get a plot of that?
It seems like the best way would be to find a local parametrisation and plot projections...
 
Complex x and y?
 
6:24 AM
Yes.
 
@ZhenLin Yes, that would be best; Mathematica has EllipticExp[] and WeierstrassP[] available.
Implicitly, however... let me think.
 
Bleh, I have to reinstall Java first before I can use Mathematica? This makes no sense.
 
Wait, what? I don't think it's supposed to do that...
 
Well, it wants to use J/Link, and nothing seems to be working at the moment...
 
Unless you made an explicit call to a function that depends on J/Link, it shouldn't have to...
Anyway, it seems Trott's "tetraview" plots would be right up your alley. Unfortunately, the code at the Wolfram Functions site is old and needs a bit of spit-polish.
I'll see if I can rewrite parts of it.
 
6:32 AM
@Srivatsan You are trying not to use dominated or monotone convergence?
 
I managed to get something! Unfortunately it looks suspiciously singular.
 
@robjohn Sort of.
The upper bound is natural. To get a lower bound, I needed some contortion. =)
@robjohn In fact, I end up not using anything at all.
 
@robjohn yes, sort of. It reminded me of this:
user image
7
 
@tb that is quite amusing :-)
 
Hmm we all starred that pretty quickly.
 
6:37 AM
@JM Hm, I think the main difficulty is to find a ‘projection’ which doesn't self-intersect. :-/
 
@Dylan Because it's funny. :)
 
Indeed.
 
@ZhenLin Ah, I see what you mean. Playing with cuts of elliptic functions is tricky.
 
It's easy to dream up a such a projection for the surface $y - \exp x = 0$, but even $y - x^2 = 0$ is troublesome...
 
hi
 
6:42 AM
@DylanMoreland Your answer here renders somewhat badly for me:
 
@tb @DylanMoreland Same here.
 
It renders well for me.
 
(maybe one or two \! would be enough?)
 
@tb I thought two, because that's what the Wikipedia authors did, but it didn't seem to be enough.
I might just scrap the spacing fixes.
 
6:46 AM
@DylanMoreland one trick that works for me is to enclose \sim in braces: X/{\sim}
 
Interesting. I figured there would be trouble because TeX thinks of \sim as a binary operator... hey, this works great.
@tb Thanks!
Always good to learn TeX tricks.
 
@Dylan: If you need to get TeX to think of something as an ordinary character, use \mathord.
 
(But not too many. I have friends who go crazy crafting things in TikZ.)
 
Conversely, if you need TeX to think of something as a binary operator, use \mathbin.
 
Those two I didn't know. Thanks Zhen!
 
6:51 AM
@JM There are five more class-changing operators. :p
 
After looking through this and Googling, I managed to pick that up. :)
 
@JM Maybe you want to "weigh" in on this one?
 
@tb I think it's more a problem on gaming.SE than here, actually (witness "How can I tell if a corpse is safe to eat?").
Boring uninformative titles like "A combinatorics question" are more of a problem here.
With that question of mine, it's provocative, but not too provocative I think. But I'm biased. :)
 
I liked it! :)
 
It's also a good reminder for me of how once upon a time I was a mathematical greenhorn...
 
7:04 AM
@Srivatsan: $\exp(z - z^2) \leqslant 1 + z \leqslant \exp(z)$ is true for $0\le z\le1$, but it is not true for $|z|\le1$
 
This sounds horrible. If someone asked me to proved Urysohn on an exam I would just start crying.
 
but I don't think you use if for $z<0$.
 
@robjohn - really? One second.
 
@Srivatsan try $z=-1$
 
Duh :)
 
7:05 AM
@Dylan: We didn't have to prove Urysohn in our exam, but we were asked about whether the theorem could be extended to various situations... Question 22G here.
 
@DylanMoreland why? Onion shelling, use the dyadics. A picture and two lines.
 
@robjohn Thanks for pointing it out. I wonder where all I picked this up.
 
Or are you talking about the metrization?
I meant to say "onion peeling", but my browser hung, so I couldn't correct in time...
 
I like Urysohn lemma for metric spaces. =) The general lemma, I vaguely remember how it goes, but don't remember the details.
 
@Srivatsan I am having trouble simply establishing $e^{z-z^2}\le1+z$ for $z\in[0,1]$. Did you have a simple method in mind?
 
7:10 AM
@tb I guess they are packaged together in my head. That might be a mistake.
 
@robjohn Well, I have done such things in the past, but I do not have a method at hand. =)
 
@Srivatsan Once that is established, your method is nice.
Let me think for a bit and I will add a comment.
 
@robjohn Sorry about being sloppy, but for the purpose of the proof, I only want $e^{z - cz^2} \leqslant 1+ z$ for $|z| < \varepsilon$ for some definite constants $c$ and $\varepsilon$.
 
@Srivatsan For purposes of this problem, $\varepsilon$ should be $1$ :-)
 
@Srivatsan you just write down the function. $$\varphi(x) = \frac{\operatorname{dist}{(x,A)}}{\operatorname{dist}{(x,A)} + \operatorname{dist}{(x,B)}}$$
 
7:13 AM
@robjohn No, not necessary.
@tb Yes, that's why I like it. =)
Peeling onions makes me cry. :)
 
@tb but the nice one gets a $C^\infty$ function
 
@robjohn oy, that doesn't seem easier than Whitney's extension theorem
 
@tb not easier, but not that much more difficult, and sometimes quite useful.
 
@robjohn $\varepsilon$ should be $1$ for the upper bound. For the lower bound, any $\varepsilon > 0$ will do.
 
@Srivatsan That's true for $n$ large enough. (I think)
@tb I did something like this when I was an undergrad.
 
7:19 AM
@robjohn I should really have been more careful. I apologise once again for being sloppy with the claim. Thought I had memorised them well enough. =)
 
@robjohn Well, thinking about it, it seems to me that you can do exactly the same trick: take a smooth $f \geq 0$ that vanishes exactly on $A$ and a smooth $g \geq 0$ that vanishes exactly on $B$ and put $\varphi = \dfrac{f}{f+g}$
 
Top of the whatnot to you, morrow.
 
@AsafKaragila Not what the morrow of you, tops?
 
I know, @tb, I could not find the replicant though.
@JM That's a whole other permutation.
 
7:26 AM
@AsafKaragila e.g. this one?
 
@tb No... in the new one the OP essentially asks "But $\mathbb N^k\times\mathbb N$ is not $\mathbb N^{k+1}$, how do I proceed??"
 
@AsafKaragila But OP asked this two frigging months ago???
 
Yes! I knew it!! I knew I had answered the general case!
It is possible (or even likely) that he asked the first from a homework sheet and now he's preparing for an exam.
On the bright side of life, in six more questions tagged cardinals I'm gonna get me badge!
 
@tb I've gone ahead and became the first juror.
 
I still think that the questions are essentially different. Even if I did answer the original one.
 
7:34 AM
I fail to see the difference.
Because of the ridiculous sentence $\mathbb{N}^3 \notin \mathbb{N}^2 \times \mathbb{N}$?
 
He asks about the induction step. It is a valid question which I got asked a dozen times when we taught Cartesian products several weeks ago.
 
@robjohn, I think this claim is correct: For $-\frac12 \leqslant z \leqslant 1$, we have $\exp(-z - 2z^2) \leqslant 1 - z \leqslant \exp(-z)$. I think the constant $2$ is unneeded though.
 
Not everyone has wonderful TAs like myself. Some people are reduced to study set theory within their analysis class... :\
 
Well, if we wish to be pedantic, all of $\mathbb{N}^3, \mathbb{N} \times \mathbb{N}^2, \mathbb{N}^2 \times \mathbb{N}$ are distinct... but hey, they're all naturally isomorphic anyway. :p
 
@ZhenLin That was the point I tried to make in my answer.
 
7:38 AM
This is what happens if one thinks too much in terms of formulae. Draw a picture, for god's sake!
 
@tb Or the membership relation of sets, really.
 
Well, I need to be out for a bit See you guys in a few shakes!
 
I hate pictures, they are good for the first intuition but then I get completely confused by them. It is also a well known fact that a picture is not a proof outside of algebra.
@JM Going to pee?
 
@Asaf: Given that pictures are not proofs in algebra either, this establishes that pictures are not proofs!
 
@ZhenLin Diagrams are pictures! :-)
 
7:44 AM
@Asaf: No, they're not. We've discussed this before.
 
Yeah, if I'm allowed to use them to prove things it's a "valid" proof.
Well shoo, I gotta run. I have an algebra class in 20 minutes.
 
Why would one not be allowed to use pictures in a proof?
 
Well, on the one hand, pictures convey intuition, which is a good thing. On the other hand, pictures convey intuition, which is a bad thing.
 
Are these two the same thing ?
$$ \int_{-\infty}^{\infty} f(x) dx$$
$$ \int_{R} f(x) dx$$
 
@robjohn Ok, I corrected the estimates now: math.stackexchange.com/a/91651/13425. Thanks.
 
7:52 AM
@N3buchadnezzar: I presume you mean $\int_\mathbb{R}$. Yes, they are the same. Whether this is a triviality or a deep fact depends on what you really mean by these formulae...
 
Just notation wise =)
 
Well, as a matter of convention, $\int_{-\infty}^{\infty} \cdots \, dx$ usually denotes a Riemann integral, while $\int_\mathbb{R} \cdots \, dx$ could be a few different things. It could be a Lebesgue integral, or it could be an integral of differential 1-forms.
 
Kinda wierd...
$$ \int_{\mathbb{R}} \sin(x)^2 + \cos(x)^2 \, dx$$
Diverges
$$ \int_{\mathbb{R}} \left( \sin(x)^2 + \cos(x)^2 \right)^2\, dx$$
Diverges
$$ \int_{\mathbb{R}} \sin(x^2) + \cos(x^2) \, dx$$
Converges
 
You do realise that $\sin(x)^2 + \cos(x)^2 = 1$, right?
 
@Martin: I wasn't pinged by your comment. I still don't understand the question and the difference to the previous question.
 
8:04 AM
@tb I think the point is what Asaf said. In the induction step OP knows that $N^k\times N$ is countable. He does not see the connection with $N^{k+1}$.
 
I don't understand how one can not understand this.
 
And this is precisely what is explained in Asaf's answer.
 
The second one was meant to be $\left( \sin x + \cos x\right)$. Still seems wierd that the last one converges. Oh well.
 
@tb Agreed, but this is not the question here. The question is whether it is a duplicate or not.
 
In my book it is. That's why I voted to close.
 
8:07 AM
I've corrected a few homeworks and tests from elementary set theory. People claiming there (in disguise) that $(\forall x) Q(x)$ is the same thing as $(\exists x)Q(x)$. It is sometimes surprising, what students are able to miss....
 
Hmmm, there is no MathReview of Durov's work on generalised rings. :-/
 
@tb Well I tried my best to show why I don't consider them duplicate (which is basically the same reason in Asaf's comment), but it is ok to have different opinions.
 
What does this question ask at all? In particular, I don't see a reasonable question there... Anyone can explain?
 
Nevertheless, I have the feeling that some of the questions that were closed as duplicates were of the type: To me (or anyone experienced enough) it is obvious that answer to Question A follows easily from Question B. So I vote to close. But it is not always clear to everyone....
Hi @Srivatsan. From some recent edits I have the feeling that you and J.M. are on the crusade against displaystyle in titles...
 
@MartinSleziak Not a crusade. =) Is it just displaystyle or something else also?
Do you have an example edit in mind? If I am editing the post (say for the tags), and I find displaystyle, I will -- of course :=) -- remove it.
 
8:12 AM
@Srivatsan IIRC, when I read the question some time ago, my understanding was that it asks about correct amount of generality. Or when it is better to prove more general statements. But I would have to read the post once again.
@Srivatsan E.g. this one - but there was retagging too: math.stackexchange.com/posts/43613/revisions
 
@MartinSleziak Um, but why is this a reasonable question? I think it's actually a NARQ.
 
I should try to notice the displaystyle, too - I think I've retagged some questions, do minor edits and did not notice displaystyle in the title.
 
@MartinSleziak Oh thanks. Yes, I do tend to notice it somehow. =)
 
NARQ = not a real question, right?
 
Yes.
 
8:15 AM
Down with TLAs (three letter acronyms)! Use ETLAs (extended TLAs)!
 
@MartinSleziak You're probably right...
 
The "question" is interesting and all, but is it answerable? -- That's what I am thinking.
 
@Srivatsan At least this part of the question: Which are major mathematical theorems, which are strongly including in this sense? seems answerable.
He asks about examples of theorems which have many important theorems as special cases.
 
Hm, from the comments, the OP seems to be interested in research-y things, not just textbooks. :-)
 
But, well, I don't feel competent enough to judge usefulness of this question. Answering this question assumes that one is familiar with several areas of mathematics and is able to see relations between them and give a common generalization.
 
8:19 AM
@MartinSleziak Oh, I am not competent. That doesn't stop one from judging though, does it? =)
 
I think that there are more competent people (than me) it this forum, which should be able to answer it or at least to say, whether it can be answered in reasonable way.
 
@MartinSleziak Well, my impression was that many people read the post, found it interesting, but thought nothing useful could be said at this generality, and moved on. :) Hopefully I am proved wrong though.
 
Yes, 256 views in 3 days seems to be quite a large number.
 
Anyway, I don't have anything useful to say about this, so I'll stop now...
 
@Srivatsan I have added a comment to your answer.
 
8:28 AM
@robjohn Yes, I was typing up a reply: @robjohn Thanks for confirming that. I have seen this exact statement -- with those constants -- being used (but they did not prove it). Good to k
 
Wovon man nicht reden kann, darüber muß man schweigen. Wittgenstein
 
@robjohn I stopped midway when you pinged =)
@MartinSleziak Thanks, I appreciate that =)
 
@MartinSleziak Oh, the famous Abschnitt 7...
 
I have some work to do, chat would probably only distract me. See you later!
 
See you, Martin
 
8:43 AM
Good morning everyone.
 
Bye Martin.
Morning, Matt.
 
Good morning, Matt
 
Is there any answer that you guys want downvoted? =)
 
No.
What's the difference between black stars and white stars pinning things in here?
 
@Matt Yellow/Black is the normal thing. White means it has been pinned by the Koenig.
 
8:54 AM
@Srivatsan I see : ) I thought that might be the answer but then I was wondering why on earth he could possibly pin his "No.".
 
Now I don't need to downvote any answers after all. ;)
 
: )
 
I am more puzzled by the two stars from the others.
 
Don't be. There is no sense to what people star in here: this, this, this, this...
 
@Matt The last one was hilarious.
This comment *has* to be starred now... =)
 
9:08 AM
@Matt That is true. Someone starred a mistake which I later corrected. I don't think that my mistakes are so infrequent as to deserve such notation.
@Matt and indeed that is the first of your examples :-) (I was working backwards and got to it last)
 
: )
Btw, did you see my apology for a rudely phrased question in chat yesterday? (the one you answered)
It sounded cocky, which I'm not.
 
@Matt No, where is it?
 
 
@Matt I'm not even sure to what that apology applied.
 
@robjohn Even better. Then forget about it ; )
 
9:17 AM
:-)
 
Phew, who knew *admissable* is correct spelling after all?
 
@Srivatsan Ooh, ooh, pick me! I knew! ;-p
Rhetorical questions are so fun to answer :-)
 
@robjohn Now that I know two spellings, both of them look weird to me. =)
Aren't rhetorical questions fun to answer?
3
would've been better... =)
 
@tb you've been hit by the upvote bot ;-)
 
9:29 AM
@tb I don't see how that's possible, since I clearly saw it and upvoted it...
 
@ZhenLin I barely posted it, and needed to edit it a bit (as I always do), and there already was your vote. Felt bizarre. (but thanks for the vote :)
 
What's strange is the spelling of "Gauss'sche". Why the apostrophe? Is a triple-s abominable?
Yes, and I thought it was Gauß.
 
@Matt what he said.
my previous comment points nowhere.
 
@robjohn Sorry for that.
 
@Matt Will that work?
 
9:38 AM
@ZhenLin Yes. However, Riemann doesn't use ß in that publication at all (if I haven't missed anything). Gauss also used the double s in his publications. See e.g. here
 
@Matt I should now delete my comment "-)
@Matt "Jonas by parts" sounds painful.
 
But he signed like this:
 
@tb Huh, interesting. I thought ß was a long-established part of German orthography.
 
 
@Srivatsan I haven't tried. I just fancied using "Jonas by parts" : ) Now I have to try I guess.
 
9:41 AM
@ZhenLin German orthography was only uniformized in the early 20th century by Duden (1901 and it became official in 1902). The ß was used earlier, of course, but completely interchangably with the double-s.
 
I found a blog post a while ago discussing the rules for ſ in the old typography of various European languages. It was incredibly subtle and complicated...
"The pre-1996 orthography encouraged the use of SZ in place of ß in words with all letters capitalized where a usual SS would produce an ambiguous result. One possible ambiguity was between IN MASZEN (in limited amounts; Maß, "measure") and IN MASSEN (in massive amounts; Masse, "mass"). Such cases were rare enough that this rule was officially abandoned; however, it is still simply unimaginable for a non-Swiss to enjoy alcohol "in Massen", probably leading to old use where necessary."
 
@robjohn I get $$ 2 \int \sin^2 (nx) dx = 0$$ if I Jonas by parts. So either I got the sums wrong or Jonassing by parts works...
 
@Matt One sec. I will come back.
@Matt How did you get this? You will have three terms, right? $\int \sin^2 nx + \int \sin^2 kx - 2\int \sin nx \cdot \sin kx$.
 
@Srivatsan I only did the first term.
 
@Matt how can this be zero? It's a continuous non-negative and non-zero function.
 
9:52 AM
$$
\begin{align}
\int\sin^2(x)\;\mathrm{d}x
&=-\int\sin(x)\;\mathrm{d}\cos(x)\\
&=-\sin(x)\cos(x)+\int\cos(x)\;\mathrm{d}\sin(x)\\
&=-\sin(x)\cos(x)+\int\cos^2(x)\;\mathrm{d}x
\end{align}
$$
$$
2\int\sin^2(x)\;\mathrm{d}x=-\sin(x)\cos(x)+x+C
$$
 
@tb True. Which means I got the sums wrong.
 
Alternative to J. by parts:
$$
\begin{align} \int \sin^2 \, dx &= \int \frac{1 - \cos 2x}{2} \, dx \\ &= \frac{x}{2} - \frac{\sin 2x}{4} + C \end{align}
$$
 
@ZhenLin Don't remind me of the pre 1996 rules for ß. It's impossible not to go crazy when trying to remember all the subtleties.
 
@Srivatsan yes, that is how I usually do that integral.
 
@tb So you have no reservations about spellings like "Flussschifffahrt" then? :p
 
9:58 AM
@ZhenLin Yes I do... On the other hand, I use this word every day and twice on sundays :)
 
@robjohn $\sin x dx = - d \cos x$? I think I've not seen this before.
 
@tb I suppose in Swiss German, the old orthography simply elides one of the triplicated consonants?
 

« first day (498 days earlier)      last day (4514 days later) »