From nobody@digitalkingdom.org Fri Aug 05 14:26:11 2005 Received: with ECARTIS (v1.0.0; list lojban-list); Fri, 05 Aug 2005 14:26:12 -0700 (PDT) Received: from nobody by chain.digitalkingdom.org with local (Exim 4.52) id 1E19ha-0003B2-Mh for lojban-list-real@lojban.org; Fri, 05 Aug 2005 14:26:02 -0700 Received: from web81305.mail.yahoo.com ([206.190.37.80]) by chain.digitalkingdom.org with smtp (Exim 4.52) id 1E19hY-0003Ar-EJ for lojban-list@lojban.org; Fri, 05 Aug 2005 14:26:02 -0700 Received: (qmail 19389 invoked by uid 60001); 5 Aug 2005 21:25:59 -0000 Message-ID: <20050805212559.19387.qmail@web81305.mail.yahoo.com> Received: from [66.143.141.46] by web81305.mail.yahoo.com via HTTP; Fri, 05 Aug 2005 14:25:59 PDT Date: Fri, 5 Aug 2005 14:25:59 -0700 (PDT) From: John E Clifford Subject: [lojban] Re: the meter is a unit of length To: lojban-list@lojban.org In-Reply-To: <925d17560508051323616ccd1a@mail.gmail.com> MIME-Version: 1.0 Content-Type: text/plain; charset=iso-8859-1 X-Spam-Score: -1.3 (-) X-archive-position: 10315 X-ecartis-version: Ecartis v1.0.0 Sender: lojban-list-bounce@lojban.org Errors-to: lojban-list-bounce@lojban.org X-original-sender: clifford-j@sbcglobal.net Precedence: bulk Reply-to: lojban-list@lojban.org X-list: lojban-list --- Jorge Llambías wrote: > On 8/5/05, John E Clifford > wrote: > > > See above: it seems to be just the difference > > between the value {ni x blanu}(for a > particular > > identified x) and the function {ni ce'u > blanu}, > > with the same meaning of {ni} > > That's the difference, yes, but the meaning of > {ni} > is not the same when going from a value to a > function. > Then the function fails to get the promised thing. ni le pixra blanu is the value of ni ce'u blanu for the argument le pixra. If {ni} changes meaning here then this basic equation is wrong. To unsubscribe from this list, send mail to lojban-list-request@lojban.org with the subject unsubscribe, or go to http://www.lojban.org/lsg2/, or if you're really stuck, send mail to secretary@lojban.org for help.