From lojbab@lojban.org Sat Dec 21 02:42:51 2002 Return-Path: X-Sender: lojbab@lojban.org X-Apparently-To: lojban@yahoogroups.com Received: (EGP: mail-8_2_3_0); 21 Dec 2002 10:42:50 -0000 Received: (qmail 5156 invoked from network); 21 Dec 2002 10:42:50 -0000 Received: from unknown (66.218.66.217) by m9.grp.scd.yahoo.com with QMQP; 21 Dec 2002 10:42:50 -0000 Received: from unknown (HELO lakemtao02.cox.net) (68.1.17.243) by mta2.grp.scd.yahoo.com with SMTP; 21 Dec 2002 10:42:51 -0000 Received: from lojban.lojban.org ([68.100.206.153]) by lakemtao02.cox.net (InterMail vM.5.01.04.05 201-253-122-122-105-20011231) with ESMTP id <20021221104250.HGHK2203.lakemtao02.cox.net@lojban.lojban.org> for ; Sat, 21 Dec 2002 05:42:50 -0500 Message-Id: <5.2.0.9.0.20021221053542.033510f0@pop.east.cox.net> X-Sender: rlechevalier@pop.east.cox.net X-Mailer: QUALCOMM Windows Eudora Version 5.2.0.9 Date: Sat, 21 Dec 2002 05:38:08 -0500 To: lojban@yahoogroups.com Subject: Re: [lojban] Lemma and conjecture In-Reply-To: <0212202008210F.17068@neofelis> References: Mime-Version: 1.0 Content-Type: text/plain; charset="us-ascii"; format=flowed From: Robert LeChevalier X-Yahoo-Group-Post: member; u=1120595 X-Yahoo-Profile: lojbab At 08:08 PM 12/20/02 -0500, Pierre Abbat wrote: >On Thursday 19 December 2002 18:17, Jorge Llambias wrote: > > (Is the conjecture at all related to the lemma?) > >Only in that both are part of proving the valfendi algorithm. > > > I'm not sure what the status of {ke'unsazri} or {ke'upsazri} is. > > Are they valid fu'ivla, because they can't be lujvo, or are they > > not valid fu'ivla, because there are possible lujvo of the form > > CVVC/CVCCV? If they are valid fu'ivla, then I can't see how the > > conjecture could possibly be false. If they are not valid fu'ivla, > > then obviously the conjecture is false. > >AFAIK they are valid fu'ivla, because they can't be lujvo. There are more rules limiting fu'ivla than that. Indeed for Type IV fu'ivla, there are (probably) more rules limiting them than have been identified. lojbab -- lojbab lojbab@lojban.org Bob LeChevalier, President, The Logical Language Group, Inc. 2904 Beau Lane, Fairfax VA 22031-1303 USA 703-385-0273 Artificial language Loglan/Lojban: http://www.lojban.org