Comment by zephen

The problem is that the same word is used for different things.

The comment you are responding to was correct in what "property" means in some settings.

The article itself says:

> A property is a universally quantified computation that must hold for all possible inputs.

But, as you say,

> but as those terms were adopted into less-than-academic contexts, the meanings have diluted.

And, in fact, this meaning has been diluted. And is simply wrong from the perspective of what it originally meant in math.

You are right that a CPU register is a property of the CPU. But the mathematical term for what the article is discussing is invariant, not property.

Feel free to call invariants properties; idgaf. But don't shit all over somebody by claiming to have the intellectual high ground, because there's always a higher ground. And... you're not standing on it.