The Countable Reals — mentioned by Smaug123

Sat, 29 Aug 2026 08:38:57 GMT

You didn't name the object when you said "let this thing be X"; you actually had already identified that "thing", and that process of identification was the process of naming it. You then defined some syntax ("X") and said that it was a name. But there are things for which you can't even say "let 'this thing' be…". For example, ZF proves that there are uncountably many reals. There are only countably many names, so there must be unnameable reals. You can talk about "generic" reals (you can say "let x be a real" and do all sorts of interesting things with a generic x), but there are specific…

Paper and discussion history. A mention is not an endorsement.

The Countable Reals — HN submission

Fri, 14 Mar 2025 01:51:51 GMT

The Countable Reals (2024)

1 point; 0 discussion replies on HN. Paper and source history. A submission is not an endorsement.

The Countable Reals · HackerPapers discussions

The Countable Reals — mentioned by Smaug123

The Countable Reals — HN submission