25
$\begingroup$

(Prompted by this question)

As you can see here, there are (as of January 2020) 5,931 questions tagged and . (For the record, there are respectively 28,327 and 31,874 questions in these tags, so that's not insignificant).

It's always been my impression that these sort of tags are mutually exclusive: vs , vs , vs , etc. In any case it makes zero sense for a question to have both tags, it's just redundant; they can always be tagged just .

I believe the differentiation between and works because they are names of actual classes in standard curriculums in the US, and there are very active users (user?) dealing with set theory questions. However, things didn't work out so well for probability theory, as we can see in the question I linked at the top, and number theory is going the same way.

Rather than dealing with specific cases, I'd like to ask general questions:

  • Is differentiating tags by level useful?
  • Is differentiating tags by level feasible? How?
  • How to decide when a tag needs to be split like this? How to decide what the threshold should?
$\endgroup$
27
  • 3
    $\begingroup$ Yeah, we dealt with this mess (although on a much smaller scale) with a large intersection of set theory and elementary set theory. $\endgroup$
    – Asaf Karagila Mod
    Commented Jan 1, 2015 at 12:44
  • $\begingroup$ In the case of set theory the tag info does the good job. If you look at the tag-info for elementary-set-theory and set-theory you will see that a list of topics which are covered by the tag. Of course, the lists are not exhaustive, but they cover a lot of questions and help to decide which tag to use. $\endgroup$
    – Martin Sleziak
    Commented Jan 1, 2015 at 13:55
  • 1
    $\begingroup$ I have noticed this, too. I occasionally hunt these down, and edit the tags. My conservative estimate (no actual data I'm afraid) is that in 90% of the cases I either removed the NT tag, or replaced it with ENT. The rule of thumb is that if I can answer the question without rubbing the three grey cells together real hard it is ENT. Not foolproof, and the algorithm is still evolving $\endgroup$
    – Jyrki Lahtonen
    Commented Jan 1, 2015 at 14:16
  • $\begingroup$ @Martin I doubt it's the tag wiki. Look at the case of probability: it's explained right in the tag excerpt what tag covers what, people still confuse the two. $\endgroup$
    – Najib Idrissi
    Commented Jan 1, 2015 at 14:16
  • 3
    $\begingroup$ New users frequently tag their question NT, because they learned about the material in a course titled (Intro to) NT. If we could make them actually read the tag excerpts, the problem would disappear. Not holding my breath. $\endgroup$
    – Jyrki Lahtonen
    Commented Jan 1, 2015 at 14:18
  • 1
    $\begingroup$ Two unrelated points: .) If elementary-number-theory is intended only as "low level number theory" than elementary-number-theory is not a good name. .) I do not see the issue with redundancy in itself. Is is also a problem if something is tagged analytic-number-theory and number-theory? This is inherent to the tagging system. $\endgroup$
    – quid
    Commented Jan 1, 2015 at 14:19
  • 1
    $\begingroup$ @quid Regarding redundancy, I guess I could have said that better: number-theory is explicitly for higher level than elementary-number-theory. I assume users ask elementary questions then add both tags because they both seem to apply, but they don't. You're right that redundancy is not the right word, what I mean is that if elementary-number-theory can apply (and OP thought so by tagging the question that way), number-theory cannot apply. It's different from, say, tagging a question homotopy-theory and algebraic-topology. $\endgroup$
    – Najib Idrissi
    Commented Jan 1, 2015 at 14:25
  • 2
    $\begingroup$ @NajibIdrissi What I meant is that in the case of the two set theory tags, the tag-info does a good job in explaining what belongs to which tag. (The other question is whether the users actually apply the tags correctly.) In the case of number theory, the tag-wikis for elementary-number-theory and number-theory are more-or-less identical. So they do not help much when deciding which tag to choose. $\endgroup$
    – Martin Sleziak
    Commented Jan 1, 2015 at 14:26
  • 1
    $\begingroup$ I will just mention that also elementary-general-topology tag was discussed. This older post is also to some extent related to the general questions asked at the end of your post. $\endgroup$
    – Martin Sleziak
    Commented Jan 1, 2015 at 15:31
  • 1
    $\begingroup$ [cont] I dislike the idea of meta "sophistication" tags (or meta tags at all) And I don't believe I'm talking about sophistication in this thread: this seems to apply to answers, not questions. Even if it's possible to answer an elementary question with a great amount of sophistication using very advanced notions, it still remains an elementary question. $\endgroup$
    – Najib Idrissi
    Commented Jan 1, 2015 at 16:58
  • 2
    $\begingroup$ @MartinSleziak Yes of course, you're right, that's not what I'm saying. Fixing the tag wiki is important. But I believe that it would be great if the need for retagging questions was alleviated by having users tagging them correctly in the first place, and it seems to me that the tag name is more important in that respect than the tag wiki. $\endgroup$
    – Najib Idrissi
    Commented Jan 1, 2015 at 19:19
  • 1
    $\begingroup$ @Najib I was under the impression that "elementary number theory" is number theory other than "algebraic number theory" or "analytic number theory." So no imaginary numbers, no algebraic integers, no asymptotics or heuristics. $\endgroup$
    – Robert Soupe
    Commented Jan 4, 2015 at 19:20
  • 1
    $\begingroup$ @RobertSoupe it's true that Elementary Number Theory is actually a technical term which pertains to specific topics, which is different from the case with, say, set theory (at least as far as I understand set theory). Certainly elementary number theory is an area of active research, which should indicate the tag is being misapplied more than anything. A more ideal solution would be to allow both tags or--if users just cannot get past using "elementary" for easy things--deleting the elementary tag altogether. $\endgroup$
    – Adam Hughes
    Commented Jan 9, 2015 at 10:11
  • 1
    $\begingroup$ @URL Please don't make useless edits like this. $\endgroup$
    – Najib Idrissi
    Commented Jan 10, 2020 at 9:15
  • 1
    $\begingroup$ @NajibIdrissi I re-prompted an unanswered question. How is that useless? $\endgroup$
    – ViHdzP
    Commented Jan 10, 2020 at 18:32

1 Answer 1

Reset to default
4
$\begingroup$

I believe that, although most of the times only one of the tags should be used, there are situations where both are appropriate. Consider, for example, this highly upvoted question. OP asks a question involving only prime numbers and elementary arithmetic:

Definition: A positive integer $n$ is called interesting if it has a prime factorisation $n=pq$ with $p\ne q$ such that the prime factorisation of $n+1$ is $p'q'$ where $p'$ is the prime after $p$ and $q'$ the prime before $q$.

Are there other interesting numbers [other than $14$ and $21$]?

However, the only answer makes use of the highly non-trivial and non-elementary result that, for $n\geq25$, there's always a prime between $n$ and $\frac65n$. Given the fact that nobody else bothered answering, it doesn't seem like the problem can be solved in any substantially simpler way.

I believe that, if a question (and its answers) might make use of both elementary and advanced concepts, using both tags should be appropriate.

$\endgroup$

You must log in to answer this question.

Not the answer you're looking for? Browse other questions tagged .