Received: from mail-wi0-f189.google.com ([209.85.212.189]:49643) by stodi.digitalkingdom.org with esmtps (TLSv1:RC4-SHA:128) (Exim 4.80.1) (envelope-from ) id 1XWvb2-0001xk-Cf for lojban-list-archive@lojban.org; Wed, 24 Sep 2014 16:03:44 -0700 Received: by mail-wi0-f189.google.com with SMTP id ho1sf631218wib.26 for ; Wed, 24 Sep 2014 16:03:33 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=googlegroups.com; s=20120806; h=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:list-post:list-help:list-archive :sender:list-subscribe:list-unsubscribe:content-type; bh=etnLXs5LqcqNuekzqz0cUqIE8VzHKIbUF1bX2mDtqCc=; b=f/UQ4jgUXUkM/OfKClxDRwfoWoC0XzuflyTqkGCiS8PX6JttZDVeZ8K59ceCsNiCVb zAI4rYFy98WiJlrzjTDnI7lgLu4gICfvSdEv8NauO0Hie56zPKG0TUIE7HeYPFUDejwx HgfLXi3RnVDQVBr9WYYIpSJWZd3IT46k4EcJQByjAqBkY9NAU4/01935Jv17dGW0k/b5 V/1NuUF2Gvuhbwr2vq96o3BfGMTGocxsu+wsQnQ+8bvihrcBFkqnIQRP8C1k6ZOWclWq Rn6OJ1gsvPDzFVzKZ8dVbm71u3aQ0ZmBh01+dtjoVQdxvPInNhy1T/WLdfGrQyE+nBYn pVJQ== X-Received: by 10.152.7.99 with SMTP id i3mr45835laa.20.1411599813395; Wed, 24 Sep 2014 16:03:33 -0700 (PDT) X-BeenThere: lojban@googlegroups.com Received: by 10.152.43.103 with SMTP id v7ls234810lal.32.gmail; Wed, 24 Sep 2014 16:03:32 -0700 (PDT) X-Received: by 10.152.3.134 with SMTP id c6mr1081180lac.5.1411599812466; Wed, 24 Sep 2014 16:03:32 -0700 (PDT) Received: from mail-lb0-x22e.google.com (mail-lb0-x22e.google.com [2a00:1450:4010:c04::22e]) by gmr-mx.google.com with ESMTPS id us10si119259lbc.1.2014.09.24.16.03.32 for (version=TLSv1 cipher=ECDHE-RSA-RC4-SHA bits=128/128); Wed, 24 Sep 2014 16:03:32 -0700 (PDT) Received-SPF: pass (google.com: domain of jjllambias@gmail.com designates 2a00:1450:4010:c04::22e as permitted sender) client-ip=2a00:1450:4010:c04::22e; Received: by mail-lb0-x22e.google.com with SMTP id l4so11439643lbv.5 for ; Wed, 24 Sep 2014 16:03:32 -0700 (PDT) MIME-Version: 1.0 X-Received: by 10.152.18.130 with SMTP id w2mr9165454lad.89.1411599812419; Wed, 24 Sep 2014 16:03:32 -0700 (PDT) Received: by 10.114.25.229 with HTTP; Wed, 24 Sep 2014 16:03:32 -0700 (PDT) In-Reply-To: <1411598608.71845.YahooMailNeo@web181103.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> <1411567412.85594.YahooMailNeo@web181102.mail.ne1.yahoo.com> <1411570426.39518.YahooMailNeo@web181106.mail.ne1.yahoo.com> <1411574508.45917.YahooMailNeo@web181103.mail.ne1.yahoo.com> <1411584109.21511.YahooMailNeo@web181104.mail.ne1.yahoo.com> <2E5BA45B-ACFB-46EA-8C84-881C50F095FE@yahoo.com> <518ED9C5-59EC-4A27-974C-5E88ED24F83B@yahoo.com> <1411598608.71845.YahooMailNeo@web181103.mail.ne1.yahoo.com> Date: Wed, 24 Sep 2014 20:03:32 -0300 Message-ID: Subject: Re: [lojban] Mathy person interested in concept, unsure where to begin. From: =?UTF-8?Q?Jorge_Llamb=C3=ADas?= 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 2a00:1450:4010:c04::22e as permitted sender) smtp.mail=jjllambias@gmail.com; dkim=pass header.i=@gmail.com; dmarc=pass (p=NONE dis=NONE) header.from=gmail.com Reply-To: lojban@googlegroups.com Precedence: list Mailing-list: list lojban@googlegroups.com; contact lojban+owners@googlegroups.com List-ID: X-Google-Group-Id: 1004133512417 List-Post: , List-Help: , List-Archive: , List-Unsubscribe: , Content-Type: multipart/alternative; boundary=089e0149413662674c0503d7b1c8 X-Spam-Score: -1.9 (-) X-Spam_score: -1.9 X-Spam_score_int: -18 X-Spam_bar: - --089e0149413662674c0503d7b1c8 Content-Type: text/plain; charset=UTF-8 On Wed, Sep 24, 2014 at 7:43 PM, 'John E Clifford' via lojban < lojban@googlegroups.com> wrote: > Well, given that formula there isn't a lot to do but maybe team 1 coming > up with 'da ge broda gi nai brode' or 'da na ku ge ganai broda gi brode' > That would be team 1 making extra Lojban -> Lojban moves that are not always well defined, so risking messing up. If team 1 sticks with vanilla FOPL -> Lojban without trying any additional fancy Lojban -> Lojban shortcuts, then they can be assured that team 2 will be able to do the Lojban -> FOPL without any trouble. That's not to say that we don't need to define all the Lojban -> Lojban shortcuts, of course we do, but they are not required in order to be able to express any FOPL in Lojban. They are required to go the other way, and express any Lojban in FOPL 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. --089e0149413662674c0503d7b1c8 Content-Type: text/html; charset=UTF-8 Content-Transfer-Encoding: quoted-printable


On Wed, Sep 24, 2014 at 7:43 PM, 'John E Clifford' via lojban <= span dir=3D"ltr"><lojban@googlegroups.com> wrote:
Well, given that formula there isn't a lot to = do but maybe team 1 coming up with 'da ge broda gi nai brode' or &#= 39;da na ku ge ganai broda gi brode'

That would be team 1 making extra Lojban -> Lojba= n moves that are not always well defined, so risking messing up. If team 1 = sticks with vanilla FOPL -> Lojban without trying any additional fancy L= ojban -> Lojban shortcuts, then they can be assured that team 2 will be = able to do the Lojban -> FOPL without any trouble.

<= div>That's not to say that we don't need to define all the Lojban -= > Lojban shortcuts, of course we do, but they are not required in order = to be able to express any FOPL in Lojban. They are required to go the other= way, and express any Lojban in FOPL

mu'o mi&#= 39;e xorxes
=C2=A0=C2=A0

--
You received this message because you are subscribed to the Google Groups &= quot;lojban" group.
To unsubscribe from this group and stop receiving emails from it, send an e= mail to lojban+unsub= scribe@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 http= s://groups.google.com/d/optout.
--089e0149413662674c0503d7b1c8--