I am trying to prove (or disprove) the existence of a solution to the following constraint satisfaction problem for any $(\vec{u},\vec{v}) \in \mathbb{R}\times\mathbb{R}$, any $b\in \mathbb{N}$ with $b \geq 1$, and any $n \in \mathbb{N}$ with $n > b$.
$\vec{x} \in \{0,1\}^n$
$\vec{y} \i...
Status: Removed from all questions
Is the embedding tag really useful? There are way too many things that can fall under this tag. From elementary embeddings in set theory, in model theory, to embedding of topological spaces, and to many other fields.
Seems like a recipe for a messy and use...
Status: Removed from all questions
Is there a need for the existing tag algebraic-systems? It contains only 6 questions and I don't understand its purpose. Maybe can we merge it into the tag system-of-equations?
The tag trigonometric-equations has been created recently. It is still listed among new tags. At the moment there are 4 questions in that tag.
As far as I can say, questions about trigonometric equations have been tagged trigonometry so far. And also trigonometric-functions and trigonometric-ide...
@MartinSleziak: I put the number-theory tag back in there, because the only correct answer needs quadratic reciprocity. The tag descriptions seem to imply that quadratic reciprocity raises the question above our usual elementary-number-theory. I'm not sure that reciprocity is enough, because my rule of thumb is that if I know it, it is elementary number theory. What do you think? — Jyrki Lahtonen ♦8 mins ago
@JyrkiLahtonen Retagging based on answer is certainly common practice and that's perfectly ok. The only question is under which tag quadratic reciprocity belongs. Your edit is certainly in accordance with the current tag-info. There was a suggestion on meta that this topic belongs to elementary-number-theory tag, but no consensus was reached. — Martin Sleziak51 secs ago
The tags elementary-number-theory and number-theory have been recently mentioned in this question: There are 1,732 questions tagged both elementary-number-theory and number-theory However, in that question these two tags serve only as an illustration of a more general issue. In this post I'd like...
(Prompted by this question)
As you can see here, there are currently 1,732 questions tagged elementary-number-theory and number-theory. (For the record, there are respectively 9,252 and 10,636 question in these tags, so that's not insignificant)
It's always been my impression that these sort of...
@Jyrki I am not sure to which extent this might help restarting the discussion and eventually reaching some consensus. But if you think that some of the bullet points in my answer belong to (number-theory) rather than to (elementary-number-theory), you might post a competing answer.
I think that:
The tag elementary-number-theory should not be a subset of number-theory, the later should be reserved for more advanced stuff.
My impression is that these two tags have been used in this way historically. (This is also what the current revisions of the tag-wikis say.) I don't...
(I am posting this here on the off-chance that you will have a look in the tagging chatroom after our recent discussions about tags in comments on the main site.)
I added my upvote to your tagging proposal @Martin, if it weren't for the weight of history (of tagging practice on our site) I think we should adopt that suggestion. Continue the discussion there, if the need arises. Not a hugely pressing concern. — Jyrki Lahtonen ♦1 min ago
The tag number-theory should be an all encompassing tag for questions in Number Theory. It thus would naturally contain elementary-number-theory, analytic-number-theory, algebraic-number-theory and so on. Granted, this is a broad tag but still it conveys some relevant information.
More specific ...
I do not share the same opinion, but I am certainly willing to go with the consensus. However, I am skeptical that some kind of consensus will be reached. (And on issue of importance like this we certainly cannot consider something around 5 votes a consensus.)
@quid But you will probably agree that this is not the way the two tags have been used historically on this site. So status quo seems to be that number theory is for more advanced questions, but the boundary is very fuzzy.
@MartinSleziak Yes. But it is never too late to phase out a policy that causes more trouble and work than it solves. In my opinion there is just no need for a tag about "advanced number theory," since number theory is very diverse. I can see somebody following a tag on "algebraic-number-theory" or "analytic-number-theory" or "arithmetic-combinatorics" or "arithmetic-geometry" specifically. As said it'd be much better to spend the effort on applying proper subtags.
And I also quite often use (elementary-number-theory) along the lines of my answer or the tag-wiki. And I think that I am doing the best I can to tag questions in the same way most users tag them and closest to what seems to be prevailing opnion.
@quid Personally, I will use those tags in the same way like before unless I see some clear consensus on meta.
@MartinSleziak I think the effort, undertaken in good faith, was just misdirected. Again a more useful thing would be to add additional tags to things tagged only number theory, like this question which is not advanced either.
Yes. No problem with that tagging, except that I find the removal of NT pointless (though not really harmful). My point is though had the energy that was used to delete tags from old dually tagged question NT-ENT been spend on adding tags to questions tagged only NT then it would have been more useful overall.
Well, that is not entirely true, if tagging the question you linked by number-theory is considered incorrect. (Which to me seems to be the prevailing opinion and also agrees with the tag-info.)
Removing (number-theory) while retagging a question is not much more work than retagging a question and leaving it there.
Having said that, I do not explicitly look for questions tagged (number-theory) and retag them as (elementary-number-theory). But if I stumble upon a questions which I consider incorrectly tagged, then I try to retag it in the best way I am able to think of.
Of course, I might be wrong in saying that this is the prevailing opinion, but most retags of experienced users that I have seen tend to be in this direction. (But too many questions are tagged differently for this to be considered conclusive.)
@quid There are users who are good in advanced topics in number theory. Probably it is useful to have a way in which they can ignore questions like proving transitivity of $\mid$ and devote their time to the questions which are more in a need of experts.
Briefly said, the argument to keep them separate is similar to elementary-set-theory and set-theory. I cannot imagine merging these two tags.
When Andreas Blass comes to this site and clicks on set-theory tag, I certainly prefer if he sees questions which require somebody as knowledgeable as him rather than seeing questions at level of proving associativity of $\cup$ and occasionally something more advanced.
Or let us say JDH. Or which-ever known set-theorist occasionally visits math.SE.
I agree that this is basically tagging questions by level of sophistication, which is generally agreed as wrong. But in the case of set theory and number theory, these tags have existed for a long time.
@quid But you agree that in set-theory there would be very strong opposition to join the two tags into one, right?
To be honest, I do not answer questions from number theory very often.
I think that opinions of the people who are active in the tag should be important when defining the tag's content.
In the case of set-theory Asaf Karagila and Andres Caiceido do many retaggings. I'd say that they de facto curate these tags.
I am not sure whether there is a user active in number-theoretical tags who was involved in discussions about tagging.
As I said before, I have no problem follow the consensus, if some kind of consensus is reached. But at the moment it seems (at least to me) that the consensus is that (number-theory) is for more advanced questions. (Even the tag-info says so.)
As I said, I have no problem adopting the position you're arguing for, if there is more wider consensus for it.
I see your point. But I think that there are also some advantages to keeping more advanced questions separate.
In any case, even if some consensus among users of this chatroom is reached, it is still not enough to consider it consensus of the community as the whole.
The best I can do is to promise that I will not touch (number-theory) tag, if you really consider the retags which I do misleading. (Or whatever was the word you used.)
Apart from Bill Dubuque and Adam Hughes (and perhaps you), can some of the users involved in that discussion be called number theorist?
Did Gerry Myerson comment on this?
When I look at top number-theory users, the names which I knew outside this site are Gerry Myerson and Matt Emerson.
Yes. As I said, those two users are the only names which I would know even without encountering them on this site. I am certainly not claiming that other users there are not knowledgeable.
It seems that we digressed. I wanted to check whether some "number theory experts" contributed to the discussion on meta. (By experts I mean people who know enough about both the subject and about this site to be able to contribute.)
Which is not easy to say without reasonable criterion who should be considered expert.
If we consider bronze badge as the criterion, then I guess that most users who comment there would qualify as experts.
(Not me, though.)
Perhaps we can conclude this in the way that I will stop removing (number-theory) tag. And I will hope that some discussion on meta will lead to some kind of consensus one day.
@MartinSleziak I do not care that much about the NT tag being preserved. As I said, I think it is a bit pointless but not harmful if it is removed. In the specific case you also added a specific tag, so the tagging was improved by your action in my opinion.
What I find unfortunate about the current situation is that to focus on elementary-nt and nt, maybe overshadows what would be more relevant in my opinion, namely to use more specific tags too.
If there is going to be some major retagging of questions of this tag or if the tag should be deprecated, that is certainly a major change. I would prefer to see some discussion on meta with something at least akin to a consensus before that.