From jcowan@reutershealth.com Tue Feb 19 08:41:24 2002 Return-Path: X-Sender: jcowan@reutershealth.com X-Apparently-To: lojban@yahoogroups.com Received: (EGP: mail-8_0_2); 19 Feb 2002 16:41:24 -0000 Received: (qmail 18797 invoked from network); 19 Feb 2002 16:41:24 -0000 Received: from unknown (216.115.97.172) by m4.grp.snv.yahoo.com with QMQP; 19 Feb 2002 16:41:24 -0000 Received: from unknown (HELO mail.reutershealth.com) (204.243.9.36) by mta2.grp.snv.yahoo.com with SMTP; 19 Feb 2002 16:41:24 -0000 Received: from reutershealth.com (IDENT:cowan@[10.65.117.21]) by mail.reutershealth.com (Pro-8.9.3/Pro-8.9.3) with ESMTP id LAA16897; Tue, 19 Feb 2002 11:41:42 -0500 (EST) Message-ID: <3C728026.9020902@reutershealth.com> Date: Tue, 19 Feb 2002 11:41:10 -0500 User-Agent: Mozilla/5.0 (X11; U; Linux i686; en-US; rv:0.9.6) Gecko/20011120 X-Accept-Language: en-us MIME-Version: 1.0 To: pycyn@aol.com Cc: lojban@yahoogroups.com Subject: Re: [lojban] Re: [jboske] RE: Anything but tautologies References: <97.23583409.29a3b7e5@aol.com> Content-Type: text/plain; charset=us-ascii; format=flowed Content-Transfer-Encoding: 7bit From: John Cowan X-Yahoo-Group-Post: member; u=8122456 X-Yahoo-Profile: john_w_cowan X-Yahoo-Message-Num: 13372 pycyn@aol.com wrote: > {makau} is used to distinguish the value -- the output-- from the > argument (input). What you have written is a propositional function, > whose output is either a claim or a truth value for each pair of values > submitted. Fair enough. > I see we have to go throuhg the whole {ka}-{du'u} bit again > to sort that out, since there seem to be at least three versions still > floating around. Okay, what's your view? Mine is that du'u and ka mean the same thing, except for their x2 place, and for the default number of ce'us (0 for du'u, 1 for ka). > I am at a loss to figure out what a rule for a function is other than > either a program or some other form of specifying how to compute the > value in terms of more basic functions. But these turn out to be just > other expressions of the same function. An expression of the function is not the name of a function. So "le ve fancu fo la faktorial." (left out fo last time) means "the program, or whatever, that expresses the factorial function." This is a Good Thing. > I don't know how to say "\x.x*2" as a text, primarily because > I don't know how to MEX the dot.> > > Must fancu4 be MEX and in lambda form? and is MEX always text and never > actual functions? MEX is the obvious way of expressing a program (mathematical expression). With the article "li" it refers to the value of the program; with the article "me'o", which is wanted here, it refers to the text of the program. We just don't have anything defined for "\x.". -- John Cowan http://www.reutershealth.com I amar prestar aen, han mathon ne nen, http://www.ccil.org/~cowan han mathon ne chae, a han noston ne 'wilith. --Galadriel, _LOTR:FOTR_