From pycyn@aol.com Tue Oct 02 07:02:20 2001 Return-Path: X-Sender: Pycyn@aol.com X-Apparently-To: lojban@yahoogroups.com Received: (EGP: mail-7_4_1); 2 Oct 2001 14:02:19 -0000 Received: (qmail 93460 invoked from network); 2 Oct 2001 14:02:17 -0000 Received: from unknown (10.1.10.142) by l10.egroups.com with QMQP; 2 Oct 2001 14:02:17 -0000 Received: from unknown (HELO imo-r10.mx.aol.com) (152.163.225.106) by mta3 with SMTP; 2 Oct 2001 14:02:17 -0000 Received: from Pycyn@aol.com by imo-r10.mx.aol.com (mail_out_v31_r1.7.) id r.10d.678b128 (3982) for ; Tue, 2 Oct 2001 10:02:10 -0400 (EDT) Message-ID: <10d.678b128.28eb22e2@aol.com> Date: Tue, 2 Oct 2001 10:02:10 EDT Subject: Re: [lojban] fancu To: lojban@yahoogroups.com MIME-Version: 1.0 Content-Type: multipart/alternative; boundary="part1_10d.678b128.28eb22e2_boundary" X-Mailer: AOL 6.0 for Windows US sub 10535 From: pycyn@aol.com --part1_10d.678b128.28eb22e2_boundary Content-Type: text/plain; charset="US-ASCII" Content-Transfer-Encoding: 7bit In a message dated 10/1/2001 10:24:55 PM Central Daylight Time, jjllambias@hotmail.com writes: > Will {fancu} do? > Just fine; no wonder I couldn't find it on any lujvo list. I suppose x4 is just the formula that defines the function, which might well have another name, so "area of a circle" would be a function and the x4 would be "pi r squared" appropriately written out. Of course if the standard way of referring to a function just is its definition then x4 is sorta useless. Indeed he would: fill in the places and what do you get: {le du'u la elizabef mamta la djan}, a proposition. So {la du'u makau mamta ce'u} is a function from a pair of things, the first female, the second any animal, to a proposition. Not what is wanted. And I don't see how anything that starts out {le du'u} is going to end up anywhere else. --part1_10d.678b128.28eb22e2_boundary Content-Type: text/html; charset="US-ASCII" Content-Transfer-Encoding: 7bit In a message dated 10/1/2001 10:24:55 PM Central Daylight Time, jjllambias@hotmail.com writes:


Will {fancu} do?


Just fine; no wonder I couldn't find it on any lujvo list.

<I'm never sure what to do with its x4. The way I would use it
(or at least how I would have before this discussion) is:>

I suppose x4 is just the formula that defines the function, which might well have another name, so "area of a circle" would be a function  and the x4 would be "pi r squared" appropriately written out.  Of course if the standard way of referring to a function just is its definition then x4 is sorta useless.

<le du'u makau mamta ce'u cu fancu loi danlu loi fetsi [zi'o]
Who their mothers are is a function from animals to females.
But I suppose pc would disapprove>

Indeed he would: fill in the places and what do you get: {le du'u la elizabef mamta la djan}, a proposition.  So {la du'u makau mamta ce'u} is a function from a pair of things, the first female, the second any animal, to a proposition.  Not what is wanted. And I don't see how anything that starts out {le du'u} is going to end up anywhere else.



--part1_10d.678b128.28eb22e2_boundary--