[dia80]

You are going to love this:

How real are real numbers?

https://arxiv.org/abs/math/0411418