[Date Prev][Date Next] [Thread Prev][Thread Next] [Date Index] [Thread Index]

Re: dpkg doing wrong math (0.09 = 0.9) ?-

* Lionel Elie Mamane:

> Well, I have found one. Myself. You just have to interpret the part
> after the second point as the integer part of an infinitesimal:
>  Let ε be an infinitesimal, that is a strictly positive number
>  (that is ε > 0) smaller than any strictly positive real number
>  (that is ∀ n ∈ ℕ, n>0 implies ε < 1/n ).

Such a number does not exist because every set of reals which has a
lower bound has a real number as its infimum.

(Of course, such arithmetic structures can be defined, but it's a lot
more involved than that.)

> Then the version number x.y.z is interpreted as:
>  x.y + z * ε
> (And a.b.c.d is interpreted as a.b + c.d * ε)

In this context, it does not make much sense to allow only
non-negative integers for z, so your interpretation is anything but
natural and as good as any other total odering.

Reply to: