[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: [lojban] The Quine challenge
From: "Jorge Llambias" <jjllambias@hotmail.com>
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
------------------------------------------------------------------------
DON'T HATE YOUR RATE!
Get a NextCard Visa, in 30 seconds! Get rates as low as
0.0% Intro or 9.9% Fixed APR and no hidden fees.
Apply NOW!
http://click.egroups.com/1/2120/1/_/17627/_/952118728/
------------------------------------------------------------------------
To unsubscribe, send mail to lojban-unsubscribe@onelist.com