„Wovon man nicht sprechen kann, darüber muss man schweigen“
but if the thing can be interacted with, it can usually be mapped and defined and then named. But there will always be things which do not have names, at least in mathematics -- think of the real numbers.
But then by describing it you are committing it to a set of conditions this unnameable thing satisfies.
But then if you go beyond a narrow interpretation of that paradox and accept that naming and describing are both accomplishing the same fundamental thing, that being committing a thing to a condition (like a name) or set of conditions (like a description), you do run into the same problem.
Hmm, interesting. Now back to this E2E testing stuff I've been avoiding.
If we assume the real numbers exist, then perhaps the paradox resolves because there are uncountably many reals and only countably many nameable things, but then perhaps the paradox does not resolve because we assume ZFC is true and we can well order the reals, hence name the first unnameable real.
The reals can be ordered, just use x < y. I think you mean that if ZFC is true, we could enumerate unnameable reals (choose one with the axiom of choice, remove it, choose another one, etc.), but you could not enumerate them all. But it is true that you could get a "first" unnameable real.
That ordering is not a well-ordering, which is what the GP specified. A well ordering requires that every non-empty subset has a smallest element. That's not true for the reals ordered by x < y: for example, the set of all reals > 0 has no smallest element.
No one has explicitly shown that the reals can be well ordered, but it's a consequence of the axiom of choice that every set can be well-ordered. So in ZFC there must be a well ordering of the reals, even though no one has found one. Issues like this are why not all mathematicians accept the axiom of choice.
Sounds akin to the complexity inherent in cellular automata. We know via the rules how to mutate successive generations, but backwards propagation, algorithmic simplification, etc may exist but not traceable from any given ruleset.
but if the thing can be interacted with, it can usually be mapped and defined and then named. But there will always be things which do not have names, at least in mathematics -- think of the real numbers.
reply