6
$\begingroup$

Completeness is an important notion in mathematics. Metric spaces can be complete, a theory can be complete, a logic can be complete, and set of propositional connectives can be complete, and many other objects can be complete.

We tried to remove it already. But keeps coming back.

Maybe it's time to blacklist the tag entirely?

$\endgroup$
6
  • $\begingroup$ Similar situations for duality-theorems. $\endgroup$
    – user99914
    Commented Jul 18, 2015 at 14:49
  • 2
    $\begingroup$ I don't know much about duality theorems, but at least there it seems that there is some kind of unifying notion of duality. In the case of completeness, even if currently it's only been used on certain kind of completeness, the situation would be closed to [regularity] or [normality], where there's absolutely no way to understand the meaning of the tag. $\endgroup$
    – Asaf Karagila Mod
    Commented Jul 18, 2015 at 14:51
  • 1
    $\begingroup$ Perhaps it's time to add tags like completeness - logic, completeness - metric spaces, etc. (I don't spend any time with tags so presumably there is a better/more consistent wording, but you get the idea) $\endgroup$
    – Peter Woolfitt
    Commented Jul 18, 2015 at 15:12
  • 4
    $\begingroup$ @Peter: Well, I don't think there's any need for the tags related to logic (not to mention that there are three types of completeness just when you come to talk about first-order logic, and they are all kinda different). Maybe if the guys who roam the category theory tags think it's useful, they can start one about various category related completeness. I also don't think that complete metric spaces deserve a separate tag. $\endgroup$
    – Asaf Karagila Mod
    Commented Jul 18, 2015 at 15:30
  • 1
    $\begingroup$ @John: Amusingly, I ran into this old thing. :-) $\endgroup$
    – Asaf Karagila Mod
    Commented Jul 30, 2015 at 7:58
  • $\begingroup$ @AsafKaragila : LOL!${}{}$ $\endgroup$
    – user99914
    Commented Jul 30, 2015 at 17:17

2 Answers 2

Reset to default
6
$\begingroup$

After a few reappearances following its initial removal, the tag is now blacklisted. This should probably help prevent its return.

$\endgroup$
1
  • $\begingroup$ I should have told you that for completeness sakes, you should post this answer. I blame this missed opportunity on being tired. But Martin pointed you this way, which is also fine. $\endgroup$
    – Asaf Karagila Mod
    Commented Sep 23, 2015 at 12:22
7
$\begingroup$

Also, a measure space can be complete [meaning the subsets of null sets are measurable], a set of functions in a function space can be complete [meaning they span the space],... In addition to being ambiguous, this tag is also pretty far down on the hierarchy of usefulness.

From most to least useful:

  1. Knowledge areas: , , ...
  2. Mathematical objects: , , ...
  3. Properties of mathematical objects: , , ...
  4. Meaningless fluff: , , ...

Sure, let's blacklist . For now, I removed it from the questions that had it.

$\endgroup$
9
  • $\begingroup$ I feel like I'm supposed to add tags to that list. $\endgroup$
    – Asaf Karagila Mod
    Commented Jul 18, 2015 at 16:49
  • $\begingroup$ Saved you the trouble. $\endgroup$
    – user147263
    Commented Jul 18, 2015 at 16:51
  • $\begingroup$ I would be tempted to add "Specific mathematical objects" between "Knowledge areas" and Mathematical objects". The main problem being that such tags aren't used very frequently. $\endgroup$
    – user642796 Mod
    Commented Jul 18, 2015 at 17:26
  • $\begingroup$ @Arthur: Do you mean something like "this-set-right-here"? (Which is indeed not used very frequently, thank goodness.) $\endgroup$
    – Asaf Karagila Mod
    Commented Jul 18, 2015 at 17:29
  • $\begingroup$ @AsafKaragila Perhaps more like the Banach–Mazur compactum. $\endgroup$
    – user147263
    Commented Jul 18, 2015 at 17:32
  • $\begingroup$ I believe @Arthur means tags similar to (sorgenfrey-line) or (the-baire-space). See also this discussion in chat, which mentions sorgenfrey-line, and also discussion related to creating the-baire-space. $\endgroup$
    – Martin Sleziak
    Commented Jul 18, 2015 at 17:42
  • 2
    $\begingroup$ @Asaf: Thinking more like sorgenfrey-line, or klein-bottle, or constructible-universe (okay, the last one has the unfortunate defect of not actually existing). Not every question is about a specific, named mathematical object, but those that are benefit, IMHO, by being so categorised, for easier dupe-searches if nothing else. $\endgroup$
    – user642796 Mod
    Commented Jul 18, 2015 at 17:42
  • $\begingroup$ @Arthur: If the tag has returned in the meantime, is this casus belli to have it blacklisted? $\endgroup$
    – Asaf Karagila Mod
    Commented Jul 30, 2015 at 17:38
  • $\begingroup$ @Arthur: It's keep coming back! $\endgroup$
    – Asaf Karagila Mod
    Commented Sep 22, 2015 at 22:51

You must log in to answer this question.

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