24
$\begingroup$

Some one has decided to create a new tag for the whole (0.999) questions, and then tag 13 questions within a short time.

I've left that user a comment regarding this behavior, but I wanted to raise the question whether or not we need that tag at all? Is (0.999) a reasonable tag?

$\endgroup$
  • 29
    $\begingroup$ No. It is not. It is not even correctly typed: the questions to which it is applied generally concerns the repeating $0.\overline{99}$ and not the number $999 / 1000$. It probably should be merged into number-systems. But I haven't looked carefully at all 13 to see if there are any exceptions. $\endgroup$ – Willie Wong Nov 21 '13 at 13:43
  • 15
    $\begingroup$ Maybe the little-used decimal-expansion is a better merge target. $\endgroup$ – user642796 Nov 21 '13 at 13:56
  • 8
    $\begingroup$ @Arthur: I think it might be wise just to nuke the tag and go on. It seems mostly about $0.\bar9=1$. And I mean, how many questions are we going to have on the topic which are not duplicate? Like five or six? All the rest could be reduced back to those and the plethora of answers they have received. $\endgroup$ – Asaf Karagila Nov 21 '13 at 13:58
  • 11
    $\begingroup$ I think that we do not need this tag. The only use it has is to collect all these questions and, if not burn them, then at least close all but the first as duplicates. $\endgroup$ – Jyrki Lahtonen Nov 21 '13 at 22:01
  • 2
    $\begingroup$ @Jyrki: Should we also shoot the authors of these questions as well, or perhaps just cut off their fingers would suffice? :-) $\endgroup$ – Asaf Karagila Nov 21 '13 at 22:03
  • 5
    $\begingroup$ @AsafKaragila Cutting of $0.\bar{9}$ fingers will suffice. $\endgroup$ – N. S. Nov 22 '13 at 0:19
  • 12
    $\begingroup$ I think you mean $0.\overline{9}$ finger. $\endgroup$ – Joel Reyes Noche Nov 22 '13 at 0:58
  • 5
    $\begingroup$ This question needs a $(0.999)$ tag too. $\endgroup$ – Lord Soth Nov 22 '13 at 1:49
  • 9
    $\begingroup$ In response to the concern raised by @WillieWong I suggest we change the tag to (1.000). $\endgroup$ – Karl Kronenfeld Nov 22 '13 at 7:15
  • 1
    $\begingroup$ @ArthurFischer: That sounds fine. One of us should go ahead and do the merge. $\endgroup$ – Willie Wong Nov 22 '13 at 8:54
  • 2
    $\begingroup$ @Willie: I yearn for the days where moderators could have just deleted a tag... $\endgroup$ – Asaf Karagila Nov 22 '13 at 11:06
  • 2
    $\begingroup$ @WillieWong, when I attempted to create the tag "0.999..." the dots got deleted and the tag "0.999" was created instead. The questions mostly concern the issue why the string "0.999..." evaluates to 1. In other words, the string itself is the issue and not the real number it evaluates to. Thus renaming it "1.000" is not too informative. Having such a tag will make future duplications on this subject easier to spot. $\endgroup$ – Mikhail Katz Nov 25 '13 at 15:17
  • 1
    $\begingroup$ @user72694: The point is that there are generally two or three non-isomorphic questions, and those were asked and are easy to find. $\endgroup$ – Asaf Karagila Nov 25 '13 at 15:24
  • 2
    $\begingroup$ @user72694: see Jyrki's comment. I somehow doubt users would be so kind as to tag their questions 0.999 is it becomes clear that that tag just collects duplicates. Much easier to just write up a canonical answer on the subject and tag it as (faq), and close all trivial permutations of it as duplicate. $\endgroup$ – Willie Wong Nov 25 '13 at 16:20
  • 4
    $\begingroup$ @user72694: This is why I said that the majority of the questions are isomorphic to a small handful of questions which are easy to find. I do agree there are a few other interesting questions, but not enough to merit a whole dedicated tag. $\endgroup$ – Asaf Karagila Nov 25 '13 at 16:51
4
$\begingroup$

In view of the discussion and vote counts above, I have merged (0.999) into . The choice of target tag is due to

  1. Arthur's much upvoted comment above.
  2. 10 of the 13 questions using the tag already uses , so this is the minimally disruptive way of removing the tag.
$\endgroup$
13
$\begingroup$

No way. This is a micro-interest tag. It is not worthy of a category on this forum. We all know that some base expansions are just not unique. We all get over this.

$\endgroup$
  • $\begingroup$ An optimist, are you? $\endgroup$ – dfeuer Dec 4 '13 at 13:35
  • 1
    $\begingroup$ When I see a great pile of horse-dung, I keep digging until I find the pony. $\endgroup$ – ncmathsadist Jan 26 '14 at 1:18
4
$\begingroup$

The only advantage I see to having a tag like this is that I can add it to my 'ignored tags' list.

$\endgroup$

You must log in to answer this question.

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