[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Re: The Quine challenge



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