News for hackers. Stuff that matters.
Re:How many real numbers exist? New proof moves closer to an... by pavpanchekha on Thursday July 15, 2021 @03:41PM (#27849158)
Yes, I actually have a kind-of related blog post:

https://pavpanchekha.com/blog/proof-system-os.html

I tried to restrict my post to just set theory because this philosophical point is often hard for people to grasp.

There are no comments on this comment yet.