From edward.cherlin.sy.67@aya.yale.edu Tue Mar 05 11:23:06 2002 Return-Path: X-Sender: cherlin@pacbell.net X-Apparently-To: lojban@yahoogroups.com Received: (EGP: unknown); 5 Mar 2002 19:23:06 -0000 Received: (qmail 68273 invoked from network); 5 Mar 2002 09:37:38 -0000 Received: from unknown (216.115.97.171) by m8.grp.snv.yahoo.com with QMQP; 5 Mar 2002 09:37:38 -0000 Received: from unknown (HELO mta5.snfc21.pbi.net) (206.13.28.241) by mta3.grp.snv.yahoo.com with SMTP; 5 Mar 2002 09:37:38 -0000 Received: from there ([216.102.199.245]) by mta5.snfc21.pbi.net (iPlanet Messaging Server 5.1 (built May 7 2001)) with SMTP id <0GSH00LMQUQPHP@mta5.snfc21.pbi.net> for lojban@yahoogroups.com; Tue, 05 Mar 2002 01:37:38 -0800 (PST) Date: Tue, 05 Mar 2002 01:37:37 -0800 Subject: Re: [lojban] Re: [jboske] RE: Anything but tautologies In-reply-to: <7e.236f4bd9.29aebcc8@aol.com> To: lojban@yahoogroups.com Message-id: <0GSH00LMRUQPHP@mta5.snfc21.pbi.net> Organization: Web for Humans MIME-version: 1.0 X-Mailer: KMail [version 1.3.1] Content-type: text/plain; charset=iso-8859-1 Content-transfer-encoding: quoted-printable References: <7e.236f4bd9.29aebcc8@aol.com> X-eGroups-From: Edward Cherlin From: Edward Cherlin Reply-To: edward@webforhumans.com X-Yahoo-Group-Post: member; u=31895329 X-Yahoo-Profile: echerlin On Wednesday 27 February 2002 14:50, pycyn@aol.com wrote: > >The inverse of the logarithm function ku cu fancu domain-the-reals > >range-the-positive-reals ma'o e^x > >(where x is a bound variable representing the argument). > > That's the Cowan place structure, yes. One problem is that > nobody quite knows how to put "ma'o e^x (where x is a > bound variable representing the argument)" into Lojban. I'm going to start from "li ma'o (te'o te'a xy)". the-value the-operator (e to-the-power x) > And if this is just a text then there is a second problem, > because it is not the text but the meaning of that text > that is of interest here.> > > This is not obvious, it depends upon what the purpose of the > sentence is. Cherlin wants it to be a definition, and thus it is > exactly text that is wanted, needed, possible. Precisely not. x1 is a function, and x4 is a mekso expression turned=20 into an "operator" by ma'o. Functions are defined by domain, range,=20 and method of evaluation. They can be described in a variety of ways.=20 They can have names, but this is not a requirement. Functions are not=20 texts. They are mathematical objects. The Book is entirely vague about expression syntax and operator=20 semantics, and has nothing to say about binding argument variables,=20 so there is more to do here. I'll have a go when I get some time free=20 from the kind of work intended to bring in money. (We could use the=20 Unlambda programming language model, in which the only primitives are=20 the S and K combinators, ' for quoting, and some letters, and we=20 never need variables or function names. You wouldn't like it, though.) In the meantime, here is a workaround--use the same variable in x1=20 and x4 of fancu. le inverse de'o xy. ku cu fancu fo li ma'o (te'o te'a xy.) What I need now is a word for "inverse function" that can be applied=20 to an expression like de'o xy. I didn't find one in The Book. Also a=20 precedence table. --=20 Edward Cherlin edward@webforhumans.com Does your Web site work?