How many real numbers exist? New proof moves closer to an answer

Re:How many real numbers exist? New proof moves closer to an... by logicchains on Saturday July 24, 2021 @12:17AM (#27938358)

>suppose we define the reals through Dedekind cuts

You can't define the classical reals this way in a constructive setting, only the computable reals.

[ Parent | on HN ]

Re:How many real numbers exist? New proof moves closer to an... by kmill on Saturday July 24, 2021 @01:56PM (#27943043)

Ok, but I'm not sure what your point is. Throwing out only the axiom of choice (which is the difference between ZFC and ZF) does not make things constructive. If you're thinking of Diaconescu's theorem, it's that choice implies the law of the excluded middle, but the converse is certainly not true.

I was objecting to this:

> Generally a lot of counter-intuitive constructions disappear when eliminating the axiom of choice (such as [...] non-continuous functions).

[ Parent | on HN ]