Hacker Next
How real are real numbers? (2004)arxiv.org
57 points by surprisetalk 12 hours ago | 47 comments