Re: Ping: dawn, some mvl questions
From: x <x_at_not-exists.org>
Date: Thu, 25 May 2006 13:26:26 +0300
Message-ID: <e540je$d4q$1_at_emma.aioe.org>
Date: Thu, 25 May 2006 13:26:26 +0300
Message-ID: <e540je$d4q$1_at_emma.aioe.org>
"JOG" <jog_at_cs.nott.ac.uk> wrote in message
news:1148257929.572212.195810_at_38g2000cwa.googlegroups.com...
> There is a lot of ad-hoc discussion of lists on cdt. Now logical
> statements, they appeal to me. They seem to provide the basis for a
> solid theoretical framework. I can see where I stand with predicate
> logic.
>
> As such, I would be much obliged if a List-point-of-view advocate,
> could step back from the 'model' for a second, rewinding to the
> original statements themselves, and explain to me how a list ought be
> described in terms of formal logical propositions. Thanks in advance,
> Jim.
What do you mean by describing a list ?
Here is a formal logical proposition: [1,2,3]
Received on Thu May 25 2006 - 12:26:26 CEST