News for hackers. Stuff that matters.

A comment on To Be or Not to Be – Mathematical Existence and the Axiom of Choice. Parent comment

Re:To Be or Not to Be – Mathematical Existence and the Axiom... by bmitc on Tuesday November 29, 2022 @02:58PM (#33792422)
> We can encode the idea of infinite sets and their relationship to one another with a finite set of symbols.

I have thought about this, but it isn't entirely clear to me. For example, what is the bit encoding of the real numbers? Is it really accurate to say we have an encoding of them by just saying we have the set R?

> But we can't enumerate those sets.

Well, that's kind of the point of my question. Is this not an issue?

[ Parent | on HN ]
Re:To Be or Not to Be – Mathematical Existence and the Axiom... by sapiol on Wednesday November 30, 2022 @06:07AM (#33799196)
I emphasize: We can encode THE IDEA or THE ABSTRACTION of infinite sets with a finite set of symbols.
[ Parent | on HN ]