From jjllambias@hotmail.com Thu Feb 28 14:31:17 2002
Return-Path: <jjllambias@hotmail.com>
X-Sender: jjllambias@hotmail.com
X-Apparently-To: lojban@yahoogroups.com
Received: (EGP: unknown); 28 Feb 2002 22:31:17 -0000
Received: (qmail 51926 invoked from network); 28 Feb 2002 22:31:17 -0000
Received: from unknown (216.115.97.171)
  by m12.grp.snv.yahoo.com with QMQP; 28 Feb 2002 22:31:17 -0000
Received: from unknown (HELO hotmail.com) (216.33.241.235)
  by mta3.grp.snv.yahoo.com with SMTP; 28 Feb 2002 22:31:17 -0000
Received: from mail pickup service by hotmail.com with Microsoft SMTPSVC;
  Thu, 28 Feb 2002 14:31:17 -0800
Received: from 200.69.6.23 by lw8fd.law8.hotmail.msn.com with HTTP;
  Thu, 28 Feb 2002 22:31:16 GMT
To: lojban@yahoogroups.com
Bcc: 
Subject: Re: [lojban] Re: [jboske] RE: Anything but tautologies
Date: Thu, 28 Feb 2002 22:31:16 
Mime-Version: 1.0
Content-Type: text/plain; format=flowed
Message-ID: <F235iadaF2aUKzKgLn900019eac@hotmail.com>
X-OriginalArrivalTime: 28 Feb 2002 22:31:17.0211 (UTC) FILETIME=[A3229AB0:01C1C0A7]
From: "Jorge Llambias" <jjllambias@hotmail.com>
X-Originating-IP: [200.69.6.23]
X-Yahoo-Group-Post: member; u=6071566
X-Yahoo-Profile: jjllambias2000


la pycyn cusku di'e

>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 won't even ask how to define {n'} in general in Lojban...>
>
>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.

mu'o mi'e xorxes



_________________________________________________________________
Send and receive Hotmail on your mobile device: http://mobile.msn.com


