Received-SPF: pass (google.com: domain of nictytan@gmail.com designates 2607:f8b0:400c:c03::22f as permitted sender) client-ip=2607:f8b0:400c:c03::22f;
MIME-Version: 1.0
In-Reply-To: <CAO7tK2eUKJQe9fsDHgD+rYhDFnyuPpNvQ=A9M7AZHNQt3J6fUw@mail.gmail.com>
References: <CAOQ8VDUgXJ0iTAO4Vvz+4TbX29tfZbcfptvexaSTJX_StmX85w@mail.gmail.com>
	<CAO7tK2eUKJQe9fsDHgD+rYhDFnyuPpNvQ=A9M7AZHNQt3J6fUw@mail.gmail.com>
Date: Sun, 17 Aug 2014 10:14:41 -0400
Message-ID: <CAOQ8VDXdv7C7q9E1bau-5A+MV7+ZU_TeRGE6=KOT9=dndU7kmw@mail.gmail.com>
Subject: Re: [lojban] A recursively-defined predicate for building chains
 (was: Lojban for great-great-grandfather)
From: Jacob Errington <nictytan@gmail.com>
To: lojban@googlegroups.com
Reply-To: lojban@googlegroups.com
Precedence: list
Mailing-list: list lojban@googlegroups.com; contact lojban+owners@googlegroups.com
Sender: lojban@googlegroups.com
Content-Type: multipart/alternative; boundary=001a1135f0661a14c30500d3e0d1
X-Spam_score: -1.9
X-Spam_score_int: -18
X-Spam_bar: -

--001a1135f0661a14c30500d3e0d1
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: quoted-printable

On Aug 16, 2014 12:30 PM, "Jorge Llamb=C3=ADas" <jjllambias@gmail.com> wrot=
e:
>
>
>
>
> On Sat, Aug 16, 2014 at 12:32 PM, Jacob Errington <nictytan@gmail.com>
wrote:
>>
>>
>> We propose a predicate to construct such chains, of arbitrary length,
defined as follows in Lojban:
>>
>> .i lo ka broda cu ka ko'a ko'e fo'a fo'e ce'ai lo du'u fo'a li pa dubmau
kei goi dy zo'u ge ganai me'au dy gi ko'a me'au fo'e lo broda be ko'e bei
li mo'e fo'a vu'u pa bei fo'e gi ga me'au dy gi ko'a ko'e me'au fo'e
>
>
> How about using the lujvo "tenki'i", defined:as: ko'a ckini ko'e lo tenfa
be ko'i bei ko'o
>

I can't say that I like using tenfa like this. It seems to me like a happy
coincidence that we use exponentiation notation for both repeated
multiplication and repeated function application in general. I also don't
like allowing both numbers and predicates in the tenfa, if we were to try
generalizing it without adding a place for the predicate (in which case we
pretty much wind up with my predicate, but with the possibility of
non-natural exponents, which doesn't make a lot of sense outside of
exponentiation.)

--=20
You received this message because you are subscribed to the Google Groups "=
lojban" group.
To unsubscribe from this group and stop receiving emails from it, send an e=
mail to lojban+unsubscribe@googlegroups.com.
To post to this group, send email to lojban@googlegroups.com.
Visit this group at http://groups.google.com/group/lojban.
For more options, visit https://groups.google.com/d/optout.

--001a1135f0661a14c30500d3e0d1
Content-Type: text/html; charset=UTF-8
Content-Transfer-Encoding: quoted-printable

<p dir=3D"ltr"><br>
On Aug 16, 2014 12:30 PM, &quot;Jorge Llamb=C3=ADas&quot; &lt;<a href=3D"ma=
ilto:jjllambias@gmail.com">jjllambias@gmail.com</a>&gt; wrote:<br>
&gt;<br>
&gt;<br>
&gt;<br>
&gt;<br>
&gt; On Sat, Aug 16, 2014 at 12:32 PM, Jacob Errington &lt;<a href=3D"mailt=
o:nictytan@gmail.com">nictytan@gmail.com</a>&gt; wrote:<br>
&gt;&gt;<br>
&gt;&gt;<br>
&gt;&gt; We propose a predicate to construct such chains, of arbitrary leng=
th, defined as follows in Lojban:<br>
&gt;&gt;<br>
&gt;&gt; .i lo ka broda cu ka ko&#39;a ko&#39;e fo&#39;a fo&#39;e ce&#39;ai=
 lo du&#39;u fo&#39;a li pa dubmau kei goi dy zo&#39;u ge ganai me&#39;au d=
y gi ko&#39;a me&#39;au fo&#39;e lo broda be ko&#39;e bei li mo&#39;e fo=
9;a vu&#39;u pa bei fo&#39;e gi ga me&#39;au dy gi ko&#39;a ko&#39;e me&#39=
;au fo&#39;e<br>

&gt;<br>
&gt;<br>
&gt; How about using the lujvo &quot;tenki&#39;i&quot;, defined:as: ko&#39;=
a ckini ko&#39;e lo tenfa be ko&#39;i bei ko&#39;o<br>
&gt;</p>
<p dir=3D"ltr">I can&#39;t say that I like using tenfa like this. It seems =
to me like a happy coincidence that we use exponentiation notation for both=
 repeated multiplication and repeated function application in general. I al=
so don&#39;t like allowing both numbers and predicates in the tenfa, if we =
were to try generalizing it without adding a place for the predicate (in wh=
ich case we pretty much wind up with my predicate, but with the possibility=
 of non-natural exponents, which doesn&#39;t make a lot of sense outside of=
 exponentiation.)</p>

<p></p>

-- <br />
You received this message because you are subscribed to the Google Groups &=
quot;lojban&quot; group.<br />
To unsubscribe from this group and stop receiving emails from it, send an e=
mail to <a href=3D"mailto:lojban+unsubscribe@googlegroups.com">lojban+unsub=
scribe@googlegroups.com</a>.<br />
To post to this group, send email to <a href=3D"mailto:lojban@googlegroups.=
com">lojban@googlegroups.com</a>.<br />
Visit this group at <a href=3D"http://groups.google.com/group/lojban">http:=
//groups.google.com/group/lojban</a>.<br />
For more options, visit <a href=3D"https://groups.google.com/d/optout">http=
s://groups.google.com/d/optout</a>.<br />

--001a1135f0661a14c30500d3e0d1--