Re: udev and devfs - The final word

Paul Rolland
2004-01-05T19:10:36Z

Hello,

> > Two dimensional discrete space (*) is enumerable. Just
> start at [0,0]
> > and assign numbers going around the center in a growing spiral (**).
> > That way you assign a number to every point in that space.
> This is very
> > similar to the trick used to demonstrate fractions are enumerable.
>
> Vojtech, a spiral (in the math sense) won't work because whatever
> continuos function you choose for the radius, you are going to skip
> integers when the radius grows (and duplicate them when it's
> small). Also,
> IIRC, fractions are enumerable because they're a mapping from two
> enumerable spaces (integers): F = F(I1, I2) = I1 / I2.
>
No, I think Vojtech was meaning this kind of spiral and
enumeration :

...16 15 14 13
5 4 3 12
6 1 2 11
7 8 9 10

and so on... The spiral in not to be taken in the math sense...

Regards,
Paul