Received: from mail-yx0-f189.google.com ([209.85.213.189]:56273)
	by stodi.digitalkingdom.org with esmtps (TLSv1:RC4-SHA:128)
	(Exim 4.76)
	(envelope-from <lojban+bncCOib25n_BhCs-qmBBRoEIYD2eg@googlegroups.com>)
	id 1T1K0z-0002cD-GY; Tue, 14 Aug 2012 09:30:58 -0700
Received: by yenq11 with SMTP id q11sf540570yen.16
        for <multiple recipients>; Tue, 14 Aug 2012 09:30:37 -0700 (PDT)
DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed;
        d=googlegroups.com; s=beta;
        h=x-beenthere:received-spf:mime-version:sender:in-reply-to:references
         :from:date:message-id:subject: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
         :list-subscribe:list-unsubscribe:content-type;
        bh=un+kxHAk26O6KtlyeSWr2aqb/h0omPtg3MvibATQ7fo=;
        b=6y2uRVBSQp71rb7o1FjFn5aOBqu0BuulFvGObDXruFpw1Caq5jwxW0jEHZSEUMr5vc
         oA+PKjwUYrhIwlvad2X2qhhijIcu/Ep/pDe38ljyoJ//iofhTGPBkn2i5YxaatmsXZhl
         3EiAZN07hUO1T6in/1HYeloWFg9JwYg+Uznog=
Received: by 10.52.23.145 with SMTP id m17mr1095652vdf.0.1344961836900;
        Tue, 14 Aug 2012 09:30:36 -0700 (PDT)
X-BeenThere: lojban@googlegroups.com
Received: by 10.52.36.147 with SMTP id q19ls462240vdj.4.gmail; Tue, 14 Aug
 2012 09:30:36 -0700 (PDT)
Received: by 10.58.222.100 with SMTP id ql4mr2456472vec.22.1344961836210;
        Tue, 14 Aug 2012 09:30:36 -0700 (PDT)
Received: by 10.58.222.100 with SMTP id ql4mr2456471vec.22.1344961836185;
        Tue, 14 Aug 2012 09:30:36 -0700 (PDT)
Received: from mail-vb0-f54.google.com (mail-vb0-f54.google.com [209.85.212.54])
        by gmr-mx.google.com with ESMTPS id t4si155204vds.3.2012.08.14.09.30.36
        (version=TLSv1/SSLv3 cipher=OTHER);
        Tue, 14 Aug 2012 09:30:36 -0700 (PDT)
Received-SPF: pass (google.com: domain of rpglover64@gmail.com designates 209.85.212.54 as permitted sender) client-ip=209.85.212.54;
Received: by mail-vb0-f54.google.com with SMTP id v11so547235vbm.41
        for <lojban@googlegroups.com>; Tue, 14 Aug 2012 09:30:36 -0700 (PDT)
Received: by 10.58.243.138 with SMTP id wy10mr2726196vec.46.1344961836033;
 Tue, 14 Aug 2012 09:30:36 -0700 (PDT)
MIME-Version: 1.0
Sender: lojban@googlegroups.com
Received: by 10.58.220.6 with HTTP; Tue, 14 Aug 2012 09:30:15 -0700 (PDT)
In-Reply-To: <502A734B.1060906@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>
From: ".arpis." <rpglover64+jbobau@gmail.com>
Date: Tue, 14 Aug 2012 12:30:15 -0400
Message-ID: <CALm==BW8NUJa_zayYw+6GHeUQTnOVptPUMUdUr1URks0uoDONA@mail.gmail.com>
Subject: Re: [lojban] &Lang
To: lojban@googlegroups.com
X-Original-Sender: rpglover64@gmail.com
X-Original-Authentication-Results: gmr-mx.google.com; spf=pass (google.com:
 domain of rpglover64@gmail.com designates 209.85.212.54 as permitted sender)
 smtp.mail=rpglover64@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>
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: multipart/alternative; boundary=047d7b86ef407925d004c73c543d
X-Spam-Score: -0.7 (/)
X-Spam_score: -0.7
X-Spam_score_int: -6
X-Spam_bar: /

--047d7b86ef407925d004c73c543d
Content-Type: text/plain; charset=ISO-8859-1

> Either I've misunderstood your response, or you've misunderstood the
> challenge. The challenge is that the same bound variable need never be
> repeated. Sure for any given single sentence containing n different
> variables you can define an equivalent single predicate with n arguments,
> but you can't do this for each of the infinitely many sentences in a
> language.
>
> But you _can_! That's how you'd build up sentences if the language's
mechanism for composing concepts involves uniting them into larger
predicates.

That said, I have internally equated what you desire to a well-studied
notion in computer science (which would need adaptation before being moved
to natural language). I may have misunderstood, but I think that your
notion of eliminating repeated references is equivalent to eliminating
explicit references altogether.


