[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: The Quine challenge
- Subject: Re: The Quine challenge
- From: "Jorge Llambias" <jjllambias@hotmail.com>
- Date: Fri, 03 Mar 2000 13:25:27 PST
la djan cusku di'e
>And you're right: in the club specifications, I meant "precludes" to be
>asymmetric, but in the definition of "final club" I meant it to be
>symmetric. The asymmetry was just for brevity: you can cure it by
>adding a general rule: "Membership in any club K precludes membership
>in every club that explicitly precludes membership in K."
Ok. Now, in your example, final clubs were not well defined.
B was final, one of A or C could be final but not both and
one of D and E could be final but not both. So, is there any
possible set of club specification such that not every club
is final? I don't think there is.
co'o mi'e xorxes
______________________________________________________
Get Your Private, Free Email at http://www.hotmail.com