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

From: Dan Asimov <dasimov@earthlink.net>

What features do you want to display?   (And how could you omit this from your question?!?)

On 2012-08-29, at 6:24 AM, James Propp wrote: << Has anyone created interactive software that lets one zoom in on the real line?

Half of the problem when answering a question is to work out what the question should be! Were I to have make the request, I think I'd relate the zoom depth to Kolmogorov complexity given some fairly simple alphabet of terminal symbols, for example what we're happy us mostly unambiguous when using in ASCII text. If a real has a short enough expression to generate it, plot it on the line. I'd leave "relate" and "short enough" as an exercise for the implementor! ;-) Phil