>
>  Other things you may want to look at: combinatory logic,
>> concatenative programming (or stack-based programming), point-free
>> style (or tacit programming), and the J programming language.
>>
>
> Thanks for taking the trouble to make the suggestions, but I don't have
> the requisite intellectual skills to scan outlines of those areas in the
> hope of descrying a notation that doesn't require variable repetition. If
> you think one of them provides a notation that doesn't require variable
> repetition, it would be very precious to meif you were to explain it to me.
>
> Combinatory logic provides a notation based on S and K (or another one
based on B, C, K, and W) for expressing predicates without explicit
reference.

Concatenative programming uses the idea of a stack to avoid explicit
reference.

The J Programming Language uses ideas from the above to be very terse and
linear without explicit variables.


>  --and.
>
>
> --
> 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@**
> googlegroups.com <lojban%2Bunsubscribe@googlegroups.com>.
> For more options, visit this group at http://groups.google.com/**
> group/lojban?hl=en <http://groups.google.com/group/lojban?hl=en>.
>
>


-- 
mu'o mi'e .arpis.

-- 
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@googlegroups.com.
For more options, visit this group at http://groups.google.com/group/lojban?hl=en.


--047d7b86ef407925d004c73c543d
Content-Type: text/html; charset=ISO-8859-1
Content-Transfer-Encoding: quoted-printable

<br><div class=3D"gmail_quote"><blockquote class=3D"gmail_quote" style=3D"m=
argin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">Either I&#39;=
ve misunderstood your response, or you&#39;ve misunderstood the challenge. =
The challenge is that the same bound variable need never be repeated. Sure =
for any given single sentence containing n different variables you can defi=
ne an equivalent single predicate with n arguments, but you can&#39;t do th=
is for each of the infinitely many sentences in a language.<div class=3D"im=
">

<br></div></blockquote><div>But you _can_! That&#39;s how you&#39;d build u=
p sentences if the language&#39;s mechanism for composing concepts involves=
 uniting them into larger predicates.<br><br>That said, I have internally e=
quated what you desire to a well-studied notion in computer science (which =
would need adaptation before being moved to natural language). I may have m=
isunderstood, but I think that your notion of eliminating repeated referenc=
es is equivalent to eliminating explicit references altogether.<br>

=A0</div><blockquote class=3D"gmail_quote" style=3D"margin:0 0 0 .8ex;borde=
r-left:1px #ccc solid;padding-left:1ex"><div class=3D"im">
<br>
<blockquote class=3D"gmail_quote" style=3D"margin:0 0 0 .8ex;border-left:1p=
x #ccc solid;padding-left:1ex">
Other things you may want to look at: combinatory logic,<br>
concatenative programming (or stack-based programming), point-free<br>
style (or tacit programming), and the J programming language.<br>
</blockquote>
<br></div>
Thanks for taking the trouble to make the suggestions, but I don&#39;t have=
 the requisite intellectual skills to scan outlines of those areas in the h=
ope of descrying a notation that doesn&#39;t require variable repetition. I=
f you think one of them provides a notation that doesn&#39;t require variab=
le repetition, it would be very precious to meif you were to explain it to =
me.<span class=3D"HOEnZb"><font color=3D"#888888"><br>


<br></font></span></blockquote><div>Combinatory logic provides a notation b=
ased on S and K (or another one based on B, C, K, and W) for expressing pre=
dicates without explicit reference.<br><br>Concatenative programming uses t=
he idea of a stack to avoid explicit reference.<br>

<br>The J Programming Language uses ideas from the above to be very terse a=
nd linear without explicit variables.<br>=A0</div><blockquote class=3D"gmai=
l_quote" style=3D"margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left=
:1ex">

<span class=3D"HOEnZb"><font color=3D"#888888">
--and.</font></span><div class=3D"HOEnZb"><div class=3D"h5"><br>
<br>
-- <br>
You received this message because you are subscribed to the Google Groups &=
quot;lojban&quot; group.<br>
To post to this group, send email to <a href=3D"mailto:lojban@googlegroups.=
com" target=3D"_blank">lojban@googlegroups.com</a>.<br>
To unsubscribe from this group, send email to <a href=3D"mailto:lojban%2Bun=
subscribe@googlegroups.com" target=3D"_blank">lojban+unsubscribe@<u></u>goo=
glegroups.com</a>.<br>
For more options, visit this group at <a href=3D"http://groups.google.com/g=
roup/lojban?hl=3Den" target=3D"_blank">http://groups.google.com/<u></u>grou=
p/lojban?hl=3Den</a>.<br>
<br>
</div></div></blockquote></div><br><br clear=3D"all"><br>-- <br>mu&#39;o mi=
&#39;e .arpis.<br><br>

<p></p>

-- <br />
You received this message because you are subscribed to the Google Groups "=
lojban" group.<br />
To post to this group, send email to lojban@googlegroups.com.<br />
To unsubscribe from this group, send email to lojban+unsubscribe@googlegrou=
ps.com.<br />

For more options, visit this group at http://groups.google.com/group/lojban=
?hl=3Den.<br />



--047d7b86ef407925d004c73c543d--