Set theory upsets me
Conversation
Let's talk about ordinals. You've got successor ordinals and limit ordinals and maybe a zero. That's what ordinals *are*. But I'm reading about "plump ordinals" and it starts off with "a set x is a plump ordinal if every element of x is an ordinal" and I'm like what does it MEAN
4
6
What do you mean it's IN the ordinal. What do you mean it's a SUBSET of the ordinal. It makes no sense to me and it feels like an illegal inspection of implementation details like you're trying to talk about the bytes that make up a tree
5
2
14
Set theorists defined functions as sets of pairs of inputs and outputs and it has only gone downhill from there
2
9
Replying to
These are REAL sets created by REAL set theorists.
They have played us for absolute fools.