[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Re: [lojban] Mathy person interested in concept, unsure where to begin.



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 #### <nxt101@gmail.com>:
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 #### <nxt101@gmail.com>:
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.
(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 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.