Thematics Of Order

[Jon Awbrey]

o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o

TOO.  Note 5

o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o

Re: TOO.  http://stderr.org/pipermail/inquiry/2005-April/thread.html#2541

Difference, in the multiplicative context of M = {1, 2, 3, ...},
being a mapping from an ordered pair of numbers <x, y> in M x M
to a measure of "how true" the order statement "x < y" is, here
characterized as a value in T x M = {-, 0, +} x M, either part
of which one might choose to ignore in a given application,
one might well ask whether there is something similar for
ordered k-tuples, say, a function 'inorder' : M^k -> M
that measures how much in order a given k-tuple is.

In the spirit of participatory maths,
I will let folks think about that on
their own recognizance for the while.
It's very unlikely there is anything
like a unique answer to the question,
though.

Jon Awbrey

o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o
inquiry e-lab: http://stderr.org/pipermail/inquiry/
o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o