From jjllambias@hotmail.com Wed Mar 06 18:25:07 2002 Return-Path: X-Sender: jjllambias@hotmail.com X-Apparently-To: lojban@yahoogroups.com Received: (EGP: unknown); 7 Mar 2002 02:25:07 -0000 Received: (qmail 55677 invoked from network); 7 Mar 2002 02:22:19 -0000 Received: from unknown (216.115.97.172) by m10.grp.snv.yahoo.com with QMQP; 7 Mar 2002 02:22:19 -0000 Received: from unknown (HELO hotmail.com) (216.33.241.90) by mta2.grp.snv.yahoo.com with SMTP; 7 Mar 2002 02:22:19 -0000 Received: from mail pickup service by hotmail.com with Microsoft SMTPSVC; Wed, 6 Mar 2002 18:22:19 -0800 Received: from 200.69.6.21 by lw8fd.law8.hotmail.msn.com with HTTP; Thu, 07 Mar 2002 02:22:18 GMT To: lojban@yahoogroups.com Bcc: Subject: Re: [lojban] Re: [jboske] RE: Anything but tautologies Date: Thu, 07 Mar 2002 02:22:18 Mime-Version: 1.0 Content-Type: text/plain; format=flowed Message-ID: X-OriginalArrivalTime: 07 Mar 2002 02:22:19.0038 (UTC) FILETIME=[E7E80BE0:01C1C57E] From: "Jorge Llambias" X-Originating-IP: [200.69.6.21] X-Yahoo-Group-Post: member; u=6071566 X-Yahoo-Profile: jjllambias2000 la rab cusku di'e >All this means is that you might have to be careful which you mean. {le >dugri befi li te'o} is {lo fancu}; I would have said it is {lo namcu}: ro da poi nonmau namcu ku'o de poi namcu zo'u da de dugri li te'o Unless you're taking advantage of the non-veridicality of {le}. {ro dugri cu namcu gi'enai fancu}. The function might be, for example, {le du'u makau dugri ce'u li te'o}. >{me'o xy de'o te'o} is {lo velfancu}, That's more or less what John Cowan said, except he would want some way to mark {xy} as a lambda variable. Suppose xy is already assigned the value te'o, how do you tell what is the variable in {me'o ybu de'o xy}. How do you tell constants appart from variables? The normal function of pronouns is as constants. Do we use the usual convention in mathematics that x, y, z are variables? Edward's proposal was somewhat more complex: {li ma'o te'o te'a xy} for e^x, which is not quite grammatical as it is, I think. But it still doesn't explain how 'x' enters into it. >and one that Dr. Seuss would have liked if he were a Lojban-speaking >mathematician. :) What would he say about {li ma'o te'o te'a xy te'u tu'o}? mu'o mi'e xorxes _________________________________________________________________ Join the world’s largest e-mail service with MSN Hotmail. http://www.hotmail.com