Received: from mail-wg0-f61.google.com ([74.125.82.61]:55575)
	by stodi.digitalkingdom.org with esmtps (TLSv1:RC4-SHA:128)
	(Exim 4.76)
	(envelope-from <lojban+bncCNuStaWoDxD4yt-BBRoEkFzsxA@googlegroups.com>)
	id 1T50b1-00085R-SU; Fri, 24 Aug 2012 13:35:18 -0700
Received: by wgbdr13 with SMTP id dr13sf714764wgb.16
        for <multiple recipients>; Fri, 24 Aug 2012 13:35:04 -0700 (PDT)
DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed;
        d=googlegroups.com; s=20120806;
        h=x-beenthere:received-spf:message-id:date:from:user-agent
         :mime-version:to:cc:subject:references:in-reply-to:x-original-sender
         :x-original-authentication-results:reply-to:precedence:mailing-list
         :list-id:x-google-group-id:list-post:list-help:list-archive:sender
         :list-subscribe:list-unsubscribe:content-type
         :content-transfer-encoding;
        bh=5A51nsqBSGgO7QHAk7CgteXasXBHn+WYkSldcY2+bb0=;
        b=SzlI516Ph0vOuO/q8BweH7kZ5/kyGRbpx+sOnk7rA8WSy4HquXJyimz0K0cB4E5HqC
         W9WvUYJjfQAYPevAFDSGheyt4xt/NI6ni+2SyLd03mhRiXJjioZzoUj05P2+R+xb0F3G
         hr9LY5nwzqF+MA3rgldFwAMkZ1AJOw34iRD30ELTsif0wDLsfLJzJxkJNVVW8xX7+QrG
         mpTwRFAzDYdRGIFCzeDOkQuphppEsGbTcKhekv4oyImoNDpxRA4R1Ll5axyYyjR9Pt7m
         3ujQgNSn7/fGrIQOh+sRNllOxIw0ySWRLq+gmyg1cGjuS0epsGMsOt66agqTbsxU+oQU
         V57Q==
Received: by 10.180.92.103 with SMTP id cl7mr395589wib.4.1345840504107;
        Fri, 24 Aug 2012 13:35:04 -0700 (PDT)
X-BeenThere: lojban@googlegroups.com
Received: by 10.180.82.231 with SMTP id l7ls2309927wiy.4.canary; Fri, 24 Aug
 2012 13:35:01 -0700 (PDT)
Received: by 10.180.105.38 with SMTP id gj6mr564043wib.0.1345840501875;
        Fri, 24 Aug 2012 13:35:01 -0700 (PDT)
Received: by 10.180.105.38 with SMTP id gj6mr564042wib.0.1345840501866;
        Fri, 24 Aug 2012 13:35:01 -0700 (PDT)
Received: from mail-wg0-f52.google.com (mail-wg0-f52.google.com [74.125.82.52])
        by gmr-mx.google.com with ESMTPS id fa8si30610wid.1.2012.08.24.13.35.01
        (version=TLSv1/SSLv3 cipher=OTHER);
        Fri, 24 Aug 2012 13:35:01 -0700 (PDT)
Received-SPF: pass (google.com: domain of and.rosta@gmail.com designates 74.125.82.52 as permitted sender) client-ip=74.125.82.52;
Received: by wgbfg15 with SMTP id fg15so1542273wgb.21
        for <lojban@googlegroups.com>; Fri, 24 Aug 2012 13:35:01 -0700 (PDT)
Received: by 10.216.30.136 with SMTP id k8mr3436647wea.103.1345840501566;
        Fri, 24 Aug 2012 13:35:01 -0700 (PDT)
Received: from [192.168.1.77] (87-194-76-177.bethere.co.uk. [87.194.76.177])
        by mx.google.com with ESMTPS id el6sm287888wib.8.2012.08.24.13.34.59
        (version=SSLv3 cipher=OTHER);
        Fri, 24 Aug 2012 13:35:00 -0700 (PDT)
