Received: from mail-wi0-f183.google.com ([209.85.212.183]:47795) by stodi.digitalkingdom.org with esmtps (TLSv1:RC4-SHA:128) (Exim 4.80.1) (envelope-from ) id 1XWn63-0001BZ-7e for lojban-list-archive@lojban.org; Wed, 24 Sep 2014 06:59:12 -0700 Received: by mail-wi0-f183.google.com with SMTP id d1sf606622wiv.10 for ; Wed, 24 Sep 2014 06:59:00 -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=u0MSD78PVdNakZky6fzSbSqEDZuwUTM218AUGsSA5/w=; b=IRhe5W04j43jFilGWbozgg/WJK8BsvosJoQ8k//OmGcQqe5nsxWy9s0gWYTy5MpOWq PpxxHmF29hZbgSiixCJ4hhuybLUakkSq/03bDZTIxe2OB1l2B5Pq46DB7svuS/bkI1gi vmmruELqVkbyFLvgDzkMFjHxR3A/J9E7V7xqsgj/kLM0pQE7rwpgOi2B6+pOzrk9Sjb2 5mbhfJiZQ3pdh6kf/joY6kEs4zlcv95J56plHKO+s4EozgDOXZFDPsLI4rDHoPP2kmiL ZOfZZ0W7qWDZE4jODv0GiSC6UlpKa3NNbtcUERY2k8fadAIMZ6bwrrBv34HpF1dAht0y AjiQ== X-Received: by 10.152.246.2 with SMTP id xs2mr34806lac.7.1411567140098; Wed, 24 Sep 2014 06:59:00 -0700 (PDT) X-BeenThere: lojban@googlegroups.com Received: by 10.152.36.133 with SMTP id q5ls166723laj.80.gmail; Wed, 24 Sep 2014 06:58:59 -0700 (PDT) X-Received: by 10.112.76.229 with SMTP id n5mr1045678lbw.8.1411567139032; Wed, 24 Sep 2014 06:58:59 -0700 (PDT) Received: from mail-wg0-x22c.google.com (mail-wg0-x22c.google.com [2a00:1450:400c:c00::22c]) by gmr-mx.google.com with ESMTPS id go4si326086wib.3.2014.09.24.06.58.58 for (version=TLSv1 cipher=ECDHE-RSA-RC4-SHA bits=128/128); Wed, 24 Sep 2014 06:58:59 -0700 (PDT) Received-SPF: pass (google.com: domain of gleki.is.my.name@gmail.com designates 2a00:1450:400c:c00::22c as permitted sender) client-ip=2a00:1450:400c:c00::22c; Received: by mail-wg0-f44.google.com with SMTP id z12so2418200wgg.15 for ; Wed, 24 Sep 2014 06:58:58 -0700 (PDT) MIME-Version: 1.0 X-Received: by 10.194.203.8 with SMTP id km8mr8220381wjc.51.1411567138846; Wed, 24 Sep 2014 06:58:58 -0700 (PDT) Received: by 10.194.175.167 with HTTP; Wed, 24 Sep 2014 06:58:58 -0700 (PDT) In-Reply-To: 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> Date: Wed, 24 Sep 2014 17:58:58 +0400 Message-ID: Subject: Re: [lojban] Mathy person interested in concept, unsure where to begin. From: Gleki Arxokuna To: lojban@googlegroups.com X-Original-Sender: gleki.is.my.name@gmail.com X-Original-Authentication-Results: gmr-mx.google.com; spf=pass (google.com: domain of gleki.is.my.name@gmail.com designates 2a00:1450:400c:c00::22c as permitted sender) smtp.mail=gleki.is.my.name@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=047d7bae47e6e340840503d015a6 X-Spam-Score: -1.9 (-) X-Spam_score: -1.9 X-Spam_score_int: -18 X-Spam_bar: - --047d7bae47e6e340840503d015a6 Content-Type: text/plain; charset=UTF-8 I'm not an expert in math or logic or programming. I'm even surprised to hear that Lojban shares some properties with programming languages (try converting any simplest program to and from lojban and vice versa using a described algorithm for an programming language). http://mw.lojban.org/index.php?title=Expansion_of_logical_connections http://jbovlaste.lojban.org/dict/ifle Also in {i lo nu da broda cu co'e lo nu da brode} the two {da} are different local variables but in {i da zo'u lo nu da broda cu co'e lo nu da brode} it is one global variable whereas in {i da zo'u lo nu da zo'u da broda cu co'e lo nu da zo'u da brode} they are again different variables. Correct me someone if im wrong. Lambda calculus and {ce'u} also comes to mind. Those were some thoughts on what to include into a future textbook. 2014-09-24 17:27 GMT+04:00 Romaji #### : > Never? > Interesting. > I'll attempt to remedy that problem. > > On Wed, Sep 24, 2014 at 2:29 AM, Gleki Arxokuna < > gleki.is.my.name@gmail.com> wrote: > >> >> >> 2014-09-24 4:17 GMT+04:00 Romaji #### : >> >>> Uh... >>> I've just started. >>> I'm not willing to pay anything yet. >>> What about some online, community stuff? >>> Or is that all going to not be what I want? >>> Does anyone else here think they even unambiguously know what I want? >>> >> >> CLL (the reference grammar) is free. >> all the links are here http://mw.lojban.org/index.php?title=Learning/en >> Secondary links (unsorted) >> http://mw.lojban.org/index.php?title=Learning_materials._Secondary_links >> (which has some charts of lojban grammar) >> However, I doubt Lojban has ever been described from a logician's >> mathematician's viewpoint no matter how strange it might seem to you. >> >> >>> >>> On Tuesday, September 23, 2014 8:14:09 PM UTC-4, TR NS wrote: >>>> >>>> >>>> >>>> On Tuesday, September 23, 2014 8:02:54 PM UTC-4, Romaji #### wrote: >>>>> >>>>> I was looking for a kind of "quick reference" guide to get me started >>>>> on Lojiban, with stuff like a list of key words and suff/pre fixes, and >>>>> basic grammar rules, preferably in a logic based environment. >>>>> So, basically, I'd be writing the textbook? >>>>> >>>>> >>>> You can just read it: http://www.amazon.com/ >>>> Complete-Lojban-Language-John-Cowan/dp/0966028309 >>>> >>> -- >>> 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. >>> >> >> -- >> You received this message because you are subscribed to a topic in the >> Google Groups "lojban" group. >> To unsubscribe from this topic, visit >> https://groups.google.com/d/topic/lojban/f9L_hAbBcwc/unsubscribe. >> To unsubscribe from this group and all its topics, 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. >> > > -- > 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. > -- 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. --047d7bae47e6e340840503d015a6 Content-Type: text/html; charset=UTF-8 Content-Transfer-Encoding: quoted-printable
I'm not an expert in math or logic or programming. I&#= 39;m even surprised to hear that Lojban shares some properties with program= ming languages (try converting any simplest program to and from lojban and = vice versa using a described algorithm for an programming language).
http://mw.lojban.org/index.php?title=3DExpansion_of_logical_connecti= ons
htt= p://jbovlaste.lojban.org/dict/ifle

