Every story and comment from the Hacker News API, in a layout borrowed from 2001.
A comment on Georg Cantor and His Heritage. Parent comment
This combination of words seems strange.
Like: proof of ‘zero’ or proof of ‘left’.
All of them have definitions, not proofs.
(Qualitative distinction of different infinity types has a proof though)
There are no comments on this comment yet.
This combination of words seems strange.
Like: proof of ‘zero’ or proof of ‘left’.
All of them have definitions, not proofs.
(Qualitative distinction of different infinity types has a proof though)