# A nonstandard random number generator?

I'm throwing the following idea out for consumption, and see if anyone has anything useful to say about it.

Suppose we're working in the IST form of nonstandard analysis. Suppose that we have a sequence of irrational real numbers

such that whenever is a nonstandard natural number and is a standard natural number

. Here is the indicator function for the volume . I suppose that we should allow to be infinitesimal, and put a requirement on related to the size of , perhaps . This only matters for infinitesimal volumes.

Roughly, for any standard number of dimensions, a sample of vectors of length n, of nonstandard size will have a number of points inside a volume proportional to the volume, regardless of the starting point in the sequence .

This sequence is basically a model for an ideal random number generator of the type used in computers. It's not clear to me whether such a sequence can be shown to exist. Perhaps an infinite number of such sequences exists! But if it could, this would seem to be a nice basis for matching probability theory to probability practice.