Also in {i lo nu da broda cu = co'e lo nu da brode} the two {da} are different local variables but in<= /div>
{i da zo'u lo nu da broda cu co'e lo nu da brode} it is o= ne global variable whereas in=C2=A0
{i da zo'u lo nu da z= o'u da broda cu co'e lo nu da zo'u da brode} they are again dif= ferent variables.

Correct me someone if im wrong.
<= br>
Lambda calculus and {ce'u} also comes to mind.
= Those were some thoughts on what to include into a future textbook.

2014-09-2= 4 17:27 GMT+04:00 Romaji #### <nxt101@gmail.com>:
Never?
Interesting.
I= 'll attempt to remedy that problem.

On Wed, Sep 24, 20= 14 at 2:29 AM, Gleki Arxokuna <gleki.is.my.name@gmail.com>= wrote:


2014-09-24 4:17 GMT+04:00 Romaji #### = <nxt101@gmail.com<= /a>>:
Uh...
I've jus= t started.
I'm not willing to pay anything yet.
Wha= t about some online, community stuff?
Or is that all going to not= be what I want?
Does anyone else here think they even unambiguou= sly know what I want?

(wh= ich has some charts of lojban grammar)
However, I doubt Lojban ha= s ever been described from a logician's mathematician's viewpoint n= o matter how strange it might seem to you.



On Tuesday, September 23= , 2014 8:14:09 PM UTC-4, TR NS wrote:

=
On Tuesday, September 23, 2014 8:02:54 PM UTC-4, Romaji #### wrote:
I was looking for a kind of "quick refer= ence" guide to get me started on Lojiban, with stuff like a list of ke= y words and suff/pre fixes, and basic grammar rules, preferably in a logic = based environment.
So, basically, I'd be writing the textbook?


<= /div>

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

--
You received this message because you are subscribed to a topic in the Goog= le Groups "lojban" group.
To unsubscribe from this topic, visit https://groups.go= ogle.com/d/topic/lojban/f9L_hAbBcwc/unsubscribe.
To unsubscribe from this group and all its topics, send an email to lojban+un= subscribe@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.

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

--
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.
--047d7bae47e6e340840503d015a6--