Received: from mail-bk0-f61.google.com ([209.85.214.61]:44478)
	by stodi.digitalkingdom.org with esmtps (TLSv1:RC4-SHA:128)
	(Exim 4.76)
	(envelope-from <lojban+bncCJ2UzZHuDRDp0eSBBRoEdc3_kw@googlegroups.com>)
	id 1T5M8b-0001Tt-9t; Sat, 25 Aug 2012 12:35:23 -0700
Received: by bkwj4 with SMTP id j4sf963521bkw.16
        for <multiple recipients>; Sat, 25 Aug 2012 12:35:09 -0700 (PDT)
DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed;
        d=googlegroups.com; s=20120806;
        h=x-beenthere:received-spf:mime-version:in-reply-to:references:date
         :message-id:subject:from: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=Kg74ePJyqcuaTDXjtW3ylGlqxV+EFNlR6z2aczG64P4=;
        b=KP0SrAqja8xDo9fmbs8Ucbex56m15xWEOJkc8kuO1Habpq8a7QDWrUlZTWX74/PPfr
         kVnDG6jQJgSdsrWCNpS+GIb6d1KO64F/ZRaHVUD7HsPhmS+lFAEYfK9RdIt9e+0vlOKt
         I08GDTpedHIYnLKL34AYOhwzM9qc7uumedVkPm8NUtA92ykiZ22Oj3lR107vYBW02QOG
         Zd7AA4BSCbIOlw9whQf6jeR/onBPK5qH2xP2nG3+19naLACfCEqt/7/S8awr99IOpmQJ
         tdG2k5NbEG/A3rbow5xmlvfMbTuJMZn5cdxz0RnZfyNey7l6MPYV/JhmuBQ1FKtttaC/
         3iYA==
Received: by 10.216.133.206 with SMTP id q56mr204211wei.72.1345923305577;
        Sat, 25 Aug 2012 12:35:05 -0700 (PDT)
X-BeenThere: lojban@googlegroups.com
Received: by 10.14.224.130 with SMTP id x2ls750037eep.7.gmail; Sat, 25 Aug
 2012 12:35:04 -0700 (PDT)
Received: by 10.14.220.131 with SMTP id o3mr7344214eep.6.1345923304886;
        Sat, 25 Aug 2012 12:35:04 -0700 (PDT)
Received: by 10.14.220.131 with SMTP id o3mr7344213eep.6.1345923304834;
        Sat, 25 Aug 2012 12:35:04 -0700 (PDT)
Received: from mail-ee0-f46.google.com (mail-ee0-f46.google.com [74.125.83.46])
        by gmr-mx.google.com with ESMTPS id v3si18732436eep.1.2012.08.25.12.35.04
        (version=TLSv1/SSLv3 cipher=OTHER);
        Sat, 25 Aug 2012 12:35:04 -0700 (PDT)
Received-SPF: pass (google.com: domain of jjllambias@gmail.com designates 74.125.83.46 as permitted sender) client-ip=74.125.83.46;
Received: by eekc1 with SMTP id c1so519405eek.5
        for <lojban@googlegroups.com>; Sat, 25 Aug 2012 12:35:04 -0700 (PDT)
MIME-Version: 1.0
Received: by 10.14.181.132 with SMTP id l4mr11940940eem.17.1345923304724; Sat,
 25 Aug 2012 12:35:04 -0700 (PDT)
Received: by 10.14.95.78 with HTTP; Sat, 25 Aug 2012 12:35:04 -0700 (PDT)
In-Reply-To: <5037E573.6020006@gmail.com>
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>
	<5037E573.6020006@gmail.com>
Date: Sat, 25 Aug 2012 16:35:04 -0300
Message-ID: <CAO7tK2dBk2f6va0Mxfv+9jB0Qvh5XPshKBhkJ_YYmBwLuwaJag@mail.gmail.com>
Subject: Re: [lojban] &Lang
From: =?ISO-8859-1?Q?Jorge_Llamb=EDas?= <jjllambias@gmail.com>
To: lojban@googlegroups.com
X-Original-Sender: jjllambias@gmail.com
X-Original-Authentication-Results: gmr-mx.google.com; spf=pass (google.com:
 domain of jjllambias@gmail.com designates 74.125.83.46 as permitted sender)
 smtp.mail=jjllambias@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
Content-Transfer-Encoding: quoted-printable
X-Spam-Score: -0.7 (/)
X-Spam_score: -0.7
X-Spam_score_int: -6
X-Spam_bar: /

On Fri, Aug 24, 2012 at 5:34 PM, And Rosta <and.rosta@gmail.com> wrote:
> 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:
>>>
>>> E.g. F(a,b) and G(c,d) merge into a compound predicate H(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.
>
> I don't think it is Bell number, since the Livagian system requires 1--1
> correspondences between members of the two sets, whereas Bell number seem=
s
> to be the number of possible correspondence patterns among members of a s=
et.

So you can't have F(a,b) and G(c,d) merge directly into H(a=3Db=3Dc, d).

Then the nth Bell number is the number of unary mergers that you need
for predicates with n arguments, the binary mergers will be fewer
(assuming you can make use the unary mergers first). But presumably
you could also do the unary mergers in steps, with only two arguments
merging at each step, so for an n argument predicate you only need
n(n-1)/2 mergers. Which you could also reduce by combining them with
argument shuffling operators.

> Each member of each of the two sets may be in correspondence with either
> exactly one member of the other set or no member of the other set. For
> reasons I won't go into, there are four different sorts of correspondence=
.
> So, each member of each of the two sets is either in exactly one sort of
> correspondence with either exactly one member of the other set or is in n=
o
> correspondence with any member of the other set.

OK, that's a smaller amount of correspondences than I was thinking of.

> That must be an easyish
> formula to find for somebody with more maths nous than me.

If my calculations (for a single sort of correspondence) are correct:

N(n,m) =3D Sum from i=3D1 to min(n,m) of n!m! / i!(n-i)!(m-i)!

N(n,1) =3D n
N(n,2) =3D n(n+1)
N(n,3) =3D n(n^2+2)

Probably this number has a name, but I don't know what it is.

For four sorts of correspondence, it gets more complicated.

>
> And yes, the inflections are compositional.

The nth Bell number is the number of different compositions you need
to cover all cases of n arguments. (With one kind of merge. With four
kinds of merge, I don't know.)

mu'o mi'e xorxes

--=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.