Return-Path: Delivered-To: shoulson-kli@meson.org Received: (qmail 30000 invoked from network); 3 Mar 2000 21:25:44 -0000 Received: from zash.lupine.org (205.186.156.18) by pi.meson.org with SMTP; 3 Mar 2000 21:25:44 -0000 Received: (qmail 25110 invoked by uid 40001); 3 Mar 2000 21:25:43 -0000 Delivered-To: kli-mark@kli.org Received: (qmail 25107 invoked from network); 3 Mar 2000 21:25:42 -0000 Received: from hl.egroups.com (208.48.218.14) by zash.lupine.org with SMTP; 3 Mar 2000 21:25:42 -0000 X-eGroups-Return: sentto-44114-2175-mark=kli.org@returns.onelist.com Received: from [10.1.10.35] by hl.egroups.com with NNFMP; 03 Mar 2000 21:25:39 -0000 Received: (qmail 27390 invoked from network); 3 Mar 2000 21:25:27 -0000 Received: from unknown (10.1.10.26) by m1.onelist.org with QMQP; 3 Mar 2000 21:25:27 -0000 Received: from unknown (HELO hotmail.com) (216.33.241.172) by mta1.onelist.com with SMTP; 3 Mar 2000 21:25:27 -0000 Received: (qmail 410 invoked by uid 0); 3 Mar 2000 21:25:27 -0000 Message-ID: <20000303212527.409.qmail@hotmail.com> Received: from 200.41.247.49 by www.hotmail.com with HTTP; Fri, 03 Mar 2000 13:25:27 PST X-Originating-IP: [200.41.247.49] To: lojban@onelist.com MIME-Version: 1.0 Mailing-List: list lojban@onelist.com; contact lojban-owner@onelist.com Delivered-To: mailing list lojban@onelist.com Precedence: bulk List-Unsubscribe: Date: Fri, 03 Mar 2000 13:25:27 PST X-eGroups-From: "Jorge Llambias" From: "Jorge Llambias" Subject: Re: [lojban] The Quine challenge Content-Type: text/plain Content-Transfer-Encoding: 8bit Content-Length: 1219 Lines: 33 From: "Jorge Llambias" 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