Re: Thinking about MINUS

Marshall wrote:
> On Jan 8, 9:22 am, "Aloha Kakuikanu" <aloha.kakuik..._at_yahoo.com> wrote:
> > paul c wrote:
> >
> > > Well, if I have 10 Navel Oranges and 10 Tangerine Oranges and I ask how
> > > many Florida Oranges I've got, I would hope the answer would be zero,
> > > not "contradiction".
> >
> > This is why the concept of type (or domain) is not such a great idea.
>
> !
>
> I would have to disagree with that assertion.

Why do we even speak about types in this example? The example is clearly about units (and not about types and domains). How is

"10 Navel Oranges"

is different from

"10 cm"

? And mathematics suggest a very elegant treatment of [physical] units, where

"10 cm"

is interpreted literally as "10" multiplied by some value called "cm"... Received on Tue Jan 09 2007 - 02:47:01 CET