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:58PM (#27867949)
As you allude, it's rather ridiculous to make certain philosophical commitments but only apply them to natural numbers. I think ordinary finitism will do fine though, no need to go to ultrafinitism.

There are no comments on this comment yet.