On Thu, Aug 30, 2012 at 10:34 AM, Dave Dyer <ddyer@real-me.net> wrote:
At 09:42 AM 8/30/2012, James Propp wrote:
That would certainly be easy to code.
We don't know the identities of very many interesting numbers. I suppose it would be easy and moderately interesting to zoom in on the zone containing pi e e^pi pi^e and so on.
Expanding the space between each pair of rationals to include infinitely many more rationals would be fairly straightforward but boring; but how would you represent the infinite number of irrationals between each of the infinitely many rationals you can't even see yet?
That was part of the point of my crack about the line that doesn't change as you zoom. Any labels you put on points on the line will necessarily only be a computable subset of the reals. -- Mike Stay - metaweta@gmail.com http://www.cs.auckland.ac.nz/~mike http://reperiendi.wordpress.com