[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
ce'u: lambda
- To: lojban-list@lojban.org
- Subject: ce'u: lambda
- From: "Matt Arnold" <matt.mattarn@gmail.com>
- Date: Tue, 21 Mar 2006 13:42:14 -0500
- Domainkey-signature: a=rsa-sha1; q=dns; c=nofws; s=beta; d=gmail.com; h=received:message-id:date:from:to:subject:mime-version:content-type; b=Jtvgv8+vIoHam4mxn9CZXAqSknCMdSJgC0CKMu+RxWv57M/LNHZ4OSUxj5U60wdVM1DRH9jpuShvA9pR9ZBwKEA+fmRZslgSvLk42W0nL4YFN1xMXZITF4ApoPL4dWIj7QrPgTPUOzBFJdyhq4SdxCbeKPRXdDtOu70n2icKUGA=
- Sender: nobody <nobody@digitalkingdom.org>
Several months ago, when I got to the flashcard for {ce'u} in my Supermemo database, I saw that the gloss word was "lambda".
I looked to the note of the card to see what that meant. It read: "pseudo-quantifier binding a variable within an abstraction that represents an open place." Without further explanation this left me as ignorant as I had been before. When I finished laughing in delight at the elaborately gnarled obscurity of my second language, I skipped over the card to leave it for last (or nearly last, at least before mekso).
It now appears that I need it more than I expected. I have been surprised to see {ce'u} used multiple times in jboselkei. In practical terms, what does it mean to be a pseudo-quantifier binding a variable within an abstraction that represents an open place?
-epkat