From lojbab@lojban.org Mon Feb 18 21:26:45 2002 Return-Path: X-Sender: lojbab@lojban.org X-Apparently-To: lojban@yahoogroups.com Received: (EGP: mail-8_0_2); 19 Feb 2002 05:26:44 -0000 Received: (qmail 71361 invoked from network); 19 Feb 2002 05:26:44 -0000 Received: from unknown (216.115.97.171) by m8.grp.snv.yahoo.com with QMQP; 19 Feb 2002 05:26:44 -0000 Received: from unknown (HELO stmpy-5.cais.net) (205.252.14.75) by mta3.grp.snv.yahoo.com with SMTP; 19 Feb 2002 05:26:43 -0000 Received: from bob.lojban.org ([209.8.89.73]) by stmpy-5.cais.net (8.11.1/8.11.1) with ESMTP id g1J5Qgr81464 for ; Tue, 19 Feb 2002 00:26:42 -0500 (EST) Message-Id: <4.3.2.7.2.20020219001909.00e208c0@pop.cais.com> X-Sender: vir1036@pop.cais.com X-Mailer: QUALCOMM Windows Eudora Version 4.3.2 Date: Tue, 19 Feb 2002 00:22:15 -0500 To: lojban@yahoogroups.com Subject: Re: [lojban] Re: [jboske] RE: Anything but tautologies In-Reply-To: Mime-Version: 1.0 Content-Type: text/plain; charset="us-ascii"; format=flowed From: "Bob LeChevalier (lojbab)" X-Yahoo-Group-Post: member; u=1120595 X-Yahoo-Profile: lojbab X-Yahoo-Message-Num: 13366 At 10:46 PM 2/18/02 +0000, Jorge Llambias wrote: >We seem to have at least four different interpretations of >x1 and x4 of fancu: > >xod: x1 is a name and x4 is the function >cowan: x1 is the function and x4 is an expression (a text) >lojbab: x1 is the function and x4 is something like li f(x)=x*2, > which is not very clear what it is because equations > are not numbers. I think what I said is very similar to what Cowan said, except that a mathematical function would usually use a mathematical expression (MEX) rather than a text, since that is how you read off a mathematical function. The "li" was my shorthand for saying that the x4 is a MEX expression, since I was writing in English. Sorry if this was opaque. 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