Vanilla 1.1.9 is a product of Lussumo. More Information: Documentation, Community Support.
The question 23668 has been closed, but it now has two votes to reopen. Such votes should not be ignored, so please voice your support or opposition here.
PS: I didn't vote to reopen. In fact, I thought this was a pretty clear cut case when I voted to close.
I did not vote to close just because I didn't read it. :-)
Since the term "technical lemma" isn't likely to actually confuse somebody reading a paper, I interpret the question as an invitation to discuss how to properly name results in papers. I agree with Andrew's comment
I would be interested in following people's thoughts on use of "lemma" etc, just not on MO.
I feel like it might be possible to make it into an okay MO question (c.f. punctuation in mathematical writing), but ultimately I think it will push the "subjective and argumentative" boundary.
I think the main issue is that "technical lemma" is not attached to a particular context. To answer the question, one would have to dig through the entire corpus of mathematics, so it's not reasonable to expect an objective answer.
There is another difference with other terminological questions. As stated, the question seeks to find the "root of all evil" (in a limited sense, of course). This is hard to motivate and it is doubtful that the outcome will be of great use.
What is more, I don't even get why it is that those qualities are so much frowned upon on the site. I think that people that study Math ought not to have such hard feelings towards argumentantion in general.
They don't. "In general" and "on MO" are two completely different contexts. If you'd like to learn more about the large body of discussion we've had on this issue in meta, you can dig through the old threads yourself or I'm sure someone has a ready-made set of links to them.
The question might also be considered as an invitation to reflect on the impact that an excess of technical lemmata has on the quality of a paper.
This is also not what MO is for.
@JHS
That's exactly one of the impulses that have motivated this meta-discussion.
What do you mean?
@JHS: Regarding what MO is for, check out this post I recently made. I tried to identify various classes of questions which, though interesting and worthwhile, do not belong on MO (the post also includes links to the relevant discussions here on meta). A lot of thought and community discussion went into drawing the boundaries of what belongs on MO. Of course, those boundaries are still evolving and that community discussion is still going on; you should feel absolutely free to make your case for where MO should go, but try to skim those discussions first so that we don't cover the same ground too many times.
1 to 10 of 10