From jjllambias@hotmail.com Thu Feb 14 19:43:42 2002 Return-Path: X-Sender: jjllambias@hotmail.com X-Apparently-To: lojban@yahoogroups.com Received: (EGP: mail-8_0_2); 15 Feb 2002 03:43:42 -0000 Received: (qmail 20445 invoked from network); 15 Feb 2002 03:43:42 -0000 Received: from unknown (216.115.97.171) by m8.grp.snv.yahoo.com with QMQP; 15 Feb 2002 03:43:42 -0000 Received: from unknown (HELO hotmail.com) (216.33.240.130) by mta3.grp.snv.yahoo.com with SMTP; 15 Feb 2002 03:43:42 -0000 Received: from mail pickup service by hotmail.com with Microsoft SMTPSVC; Thu, 14 Feb 2002 19:43:42 -0800 Received: from 200.69.6.13 by lw8fd.law8.hotmail.msn.com with HTTP; Fri, 15 Feb 2002 03:43:41 GMT To: lojban@yahoogroups.com Bcc: Subject: Re: [jboske] RE: Anything but tautologies Date: Fri, 15 Feb 2002 03:43:41 Mime-Version: 1.0 Content-Type: text/plain; format=flowed Message-ID: X-OriginalArrivalTime: 15 Feb 2002 03:43:42.0035 (UTC) FILETIME=[F6234230:01C1B5D2] From: "Jorge Llambias" X-Originating-IP: [200.69.6.13] X-Yahoo-Group-Post: member; u=6071566 X-Yahoo-Profile: jjllambias2000 X-Yahoo-Message-Num: 13303 la pycyn cusku di'e >Jeez, ya mean I've been teaching set theory wrong for 35 years -- including >the adequacy proofs? Of course 1 as a function has no domain: look at it, >NO >argument, ergo no domain. Then it's a different function than the one xod and I had been discussing. We were talking of one that mapped a series of propositions to a constant value of 1. Is a function the way you use the word something different than a mapping? >a place for the name in the predicate for 'function'!> > >But the function of {fancu} is precisely to introduce/define functions -- >not >an easy thing to do otherwise -- at least wordy. It would be interesting to see actual examples. I can think of ways to introduce/define a function that do not involve a place for the name. For example, if we want to define the function F as the mapping from x to x+1 we can say: sa'e roda zo'u fancu da le sumji be da bei li pa boi fy def: For all x, x is mapped to x+1 by the function F. I don't see the need to put {zo fy} in the x1 place. mu'o mi'e xorxes _________________________________________________________________ Send and receive Hotmail on your mobile device: http://mobile.msn.com