« first day (2738 days earlier)      last day (1596 days later) » 

Travis Willse
Travis Willse
6:38 AM
@AloizioMacedo I was not suggesting that the three operators being canonically associated is by itself justification for adding a grad-curl-div tag, but rather that there is no corresponding argument at all for, e.g., determinant-rank-trace. I agree that decisions about tags should be utility-maximizing and in particular mostly determined by actual usage.
Per the search results for curl, divergence, and curl+divergence, "divergence" occurs in ~1/4 of the posts containing "curl", and "gradient" occurs in ~1/6 of the posts containing "curl". I'm not sure that the reverses are meaningful comparisons, because of the other mathematical sense of "divergence" and the generalizations of gradients outside vector calculus (though perhaps this says something about the optimal scope of a gradient or grad-div-curl).
I don't claim any specific relevance to this discussion, but maybe it's worth observing that the application rate for the curl tag seems very low: Only ~1/25 of the questions containing "curl" are tagged with curl.
All of the questions on the first page of results for "curl" (sorted by relevance) appear to be about the operator, so this low rate does not appear to be a consequence of a large proportion of questions using the term "curl" in a nontechnical sense. By contrast, ~1/3 of the questions containing "integral" are tagged with integration.
 
 
9 hours later…
user12692
3:27 PM
This is an example showing that the tag [tag: solution-verification] may be useful:
 
user12692
0
Q: What is $\lim_{n\rightarrow \infty} (1- \frac{1}{n})^\frac{1}{n}$?

Anne What is $\displaystyle \lim_{n\rightarrow \infty} \left(1- \frac{1}{n}\right)^\frac{1}{n}$? I think it should be: $$\lim_{n\rightarrow \infty} \left(1- \frac{1}{n}\right)^\frac{1}{n}=\lim_{t\rightarrow 0} (1- t)^t=1$$ Is it correct?

real-analysis limits proof-verification
 
user12692
Related discussion in meta:
 
user12692
3
A: (solution-verification) tag

Martin SleziakThere is already one answer which says this tag is not useful. I am going to post an answer with the contrary position, so that people can upvote/downvote to show their opinion. (I wrote in my question that I think that such tag could be useful, but it is not entirely clear whether upvotes on the...

 
Arnaud D.
Arnaud D.
4:14 PM
@Jack Do you mean that this tag would be useful as its own tag, separated from proof-verification ?
This meta question is related to my last comment :
3
Q: What is the usefulness of having "proof-verification" and "solution-verification" as different tags?

user26857I know there is a topic about the solution-verification tag (vs proof-writing), but now we have the proof-verification tag which has affiliated 2452 questions, while "solution-verification" has only 540. Why we need both of them?

discussion tagging solution-verification
Martin's comment under that question detailing the chronology can be helpful :
It seems that timeline was like this: 1) A discussion about a tag for proof-verification; 2) creating solution-verification; 3) creating proof-verification. In any case, I agree that the question whether these two tags should be kept separate is very reasonable. — Martin Sleziak Oct 4 '14 at 18:33
 
user12692
@ArnaudD. Thanks for that. Well, I consider [tag: solution-verification] a more general tag than [tag: proof-verification]. For the example I mentioned above, "proof-verification" sounds rather weird to me since the user is not talking about any "proof". There are lots of undergrad "calculate this"-type problems that do not literally require rigorous proofs.
 

« first day (2738 days earlier)      last day (1596 days later) »