18
$\begingroup$

I have noticed today that we have a tag. It currently houses seven different questions on widely different notions of completeness.

Since there are widely different notions of completeness in mathematics, there is a lot of room for misuse with this tag.

I therefore suggest that we follow the footsteps of Math.SE and blacklist this tag altogether.

$\endgroup$
3
  • $\begingroup$ You might have already noticed comments under Todd Trimble's answer, but just to make sure - is this proposal about (completion) tag, too? $\endgroup$ Commented May 3, 2017 at 6:26
  • 1
    $\begingroup$ I saw. I did mean the completeness tag, though. It was a huge mess. $\endgroup$
    – Asaf Karagila Mod
    Commented May 3, 2017 at 7:06
  • $\begingroup$ It's not necessary, it only exists for completeness... Sorry, please publicly flog me; I definitely deserve it. $\endgroup$ Commented May 26, 2017 at 1:52

1 Answer 1

12
$\begingroup$

This seems like a reasonable thing to do. If there are no objections, then I'll set the wheels in motion.

Update: After removing completeness tags by hand (from the 7 posts that used it), I had put in a request to SE Community Management to blacklist that tag. I've not heard back from them though.

Second update: As per Shog9's comment, the completeness tag has been blacklisted.

$\endgroup$
6
  • 3
    $\begingroup$ Is (completion) being removed too - mathoverflow.net/posts/268770/revisions and mathoverflow.net/questions/268770/…? (I see that completeness has already been manually removed from all questions.) $\endgroup$ Commented May 2, 2017 at 10:46
  • 2
    $\begingroup$ Oh, good point. There are 24 questions currently with the 'completion' tag. It has no usage guideline. We should discuss. $\endgroup$
    – Todd Trimble Mod
    Commented May 2, 2017 at 14:39
  • 2
    $\begingroup$ Regarding that (one) instance of the completion tag that was removed: it's been restored, as no one has expressed feelings that the tag is generally problematic at the moment. (Might be nice to have a usage guideline at some point though.) $\endgroup$
    – Todd Trimble Mod
    Commented May 3, 2017 at 11:58
  • $\begingroup$ Thanks for the update! $\endgroup$
    – Asaf Karagila Mod
    Commented May 3, 2017 at 17:44
  • 2
    $\begingroup$ Tag is now blacklisted; it can no longer be used. $\endgroup$
    – Shog9
    Commented May 16, 2017 at 21:09
  • $\begingroup$ @Shog9 Thanks for the update! $\endgroup$
    – Todd Trimble Mod
    Commented May 16, 2017 at 21:54

You must log in to answer this question.

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