News for hackers. Stuff that matters.

A comment on How many real numbers exist? New proof moves closer to an answer. Parent comment

Re:How many real numbers exist? New proof moves closer to an... by hypersoar on Thursday July 15, 2021 @01:38PM (#27847468)
You can find a natural number that is bigger than any one natural number, but you can't write one down that's bigger than every natural number in the ZFC sense.
[ Parent | on HN ]
Re:How many real numbers exist? New proof moves closer to an... by gooberwonder on Thursday July 15, 2021 @03:08PM (#27848770)
45,000,000,001?
[ Parent | on HN ]
Re:How many real numbers exist? New proof moves closer to an... by agalunar on Sunday July 18, 2021 @01:58AM (#27871029)
Look around you!
[ Parent | on HN ]
Re:How many real numbers exist? New proof moves closer to an... by munk-a on Thursday July 15, 2021 @04:50PM (#27849967)
Do you mean that given finite resources (like time and matter) we would be unable to express the number? Or are you talking about a sort of recursive thing where writing down a number which is a sum of all natural numbers up to and including itself is impossible since that number is bigger each time you look at it?
[ Parent | on HN ]
Re:How many real numbers exist? New proof moves closer to an... by dwohnitmok on Thursday July 15, 2021 @02:13PM (#27848057)
> that's bigger than every natural number in the ZFC sense.

I'm not sure what you mean by this.

Even for nonstandard models of the natural numbers there will never be a single number larger than all other numbers, since that violate the Peano axioms.

Did you mean by "in the ZFC sense" "the standard model?"

[ Parent | on HN ]