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--