« first day (2767 days earlier)      last day (1555 days later) » 

8:33 AM
This is funny. :-)
A: Tag management 2020

kludgProposal: Merge probability and probability-theory tags. The idea behind having two tags is to divide basic and advanced probability questions, but it does not work and I believe it couldn't work. It is better to have single probability tag and use additional tags like combinatorics, measure-the...

> PS: Downvotes show that is like a suitcase without a handle: hard to carry but a pity to throw away.
Probably two tags that are close to each other can be maintained, but it requires a lot of work from users who frequent those tags.
An example could be the tags and . Asaf Karagila and Andrés E. Caicedo follow these tags very closely and they retag what is needed.
SEDE queries showing removals of (set-theory): data.stackexchange.com/math/query/1038474/… data.stackexchange.com/math/query/1038477/… (Each of these two users has around 4000 retags in this query.)
Adding (elementary-set-theory): data.stackexchange.com/math/query/1105163/… data.stackexchange.com/math/query/1146497/… (Both have over 1000 such retags.)
Removing (elementary-set-theory): data.stackexchange.com/math/query/1038474/… (Asaf Karagila over 1000, Andrés E. Caicedo over 500.)
Situation is probably much worse with and .
In fact, it is not exactly clear how the tags should be split and some users are against the existence of : How to differentiate between (elementary-number-theory) and (number-theory).
Regarding the recent edit, it is probably possible to maintain a pair of such tags - but for that some users who will follow the tag will be needed. For example, (elementary-set-theory) and (set-theory) are in quite good shape since there are users who follow them very closely and retag the questions when needed. — Martin Sleziak 2 mins ago
Do you think that renaming the tag to (elementary-probability) would it make more likely that people would be using the tags correctly (i.e., in the way they are described in the tag info)? Currently (elementary-probability) is a synonym of probability, with (probability) as the master tag. — Martin Sleziak 1 min ago
9:37 AM
@MartinSleziak I don't think that retaging questions by other users is good idea; also I don't think that the current status of probability-theory tag as an alternative to probability tag is a good idea; anyway, it does not work in practice. I think probability-theory can be used either as a secondary tag for the main probability tag, or simply removed. And there is no need in elementary-probability tag. — kludg 45 secs ago
4 hours later…
1:52 PM
Q: Tag suggestion - realizability

ternaryI would like to suggest the addition of a tag "realizability" for questions related to realizability interpretations of logical formulas.

2:35 PM
In mathematical logic, realizability is a collection of methods in proof theory used to study constructive proofs and extract additional information from them. Formulas from a formal theory are "realized" by objects, known as "realizers", in a way that knowledge of the realizer gives knowledge about the truth of the formula. There are many variations of realizability; exactly which class of formulas is studied and which objects are realizers differ from one variation to another. Realizability can be seen as a formalization of the BHK interpretation of intuitionistic logic; in realizability the...
2 hours later…
4:23 PM
A new tag was created by Nathaniel.
Q: Uniqueness condition for the em algorithm in information geometry

NathanielIn his book, Information Geometry and its Applications, p. 28, Amari makes a statement without proof (quoted in the form of an image below) that seems to be incorrect. I would like to know whether the claim is wrong, or if I have understood it incorrectly. If I've misunderstood it, I'd like to kn...

A new tag was created by P. Quinton.
Q: $[D_f(P\|Q), D_g(P\|Q)]$ as a convex combination of 2 of the same object on binary alphabet

P. QuintonWhile reading (No need to go see the paper) this paper, I felt like Theorem 8 may be provable more easily without using barycenters of extreme points of some sets of measures. Let $f$ be a convex function on $(0,\infty)$ such that $f(1)=0$ and for two measures $P$ and $Q$ on the same measurable ...

"Natural parameter" links here. For the usage of this term in differential geometry, see differential geometry of curves. In probability and statistics, an exponential family is a parametric set of probability distributions of a certain form, specified below. This special form is chosen for mathematical convenience, based on some useful algebraic properties, as well as for generality, as exponential families are in a sense very natural sets of distributions to consider. The term exponential class is sometimes used in place of "exponential family", or the older term Koopman-Darmois family. The...
In probability theory, an ƒ-divergence is a function Df (P  || Q) that measures the difference between two probability distributions P and Q. It helps the intuition to think of the divergence as an average, weighted by the function f, of the odds ratio given by P and Q. These divergences were introduced and studied independently by Csiszár (1963), Morimoto (1963) and Ali & Silvey (1966) and are sometimes known as Csiszár ƒ-divergences, Csiszár-Morimoto divergences or Ali-Silvey distances. == Definition == Let P and Q be two probability distributions over a space Ω such that P is absolutel...
5:04 PM
@MartinSleziak The same user had created the same tag a few weeks ago, but it was removed. To my knowledge this is the 4th time the tag is created.
Apparently it is only the third, because what I thought was the second one had a typo : chat.stackexchange.com/transcript/message/50548786#50548786
4 hours later…
9:13 PM
A: Tag management 2020

ternaryPlease create the tag "realizability" for questions regarding realizability as the term is used by researchers like Kleene, Kreisel, Troelstra and also in more modern work. This would be rather useful because the term is sometimes used in completely different contexts, so having a well-defined ta...

2 hours later…
11:17 PM
A: There are $5\text,931$ questions tagged both elementary-number-theory and number-theory

Matthew DalyIn the past week or so, I edited the tag-wiki for ENT to make it far less wishy-washy that primitive roots and quadratic residues were NT and everything before that in a typical class or textbook are ENT. (It's not quite easy vs. non-easy. For instance, Pythagorean triples are the solutions to a...

Both the tag-wiki and the tag-excerpt for have been edited.
The division between the two tags was also discussed here: How to differentiate between (elementary-number-theory) and (number-theory).
Q: How to differentiate between (elementary-number-theory) and (number-theory)

Martin SleziakThe 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...

I will mention that the division between these two tags was also discussed here: How to differentiate between (elementary-number-theory) and (number-theory). But one cannot say that some consensus was reached. (In fact, some users suggest that (elementary-number-theory should be a subset of elementary-number-theory). — Martin Sleziak 9 secs ago

« first day (2767 days earlier)      last day (1555 days later) »