Message-ID: <5037E573.6020006@gmail.com>
Date: Fri, 24 Aug 2012 21:34:59 +0100
From: And Rosta <and.rosta@gmail.com>
User-Agent: Mozilla/5.0 (Windows; U; Windows NT 6.1; en-US; rv:1.9.2.28) Gecko/20120306 Thunderbird/3.1.20
MIME-Version: 1.0
To: lojban@googlegroups.com
CC: "Engelang@Yahoogroups. Com" <engelang@yahoogroups.com>
Subject: Re: [lojban] &Lang
References: <90a7e54c-42fe-4ee0-9693-8155db9a7646@googlegroups.com>	<f5113f81-1797-4d4b-8c39-2d96ed42cfa2@googlegroups.com>	<4FFDC7C8.2010707@gmail.com>	<237c4ac5-64f3-40fa-81d3-8a97c76dcc5d@googlegroups.com>	<1342109844.79789.YahooMailNeo@web184407.mail.bf1.yahoo.com>	<4FFF180C.8060000@gmail.com>	<CALm==BVbQRVkmenyZ9txY6c53EGLReF9MLnm_Jt4DFd7aPC1iw@mail.gmail.com>	<4FFF534B.9010509@gmail.com>	<CALm==BX7bWWEyKxgDqFFe-2ZO5fYUE=FJABxEMx7BEtmDAdEAg@mail.gmail.com>	<5000314E.10906@gmail.com>	<CALm==BXxX20_dKARF1FT8yEonA_wiDiy-HZQDUL+uAqveP1NQw@mail.gmail.com>	<502A734B.1060906@gmail.com>	<CALm==BW8NUJa_zayYw+6GHeUQTnOVptPUMUdUr1URks0uoDONA@mail.gmail.com>	<502B0199.7090609@gmail.com> <CAO7tK2foTYQijz8gbbrmYEqwgg_+yWnmYBYQmyMvis3-wRafxw@mail.gmail.com>
In-Reply-To: <CAO7tK2foTYQijz8gbbrmYEqwgg_+yWnmYBYQmyMvis3-wRafxw@mail.gmail.com>
X-Original-Sender: and.rosta@gmail.com
X-Original-Authentication-Results: gmr-mx.google.com; spf=pass (google.com:
 domain of and.rosta@gmail.com designates 74.125.82.52 as permitted sender)
 smtp.mail=and.rosta@gmail.com; dkim=pass header.i=@gmail.com
Reply-To: lojban@googlegroups.com
Precedence: list
Mailing-list: list lojban@googlegroups.com; contact lojban+owners@googlegroups.com
List-ID: <lojban.googlegroups.com>
X-Google-Group-Id: 1004133512417
List-Post: <http://groups.google.com/group/lojban/post?hl=en_US>, <mailto:lojban@googlegroups.com>
List-Help: <http://groups.google.com/support/?hl=en_US>, <mailto:lojban+help@googlegroups.com>
List-Archive: <http://groups.google.com/group/lojban?hl=en_US>
Sender: lojban@googlegroups.com
List-Subscribe: <http://groups.google.com/group/lojban/subscribe?hl=en_US>, <mailto:lojban+subscribe@googlegroups.com>
List-Unsubscribe: <http://groups.google.com/group/lojban/subscribe?hl=en_US>, <mailto:googlegroups-manage+1004133512417+unsubscribe@googlegroups.com>
Content-Type: text/plain; charset=ISO-8859-1; format=flowed
Content-Transfer-Encoding: quoted-printable
X-Spam-Score: -0.7 (/)
X-Spam_score: -0.7
X-Spam_score_int: -6
X-Spam_bar: /

Jorge Llamb=EDas, On 15/08/2012 23:13:
> On Tue, Aug 14, 2012 at 10:55 PM, And Rosta<and.rosta@gmail.com>  wrote:
>>
>> [...] that's
>> the direction where I think the solution lies: iteratively uniting two
>> predicates into one, with a method for indicating which argument-places
>> merge into a single argument-place, ideally without having
>> lexicosyntactically *explicit* variables filling argument-places.
>>
>> E.g. F(a,b) and G(c,d) merge into a compound predicate H(a,b=3Dc,d).
>>
>> (My own unpublished solutiontakes this approach, with an inflectional
>> machinery for encoding how two argument lists (e.g.<a, b>  &  <c, d>) me=
rge
>> into one  (e.g.<a, b=3Dc, d>).)
>
> I guess that means you need Bell number B(n) of inflections per
> connective for predicates that together have n arguments. This number
> grows pretty fast with n, http://en.wikipedia.org/wiki/Bell_numbers
> but I guess you must have some way of compositionally creating the
> inflections so they are manageable,

I don't think it is Bell number, since the Livagian system requires 1--1 co=
rrespondences between members of the two sets, whereas Bell number seems to=
 be the number of possible correspondence patterns among members of a set. =
Each member of each of the two sets may be in correspondence with either ex=
actly one member of the other set or no member of the other set. For reason=
s I won't go into, there are four different sorts of correspondence. So, ea=
ch member of each of the two sets is either in exactly one sort of correspo=
ndence with either exactly one member of the other set or is in no correspo=
ndence with any member of the other set. That must be an easyish formula to=
 find for somebody with more maths nous than me.

And yes, the inflections are compositional.

--And.

--=20
You received this message because you are subscribed to the Google Groups "=
lojban" group.
To post to this group, send email to lojban@googlegroups.com.
To unsubscribe from this group, send email to lojban+unsubscribe@googlegrou=
ps.com.
For more options, visit this group at http://groups.google.com/group/lojban=
?hl=3Den.