Received-SPF: pass (google.com: domain of jjllambias@gmail.com designates 2a00:1450:4010:c04::22b as permitted sender) client-ip=2a00:1450:4010:c04::22b;
MIME-Version: 1.0
In-Reply-To: <1411567412.85594.YahooMailNeo@web181102.mail.ne1.yahoo.com>
References: <5f6a7dec-3c5d-477d-bd73-5bd69726b713@googlegroups.com>
	<1411515475.42591.YahooMailNeo@web181103.mail.ne1.yahoo.com>
	<1465cea2-41be-48ac-8f02-934d4a4b904b@googlegroups.com>
	<88e103a9-04e1-4739-97c2-f37fa457e4a8@googlegroups.com>
	<90cb23e1-0ed7-4b3c-9626-c31c4c8a8076@googlegroups.com>
	<CAO7bV+ivxnfLe8WfvKnhKXS5NPgu5Eex=HdrD=X=6n9MTtFobQ@mail.gmail.com>
	<CANbwn5AeGqz+x0os-=21CFxVv8b=dRSL85ff0ddvHx9-nf8SsQ@mail.gmail.com>
	<1411567412.85594.YahooMailNeo@web181102.mail.ne1.yahoo.com>
Date: Wed, 24 Sep 2014 11:25:35 -0300
Message-ID: <CAO7tK2dnODduDUJ9HpiUbomobj80-xMggQ72kjwpYOSNwhQ3Mw@mail.gmail.com>
Subject: Re: [lojban] Mathy person interested in concept, unsure where to begin.
From: =?UTF-8?Q?Jorge_Llamb=C3=ADas?= <jjllambias@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=001a11332fee07ca5e0503d075ea
X-Spam_score: -1.9
X-Spam_score_int: -18
X-Spam_bar: -

--001a11332fee07ca5e0503d075ea
Content-Type: text/plain; charset=UTF-8

On Wed, Sep 24, 2014 at 11:03 AM, 'John E Clifford' via lojban <
lojban@googlegroups.com> wrote:

> The most clearly missing item in this area is the big one, a program for
> converting any Lojban sentence to a formula of an appropriate logic
> formulary.  Or, conversely (or perhaps reciprocally) a set of
> transformations for converting formulae of logic into grammatical sentences
> of Lojban.
>

The second part, converting logical formuae into gramatical sentences of
Lojban is actually rather trivial. The Lojban to logic is non-trivial
because Lojban allows many shortcuts and non-logical elements that are not
always well defined, but you are never required to use those when going in
the logic to Lojban direction..

mu'o mi'e xorxes

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

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

<div dir=3D"ltr"><br><div class=3D"gmail_extra"><br><div class=3D"gmail_quo=
te">On Wed, Sep 24, 2014 at 11:03 AM, &#39;John E Clifford&#39; via lojban =
<span dir=3D"ltr">&lt;<a href=3D"mailto:lojban@googlegroups.com" target=3D"=
_blank">lojban@googlegroups.com</a>&gt;</span> wrote:<br><blockquote class=
=3D"gmail_quote" style=3D"margin:0 0 0 .8ex;border-left:1px #ccc solid;padd=
ing-left:1ex"><div><div style=3D"color:#000;background-color:#fff;font-fami=
ly:HelveticaNeue,Helvetica Neue,Helvetica,Arial,Lucida Grande,sans-serif;fo=
nt-size:12pt"><div><span>The most clearly missing item in this area is the =
big one, a program for converting any Lojban sentence to a formula of an ap=
propriate logic formulary.=C2=A0 Or, conversely (or perhaps reciprocally) a=
 set of transformations for converting formulae of logic into grammatical s=
entences of Lojban. </span></div></div></div></blockquote><div><br></div><d=
iv>The second part, converting logical formuae into gramatical sentences of=
 Lojban is actually rather trivial. The Lojban to logic is non-trivial beca=
use Lojban allows many shortcuts and non-logical elements that are not alwa=
ys well defined, but you are never required to use those when going in the =
logic to Lojban direction..</div><div><br></div><div>mu&#39;o mi&#39;e xorx=
es</div><div><br></div></div></div></div>

<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 />

--001a11332fee07ca5e0503d075ea--