Re: A Logical Model for Lists as Relations

Marshall Spight wrote:
> Brian Selzer wrote:
>

>>Marshall Spight wrote:
>>
>>>But a list can be described as a relation. Most simply, an infinite
>>>list is a relation from the natural numbers to the target set,
>>>and a finite list is a relation from some finite contiguous subset
>>>[0..n] of the naturals to the target set. Generalizing, we could
>>>describe an n-ary list as a relation with an index attribute and
>>>zero or more other attributes.
>>
>>I thought that whole numbers begin with 0 and natural numbers begin with 1.

Could I lure you into proposing a "natural numbers" entry for the c.d.t. glossary? Received on Thu May 11 2006 - 20:33:15 CEST