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

Re: [lojban] {porsi}



Ah, so then length(lo porsi) may be greater than length(lo te porsi). I suggested this solution on IRC but it wasn't that well received.

For an example, in what sense do we translate to Lojban the fact "O is the third letter of the word 'brodo'."?

- mu'o mi'e la durkavore

On Wednesday, January 28, 2015 at 8:03 AM, Jorge Llambías wrote:



On Wed, Jan 28, 2015 at 2:26 AM, la durka <durka42@gmail.com> wrote:
I think there has to be a distinction between "ordered set" and "sequence", no? Lojban seemingly conflates the two, but they're not the same -- a set, ordered or not, can't have duplicate elements, but a sequence can.

For me, porsi relates a sequence porsi1 to its members porsi3, so for me there are no sets involved.

Since an ordered set is a special type of sequence, we could have "rolcmipoi" or "cmipoi", "x1 porsi x2 lo ro cmima be x3" for ordered set, a sequence whose members are the members of a set.

mu'o mi'e xorxes

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