Return-Path: <@FINHUTC.HUT.FI:LOJBAN@CUVMB.BITNET> Received: from FINHUTC.hut.fi by xiron.pc.helsinki.fi with smtp (Linux Smail3.1.28.1 #1) id m0r8FWY-000071C; Fri, 18 Nov 94 00:41 EET Message-Id: Received: from FINHUTC.HUT.FI by FINHUTC.hut.fi (IBM VM SMTP V2R2) with BSMTP id 3915; Fri, 18 Nov 94 00:42:00 EET Received: from SEARN.SUNET.SE (NJE origin MAILER@SEARN) by FINHUTC.HUT.FI (LMail V1.1d/1.7f) with BSMTP id 3912; Fri, 18 Nov 1994 00:41:56 +0200 Received: from SEARN.SUNET.SE (NJE origin LISTSERV@SEARN) by SEARN.SUNET.SE (LMail V1.2a/1.8a) with BSMTP id 1741; Thu, 17 Nov 1994 23:38:40 +0100 Date: Thu, 17 Nov 1994 15:12:03 -0500 Reply-To: Logical Language Group Sender: Lojban list From: Logical Language Group Subject: Re: PROPOSAL Lambda... X-To: lojban@cuvmb.cc.columbia.edu To: Veijo Vilva In-Reply-To: <199411170709.AA08188@nfs1.digex.net> from "Gerald Koenig" at Nov 16, 94 11:05:26 pm Content-Length: 789 Lines: 24 la djer. cusku di'e > Some questions from a lambda lamb: > > 1. Can "le ka xa'eda mamta " be rendered as > a) the (in mind) property of motherhood or Yes. > b) the (in mind) property of being the class of all beings that > constitute values for the x1 of mamta? No, I think that is "le ka [xa'eda] du lo'i mamta". "the class of all ..." points to "lo'i", and "the property of being ... " is "le ka du". > 3. Would you point to some basic references on lambda notation? I learned wat I know about it from reading books on Lisp, which is probably overkill for your purposes, but Winston & Horn is pretty good on Lisp. Otherwise, ask pc?? -- John Cowan sharing account for now e'osai ko sarji la lojban.