From cowan@ccil.org Wed Feb 13 18:35:35 2002 Return-Path: X-Sender: cowan@mercury.ccil.org X-Apparently-To: lojban@yahoogroups.com Received: (EGP: mail-8_0_2); 14 Feb 2002 02:35:35 -0000 Received: (qmail 22174 invoked from network); 14 Feb 2002 02:35:35 -0000 Received: from unknown (216.115.97.172) by m10.grp.snv.yahoo.com with QMQP; 14 Feb 2002 02:35:35 -0000 Received: from unknown (HELO mercury.ccil.org) (192.190.237.100) by mta2.grp.snv.yahoo.com with SMTP; 14 Feb 2002 02:35:35 -0000 Received: from cowan by mercury.ccil.org with local (Exim 3.12 #1 (Debian)) id 16bBkQ-0005s2-00 for ; Wed, 13 Feb 2002 21:35:46 -0500 Subject: Re: Anything but tautologies (was: Re: [jboske] Re: [lojban] tautologies In-Reply-To: from Jorge Llambias at "Feb 14, 2002 00:17:29 am" To: lojban@yahoogroups.com Date: Wed, 13 Feb 2002 21:35:46 -0500 (EST) X-Mailer: ELM [version 2.4ME+ PL66 (25)] MIME-Version: 1.0 Content-Type: text/plain; charset=US-ASCII Content-Transfer-Encoding: 7bit Message-Id: X-eGroups-From: John Cowan From: John Cowan X-Yahoo-Group-Post: member; u=212516 X-Yahoo-Profile: johnwcowan Jorge Llambias scripsit: > In mathematics it is fairly common to use the same notation, "f(x)", > both for a function and for the value that the function takes on > for a given value of the domain. There is no need to replicate this > in Lojban. Hence the use of lambdas. lambda(x) f(x) is a function, f(x) is a value (given that x is bound). -- John Cowan http://www.ccil.org/~cowan cowan@ccil.org To say that Bilbo's breath was taken away is no description at all. There are no words left to express his staggerment, since Men changed the language that they learned of elves in the days when all the world was wonderful. --_The Hobbit_