From jjllambias2000@yahoo.com.ar Fri Nov 14 15:26:01 2003 Return-Path: X-Sender: lojban-out@lojban.org X-Apparently-To: lojban@yahoogroups.com Received: (qmail 65793 invoked from network); 14 Nov 2003 23:26:01 -0000 Received: from unknown (66.218.66.167) by m3.grp.scd.yahoo.com with QMQP; 14 Nov 2003 23:26:01 -0000 Received: from unknown (HELO chain.digitalkingdom.org) (64.81.49.134) by mta6.grp.scd.yahoo.com with SMTP; 14 Nov 2003 23:26:01 -0000 Received: from lojban-out by chain.digitalkingdom.org with local (Exim 4.22) id 1AKnJP-0003NF-90 for lojban@yahoogroups.com; Fri, 14 Nov 2003 15:25:11 -0800 Received: from chain.digitalkingdom.org ([64.81.49.134]) by chain.digitalkingdom.org with esmtp (Exim 4.22) id 1AKnIp-0003Mg-5g; Fri, 14 Nov 2003 15:24:35 -0800 Received: with ECARTIS (v1.0.0; list lojban-list); Fri, 14 Nov 2003 15:24:25 -0800 (PST) Received: from web41906.mail.yahoo.com ([66.218.93.157]) by chain.digitalkingdom.org with smtp (Exim 4.22) id 1AKnIb-0003MM-2n for lojban-list@lojban.org; Fri, 14 Nov 2003 15:24:21 -0800 Message-ID: <20031114232439.61930.qmail@web41906.mail.yahoo.com> Received: from [200.69.6.30] by web41906.mail.yahoo.com via HTTP; Fri, 14 Nov 2003 15:24:38 PST Date: Fri, 14 Nov 2003 15:24:38 -0800 (PST) Subject: [lojban] Re: COI, UI (was Re: cfari) In-Reply-To: <20031114230320.GS5394@skunk.reutershealth.com> MIME-Version: 1.0 Content-Type: text/plain; charset=us-ascii X-archive-position: 6706 X-ecartis-version: Ecartis v1.0.0 Sender: lojban-list-bounce@lojban.org Errors-to: lojban-list-bounce@lojban.org X-original-sender: jjllambias2000@yahoo.com.ar X-list: lojban-list To: lojban@yahoogroups.com From: Jorge "Llambías" Reply-To: jjllambias2000@yahoo.com.ar X-Originating-IP: 64.81.49.134 X-Yahoo-Group-Post: member; u=142311107 X-Yahoo-Profile: jjllambias2000 X-Yahoo-Message-Num: 21187 --- John Cowan wrote: > Jorge Llamb��)B�as scripsit: > > > > The x1 of fancu is the abstract function, whereas x4 is the > lambda-expresion > > > (or equivalent) that specifies it. > > > > Shouldn't those two be interreplaceable? > > No. x1 and x4 are analogous to li and me'o. Ok, so x4 is the quoted expression. {lo ka ce'u broda makau} would be x1. For example: lo ka makau sumji ce'u ce'u cu fancu lo('i) namcu remei lo('i) namcu lu lo ka makau sumji ce'u ce'u li'u Correct? (I use {lo('i)} because I suppose you would use {lo'i}, though I prefer to use {lo} there, but this is a different issue.) > > What other gismu places > > are like the x1 of fancu and what other places are like the x4? > > x1 and x2 of girzu respectively, except that x4 is a text, not a property. I don't see the relationship with {girzu}. x1 of girzu is a group, each of whose members has property x2. That doesn't seem to have much to do with a function and a textual expression of the function. > > Or are they sui generis? Is the x2 of sumti like the x1 of fancu, > > like the x4, or something else? > > x2 of sumti is like the x1 of fancu. Good. x4 of fancu is the most irrelevant one. A given function x1 can of course have many different expressions x4, right? For example "x+y", "y+x", "z=x+y", "F(x,y)=x+y", "SUM(x,y)", "x+y->z", etc. all can be x4 to the same x1? mu'o mi'e xorxes __________________________________ Do you Yahoo!? Protect your identity with Yahoo! Mail AddressGuard http://antispam.yahoo.com/whatsnewfree