>>11425618>acceptWhat does this even mean here.
Taking a stance about what numbers have a realization in the Platonic realm?
You won't get around working with a system in which uncomputable numbers are at least definable.
>>11425515The idea of a power set of an infinite set is problematic for starters.
>>11425582Nobody would adopt the axiom of choice if it wasn't, by a historical accident, just adopted by some people between 1880 and 1930.
It's about as valuable as having the letters capital i and small L look similar on a computer screen. It's a shitfest we have to live with but are just so used to it that we usually don't debate it. Despite of how shitty the situation is. We're like one-handed people who just learned to cope. And as long as we only surround us with people who also just one hand, it's not gonna make us jelly and feel bad. It's what it is. Our life could be better, but we cope. E.g. by posting that it doesn't matter and only boomers have problems with it. It's a mental trick we play on ourself. It's like having no balls, but you tell yourself you don't want kids anyway. Only boomers want balls. Or have sex. Fuck sex. It's not like food, you don't die with it.
It's the same with the Axiom of Choice. It hides inaccessibility from us and so we run around without balls and one hand, but as long as our prof also lives that way, we can spite those 2-ball boomers. Fucking boomers, right?
