Re: A Logical Model for Lists as Relations
From: Mikito Harakiri <mikharakiri_nospaum_at_yahoo.com>
Date: 11 May 2006 21:15:52 -0700
Message-ID: <1147407352.806745.271870_at_y43g2000cwc.googlegroups.com>
Date: 11 May 2006 21:15:52 -0700
Message-ID: <1147407352.806745.271870_at_y43g2000cwc.googlegroups.com>
vc wrote:
> Vadim Tropashko wrote:
> [...]
> > To reply to another thread where Bob raised the utility question, it is
> > undoubtful that sequences appear all over the math. Arguably, sequence
> > is even more frequently occuring concept than set.
>
> Surely, the sequence is defined in terms of sets, no ? (although,
> that depends on your definion of the sequence).
Don't you need ordered pair definition as well? I refuse to accept Kuratovski set trick as ordered pair representation in terms of sets.
Alternatively, a sequence can be defined axiomatically via Kleene algebra. Received on Fri May 12 2006 - 06:15:52 CEST