Wednesday, January 27, 2010

The pitiable arithmetic of one, two, many...

Occasionally one will find accounts of hunter-gatherers whose numbering system goes as one, two, many.  Such accounts usually have just a whiff of superiority about them.

Nevertheless, one, two, many, provides a small but workable arithmetic, especially if augmented with nothing and don't know, e.g. :

            1+1 = 2,

            1+2 = many,

            1+many = many,

            2+1 = many,

            2+2 = many,

            2+many = many,

            many+many = many,

            1-1 = nothing,

            2-1 = 1,

            2-2 = nothing,

            many-1 = don't know,

            many-2 = don't know,

            many-many = don't know.

The funny thing is that we ultranumerate moderns have something that behaves a lot like many.  We call this thing infinity.  So, for instance,

            1+ = ,

            2+ = ,

            + = ,

            - = don't know.

In particular, doesn't scale :  n  = .   nothing and 0 don't scale either, but there the behavior is just what we would expect.  With , as with many, the behavior seems much less legitimate :  do we really expect any large thing to be the same as twice itself?

Why not just invent a well-behaved, i.e. scalable, infinity, or at least a unit of infinityness?  Let us invent one, and call it Ω.  We require that, for instance, 2Ω>Ω.  In fact, we treat Ω as a new kind of number that is larger than any real number, but is otherwise as well-behaved as we can get it to be.

It is amusing to play with this quantity.  But for real fun, we need to look at quantities in base Ω.  For that will take us to infinitesimals and calculus.

No comments:

Post a Comment