[YG Conlang Archives] > [jboske group] > messages [Date Index] [Thread Index] >


[Date Prev] [Date Next] [Thread Prev] [Thread Next]

Re: [lojban] Re: [jboske] RE: Anything but tautologies



pycyn@hidden.email scripsit:

> To remind yet one last time, it is important that the phrase used to refer to 
> the function in fancu4 not be the same one as is used in fancu1 or a large 
> portion (though not all, if the range and domain are included) of the 
> information value is lost.  "sin is the function from angles to [-1,1] 
> computed by sin(x) = y." is not quite a tautology but only marginally more 
> informative.

I confess I have not read all the messages in this thread, but it
seems clear to me that fancu1 is the function itself (which, not being
linguistic, cannot appear directly in a sentence, but must be represented
by a name of some sort), whereas fancu4 is a text, a lambda expression
(such as '\x.x+1').

-- 
John Cowan           http://www.ccil.org/~cowan              cowan@hidden.email
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_