Re: RM formalism supporting partial information

Alfredo Novoa wrote:

> Hi,
>
> On 16 nov, 18:44, Bob Badour <bbad..._at_pei.sympatico.ca> wrote:
>

>>>In a tuple I would call "tuple elements" to the pairs formed by name
>>>and value.
>>
>>I am not sure the name is necessarily part of the element other than to
>>identify it.

In this context, your assertion is rather like 'transportation is essential'. Either buses or bicycles suffice. As I said, I am not sure the name is necessarily part of the element. We must have some way to identify the elements, but any identification method suffices. Of course, we choose names over positions because positions are necessarily tied to a specific medium, and we want to use media-independent representations.

>>I am not sure if that is clear enough. In mathematics, we
>>sometimes use names and we sometimes use position to identify the
>>elements of tuples.

In traditional mathematics, we also use names. My highschool algebra and functions and relations courses depended quite heavily on x, y, z, theta, r and phi -- not to mention the occasional u, v and w. Received on Tue Nov 20 2007 - 19:55:36 CET