ParentFull threaddia80·You are going to love this:How real are real numbers?https://arxiv.org/abs/math/0411418View on HN