How real are real numbers? (2004)

15 pointsarxiv.org
surprisetalk4hrs