Every story and comment from the Hacker News API, in a layout borrowed from 2001.
A comment on How many real numbers exist? New proof moves closer to an answer. Parent comment
What does "to exist" mean for number which can not be written down as some formula (in broad sense of this word) in formal language?
There are no comments on this comment yet.
What does "to exist" mean for number which can not be written down as some formula (in broad sense of this word) in formal language?