The paper is a philosophical and foundational attack on the usual picture of the real numbers. It presses on a simple discomforting fact: almost all reals in the classical set-theoretic sense are not computable, not nameable in any explicit way, and have no obvious claim to physical reality. That puts it near the long-running split between classical mathematics, which is happy to admit objects proved to exist non-constructively, and constructivist or intuitionist views, which want mathematical existence tied to explicit construction.
The strongest line running through the comments was that this is not really a question about whether the universe contains a literal copy of the real line. It is a question about what formal system earns its keep. Several people pushed back on the idea that classical reals buy “basically nothing.” Their case was blunt.
Real analysis is a mature, widely shared language with powerful closure and completeness properties. That matters in places like calculus,
partial differential equations, Hilbert spaces, and quantum mechanics, where standard theorems are built around complete spaces and non-constructive existence results. The constructivist answer was not that computable numbers cannot support calculus, but that they can, while forcing you to be explicit about approximation and ruling out a lot of pathological machinery that many see as mathematical self-indulgence.
A second thread clarified that “physical realizability” is a weaker filter than many first assume. Even in a quantized universe, rationals can still be represented as ratios. The sharper question is not whether half an inch exists, but whether arbitrary irrationals or more exotic reals can be grounded by any physical construction. That distinction mattered because several commenters argued the debate gets sloppy when it jumps straight from “not physically measurable” to “therefore useless in mathematics.”
The thread also landed on a narrower but important correction to the anti-real argument: uncomputable reals are not all unnamed ghosts. Some can be defined perfectly well, for example by tying their digits to undecidable problems such as Chaitin-style constants, even though no algorithm can compute them. So the clean divide is not “
definable versus real” or “nameable versus real.” It is “constructively usable versus admitted by classical existence proofs.”
Overall the mood favored treating the paper as a provocative foundations piece rather than a practical takedown of mainstream mathematics. People were open to the constructivist critique. They did not buy the claim that classical reals are empty baggage. The consensus landing point was that reals remain an extremely effective abstraction, while constructivist systems are best understood as stricter alternative foundations with real tradeoffs, not obvious replacements.
arxiv.org