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

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

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.  Uniqueness is desirable in both directions but essential in the sentence to formula program.  This is the proof of the "logical language" claim.  (For now, things about the language which make this task harder -- or things that would make it easier if they were in the language -- should be noted but not acted on.)



On Wednesday, September 24, 2014 8:27 AM, Romaji #### <nxt101@gmail.com> wrote:


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.