From jjllambias@hotmail.com Thu Feb 28 07:29:09 2002 Return-Path: X-Sender: jjllambias@hotmail.com X-Apparently-To: lojban@yahoogroups.com Received: (EGP: unknown); 28 Feb 2002 15:29:09 -0000 Received: (qmail 95602 invoked from network); 28 Feb 2002 15:29:09 -0000 Received: from unknown (216.115.97.172) by m10.grp.snv.yahoo.com with QMQP; 28 Feb 2002 15:29:09 -0000 Received: from unknown (HELO hotmail.com) (216.33.241.221) by mta2.grp.snv.yahoo.com with SMTP; 28 Feb 2002 15:29:09 -0000 Received: from mail pickup service by hotmail.com with Microsoft SMTPSVC; Thu, 28 Feb 2002 07:29:09 -0800 Received: from 200.49.74.2 by lw8fd.law8.hotmail.msn.com with HTTP; Thu, 28 Feb 2002 15:29:08 GMT To: lojban@yahoogroups.com Bcc: Subject: Re: [lojban] Re: [jboske] RE: Anything but tautologies Date: Thu, 28 Feb 2002 15:29:08 Mime-Version: 1.0 Content-Type: text/plain; format=flowed Message-ID: X-OriginalArrivalTime: 28 Feb 2002 15:29:09.0360 (UTC) FILETIME=[AA8F3F00:01C1C06C] From: "Jorge Llambias" X-Originating-IP: [200.49.74.2] X-Yahoo-Group-Post: member; u=6071566 X-Yahoo-Profile: jjllambias2000 la pycyn cusku di'e >{pabu} presumably refers to the numeral "1" unless this whole system is >totally verkakt. Presumably {pabu} refers to the numeral "1" as much as {abu} refers to the letter "A". But {abu} is used as a pronoun, so why would {pabu} be any different? >And {nobu ce'o y'ybu} should refer to the sequence "0"+"'", >not a set at all. I would say that concatenation is a type of {joi}, not of {ce}. Maybe {ce'o} is the ordered version of either {joi} or {ce}, depending on context? >"0'" means "the successor of 0" I won't even ask how to define {n'} in general in Lojban... mu'o mi'e xorxes _________________________________________________________________ Get your FREE download of MSN Explorer at http://explorer.msn.com/intl.asp.