Re: [math-fun] zooming in on the reals

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?