From pycyn@aol.com Sun Sep 30 07:05:28 2001 Return-Path: X-Sender: Pycyn@aol.com X-Apparently-To: lojban@yahoogroups.com Received: (EGP: mail-7_4_1); 30 Sep 2001 14:05:28 -0000 Received: (qmail 42764 invoked from network); 30 Sep 2001 14:05:26 -0000 Received: from unknown (10.1.10.142) by m8.onelist.org with QMQP; 30 Sep 2001 14:05:26 -0000 Received: from unknown (HELO imo-d04.mx.aol.com) (205.188.157.36) by mta3 with SMTP; 30 Sep 2001 14:05:09 -0000 Received: from Pycyn@aol.com by imo-d04.mx.aol.com (mail_out_v31_r1.7.) id r.18.1315f6b6 (4554) for ; Sun, 30 Sep 2001 10:05:00 -0400 (EDT) Message-ID: <18.1315f6b6.28e8808b@aol.com> Date: Sun, 30 Sep 2001 10:04:59 EDT Subject: Re: [lojban] Re: noxemol ce'u To: lojban@yahoogroups.com MIME-Version: 1.0 Content-Type: multipart/alternative; boundary="part1_18.1315f6b6.28e8808b_boundary" X-Mailer: AOL 6.0 for Windows US sub 10535 From: pycyn@aol.com --part1_18.1315f6b6.28e8808b_boundary Content-Type: text/plain; charset="US-ASCII" Content-Transfer-Encoding: 7bit In a message dated 9/29/2001 9:33:33 PM Central Daylight Time, a.rosta@dtn.ntl.com writes: > "da poi ro de ke'a se -function ro mamta be ro nei" > something x such that every y is (in the?) the range of the function x with domain all the mothers of all the every y. I'm not sure this describes a function at all. Is y supposed to be the range of the function? If so, then there are a number of functions here, one for each value of y. So we suppose that y is just a member of the range, in which case what is the value for y -- all the mothers of all the y's. That looks more like the domain/counterrange, rather than the value for a single member. If it is the value then this is clearly not the function I have in mind (and I worry a bit about the {ro ro de} involved) . I still think that what is intended is just {da poi [ke'a] function rode le mamta be de} or {function le romei le mamta romei}, if just giving range and domain are enough. And, of course, I think that {le mamta be ce'u} does that nicely (notice that, given certain assumptions, this would follow out of the descriptions given earlier). --part1_18.1315f6b6.28e8808b_boundary Content-Type: text/html; charset="US-ASCII" Content-Transfer-Encoding: 7bit In a message dated 9/29/2001 9:33:33 PM Central Daylight Time, a.rosta@dtn.ntl.com writes:

<x1 is a function from x2 to x3>
"da poi ro de ke'a se -function ro mamta be ro nei"

something x such that every y is (in the?) the range of the function x with domain all the mothers of all the every y.  

I'm not sure this describes a function at all.  Is y supposed to be the range of the function?  If so, then there are a number of functions here, one for each value of y.  So we suppose that y is just a member of the range, in which case what is the value for y -- all the mothers of all the y's.  That looks more like the domain/counterrange, rather than the value for a single member.  If it is the value then this is clearly not the function I have in mind (and I worry a bit about the {ro ro de} involved) .  I still think that what is intended is just {da poi [ke'a] function rode le mamta be de} or {function le romei le mamta romei}, if just giving range and domain are enough.  And, of course, I think that {le mamta be ce'u} does that nicely (notice that, given certain assumptions, this would follow out of the descriptions given earlier). --part1_18.1315f6b6.28e8808b_boundary--