How real are real numbers? (2004)arxiv.org
24 points by surprisetalk 5 hours ago | 9 comments