This quote is old. Why would he repost this now? Did he try Linux again? Or it's just for the pleasure of trolling? (which is fine, not saying, just wondering if there's a context to this "reminder")
The quote is also wrong, any planet without a Linux system satisfies the predicate "100% of Linux systems have working audio", and they are many of them.
I'm not speaking about this. I'm wondering what pushed jwz to repost his quote.
I have my own stories of sound that don't work 100% fine on Linux. I'm sure it's true of all OSes, try searching "Windows audio issues" on any mainstream search engine for some evidence of this.
This is one of those things where math doesn’t apply to reality (applied maths vs. theoretical maths). If you have zero of something, you just have zero. You can’t have infinite something just because you have zero of them.
It's not a case of math not applying to reality. It's a case of not using the right tool/model.
There's no meaningful (both theoretically and practically) answer to the question "What proportion '0 out of 0' represents?". You can't answer 0%, you can't answer 100%, nothing in between neither. There can be a proportion only if there are a non-zero amount of things you want to count.
"0/0" is not the right model. It never is. "100% of 0", however, means (100/100) × 0, which is well defined and equals 0. The quote says "100% of [something evaluating to 0 in our case]".
Note that I didn't mention infinity. I mentioned 0/0 being undefined. There's nothing about 0/0 that's infinity. The limit of c/x when x goes to 0 is equal to infinity, c being a constant different from 0 (+infinity if x is positive, -infinity if x is negative). lim 0/x is 0 when x -> 0 because 0 over anything non-zero, however small, is 0. The limit is yet another tool that's not really related to what we are discussing unless I'm missing something.
The reason it is undefined is because 0/0 is infinity or 0 (you can prove it either way). Thus there is not a 'definite' result. However, in practicality, an entity cannot have infinite of something, so the result must be 0 even though it is theoretically 'undefined.'
This is not a question of proof, this is a question of definition. x/y is not defined for y=0.
0/0 is not infinity nor 0. It is not, full stop. At most you can decide by convention that 0/0 should be treated like infinity or 0 in your particular cases.
(though I'm interested if you have pointers about this)
In math, when something is "undefined" it doesn't mean "it is not, full stop." it means that there are multiple answers or no answers with whatever rules we are working with. For example, when you can only work in the field of Real Numbers, the square root of a negative number is undefined (though it is an imaginary number).
In our case, we're saying 0/0 planets (caveat: other than Earth and Mars) have a Linux computer on them; then continuing to say that is 100%. This is clearly not true in any common sense term, since there is not a computer on every planet in the universe. Thus 0/0 == 0% in this case. In real life, the laws of mathematics apply differently than theory. In real life, there is no such thing Zeno's Paradox because eventually you'll reach Planck Scale and then it just depends on how you round, whether you reach the end or not.
The quote is also wrong, any planet without a Linux system satisfies the predicate "100% of Linux systems have working audio", and they are many of them.
edit: I also doubt Ingenuity can play audio.