Hacker News Reader

Comment by StevenWaterman | Hacker News Reader

I mean technically all the linux systems on Jupiter have working audio

What do logicians call this? A null positive? Is that allowed? E.g. obviously it's correct that "no Linux systems on Jupiter do not have working audio", but is "all X do/have Y" a valid syntax for zero X?

I am confused by the very notion of being "on" Jupiter.

Every logical statement beginning with `∀ e ⊂ ∅` is true.

Well, you need to evaluate "{ x | x on Jupiter }" to know that it's ∅.

https://news.ycombinator.com/item?id=37478377

I love this discussion ><

Jupiter has no surface, so the proposition doesn't even parse.

In Jupiter, then.

In? What does it mean to be in if it has no surface? Let's try something probabilistic instead! Mahalanobis distance?

The set of 3D positions belonging to the surface of Jupiter is the empty set. All of those points have a Linux system on them with working audio.

There.

In which case every logical statement belonging to the set of “statements that begin with `∀ e ⊂ ∅` and are false” is true as well.

Yes.

Try me and find one single counter example to contradict me :-)

(edit: You could try something like ∀ e ⊂ ∅ ∨ ⊤ - adding "or true" at the end - but that's not really what littlestymaar meant)

https://en.wikipedia.org/wiki/Russell%27s_paradox

Not sure it's related, this set of statements is not about statements containing themselves or the set itself. You need a set of sets for the Russell paradox to have chances to kick in.

atmospheres count!

all atmospheres matter!

Reply on news.ycombinator.com