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 skissane on Thursday July 15, 2021 @08:24PM (#27851768)
> in that it yields only models that have elements that are larger than every written numeral.

Are these like hyperintegers (or should I say hypernaturals), as in the hyperrreal numbers used in non-standard analysis?

[ Parent | on HN ]

There are no comments on this comment yet.