From pycyn@aol.com Thu Feb 28 16:13:12 2002 Return-Path: X-Sender: Pycyn@aol.com X-Apparently-To: lojban@yahoogroups.com Received: (EGP: unknown); 1 Mar 2002 00:13:12 -0000 Received: (qmail 80062 invoked from network); 1 Mar 2002 00:13:12 -0000 Received: from unknown (216.115.97.167) by m10.grp.snv.yahoo.com with QMQP; 1 Mar 2002 00:13:12 -0000 Received: from unknown (HELO imo-r02.mx.aol.com) (152.163.225.98) by mta1.grp.snv.yahoo.com with SMTP; 1 Mar 2002 00:13:12 -0000 Received: from Pycyn@aol.com by imo-r02.mx.aol.com (mail_out_v32.5.) id r.12d.d405e61 (4322) for ; Thu, 28 Feb 2002 19:12:57 -0500 (EST) Message-ID: <12d.d405e61.29b02188@aol.com> Date: Thu, 28 Feb 2002 19:12:56 EST Subject: Re: [lojban] Re: [jboske] RE: Anything but tautologies To: lojban@yahoogroups.com MIME-Version: 1.0 Content-Type: multipart/alternative; boundary="part1_12d.d405e61.29b02188_boundary" X-Mailer: AOL 7.0 for Windows US sub 118 From: pycyn@aol.com X-Yahoo-Group-Post: member; u=2455001 X-Yahoo-Profile: kaliputra X-Yahoo-Message-Num: 13444 --part1_12d.d405e61.29b02188_boundary Content-Type: text/plain; charset="US-ASCII" Content-Transfer-Encoding: 7bit In a message dated 2/28/2002 4:35:12 PM Central Standard Time, jjllambias@hotmail.com writes: > >And what does {ce'o} > >have to do with {ce} other than that they begin the same? > > According to the Lojban lore I have absorbed, {ce'o} is just > like {ce} plus an ordering. I will be delighted to find out > I'm wrong. So sequences can carry logs? > I don't think so (in general anyhow). What makes that a reaasonable question? I said that a sequence was neither a mass nor a set (carrying logs turning up frequently in discussion of masses). <>Well, in arithmetic it is primitive, so can't be defined. But {ny ce'o >y'ybu} seems about right. Specifying what it means would be harder. I would have said plain {ny y'ybu} was much better. Why would it be a sequence of two things, however one understands what a sequence is? But I was talking of specifying its meaning, yes, not of how to represent it. <>Well, in arithmetic it is primitive, so can't be defined. But {ny ce'o >y'ybu} seems about right. Specifying what it means would be harder. I would have said plain {ny y'ybu} was much better. Why would it be a sequence of two things, however one understands what a sequence is? But I was talking of specifying its meaning, yes, not of how to represent it. <>Well, in arithmetic it is primitive, so can't be defined. But {ny ce'o >y'ybu} seems about right. Specifying what it means would be harder. I would have said plain {ny y'ybu} was much better. Why would it be a sequence of two things, however one understands what a sequence is? But I was talking of specifying its meaning, yes, not of how to represent it.> Well, it is a sequence of two things, {n}, a variable and {'} function symbol. I would take {ny y'ybu} to be merely a primed {n}, one way to create a new variable (I am a subscript man myself). You said: That reads (if you are using the braces as quotes for Lojban --or in this case some kind of MEX) as asking of a definition of the text inclosed, which I gave you (one of -- the other one, what would it be replaced by in the system is unanswerable, since the tick is primitive, as I said). --part1_12d.d405e61.29b02188_boundary Content-Type: text/html; charset="US-ASCII" Content-Transfer-Encoding: 7bit In a message dated 2/28/2002 4:35:12 PM Central Standard Time, jjllambias@hotmail.com writes:


>And what does {ce'o}
>have to do with {ce} other than that they begin the same?

According to the Lojban lore I have absorbed, {ce'o} is just
like {ce} plus an ordering. I will be delighted to find out
I'm wrong. So sequences can carry logs?


I don't think so (in general anyhow).  What makes that a reaasonable question? I said that a sequence was neither a mass nor a set (carrying logs turning up frequently in discussion of masses). 

<<I Lojban... in general {n?} define to how ask even won?t>>Well, in arithmetic it is primitive, so can't be defined.  But {ny ce'o
>y'ybu} seems about right.  Specifying what it means would be harder.

I would have said plain {ny y'ybu} was much better. Why would
it be a sequence of two things, however one understands what
a sequence is?

But I was talking of specifying its meaning, yes, not of how to
represent it.

<<I Lojban... in general {n?} define to how ask even won?t>>Well, in arithmetic it is primitive, so can't be defined.  But {ny ce'o
>y'ybu} seems about right.  Specifying what it means would be harder.

I would have said plain {ny y'ybu} was much better. Why would
it be a sequence of two things, however one understands what
a sequence is?

But I was talking of specifying its meaning, yes, not of how to
represent it.


<<I Lojban... in general {n?} define to how ask even won?t>>Well, in arithmetic it is primitive, so can't be defined.  But {ny ce'o
>y'ybu} seems about right.  Specifying what it means would be harder.

I would have said plain {ny y'ybu} was much better. Why would
it be a sequence of two things, however one understands what
a sequence is?

But I was talking of specifying its meaning, yes, not of how to
represent it.>

Well, it is a sequence of two things, {n}, a variable and {'} function symbol.  I would take {ny y'ybu} to be merely a primed {n}, one way to create a new variable (I am a subscript man myself).
You said:
<I won't even ask how to define {n'} in general in Lojban...>
That reads (if you are using the braces as quotes for Lojban --or in this case some kind of MEX) as asking of a definition of the text inclosed, which I gave you (one of -- the other one, what would it be replaced by in the system is unanswerable, since the tick is primitive, as I said).

 --part1_12d.d405e61.29b02188_boundary--