[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
[lojban] The Quine challenge
From: "Jorge Llambias" <jjllambias@hotmail.com>
> > A student at Yale may belong to zero or more clubs.
> > Some clubs are final clubs.
> > A final club is defined as "a club such that membership > in it
>precludes membership in any other final club".
I am assuming that "precludes" is not a symmetric
relationship, i.e. "membership in A precludes membership
in B" does not entail "membership in B precludes
membership in A". In practical terms it does entail it,
but I'm assuming that the definition of final clubs
rests on the preclusion rules of each club and not on
the practical preclusions resulting from the rules.
Otherwise the problem has a different solution.
Now, final clubs are well defined only in the
following situation: Membership in every club that
reciprocates all preclusions precludes membership
in every other club that reciprocates all preclusions.
(Note: clubs that have no preclusions against them
count as trivially reciprocating all preclusions.)
To see that this is necessary, assume it is not: then
there are at least two clubs X and Y that reciprocate
all preclusions, but membership in X does not preclude
membership in Y. Then we could choose either X or Y to
be a final club consistently with the definition, but
not both. In such case club finality would not be well
defined.
In the situation in which final clubs are well defined,
this is a non-circular definition:
A final club is any club which reciprocates
all preclusions.
(i.e., any club X such that membership in X precludes
membership in Y for any club Y such that membership in Y
precludes membership in X.)
Any takers?
co'o mi'e xorxes
______________________________________________________
Get Your Private, Free Email at http://www.hotmail.com
------------------------------------------------------------------------
GET A NEXTCARD VISA, in 30 seconds! Get rates as low as 2.9%
Intro or 9.9% Fixed APR and no hidden fees. Apply NOW!
http://click.egroups.com/1/936/1/_/17627/_/952096428/
------------------------------------------------------------------------
To unsubscribe, send mail to lojban-unsubscribe@onelist.com