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.
>
>
> I went searching for a reference and was surprised to discover that
> there is no agreement on these terms!
Could I lure you into proposing a "natural numbers"
entry for the c.d.t. glossary?
Received on Thu May 11 2006 - 13:33:15 CDT
