News for hackers. Stuff that matters.
Re:How many real numbers exist? New proof moves closer to an... by ummonk on Saturday July 17, 2021 @02:47PM (#27867875)
'because it asserts the existence of natural numbers that have no "written form"'

I mean, mainstream axiomatic systems assert the existence of real numbers that have no written form (after all, only countably many entities can have a written form), so how is this any different?

There are no comments on this comment yet.