From lojban+bncCML0xpmUARCCnfPvBBoEy3w-XA@googlegroups.com Sat Jun 18 09:13:01 2011 Received: from mail-pz0-f61.google.com ([209.85.210.61]) by chain.digitalkingdom.org with esmtp (Exim 4.72) (envelope-from ) id 1QXy8p-0001XF-Nq; Sat, 18 Jun 2011 09:13:01 -0700 Received: by pzk4 with SMTP id 4sf2457500pzk.16 for ; Sat, 18 Jun 2011 09:12:54 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=googlegroups.com; s=beta; h=domainkey-signature:x-beenthere:received-spf: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:x-google-group-id:list-post :list-help:list-archive:sender:list-subscribe:list-unsubscribe :content-type; bh=PF+fW/EbC25u+z5zk5H5UhbOov+QgPp084XYcxtff+s=; b=3H9m3LfXv9/sotnXDiqjNY0u+hTv96VWi8zIZC+Mqi4TqZLrnW1IZUYRk96ug8bWkK wuHkPJfmyFhx5dSm1OaaJWTbK2EqKBTXumCnzH9FQOmtxq/8DArV4kWHheJ9oNHTmsPg FoKMl9zs41JWvuve5wOJeOTwdbj5lqzd5EP8E= DomainKey-Signature: a=rsa-sha1; c=nofws; d=googlegroups.com; s=beta; h=x-beenthere:received-spf: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:x-google-group-id:list-post:list-help:list-archive:sender :list-subscribe:list-unsubscribe:content-type; b=xLg7DQvN9AytcuPAuklqGNlvM68/MdySqoB2xCszgplSUefGhjIoQn0s2vpUa/81d/ 68HTxWievUcRDVRs1ptxrRFBArSbFLf97hI1C70XeJyGxT8ynQRXBGqaW9jblK1Am+Pk tdOYY8cOBJynsWtdAx1xY1xyZceYF/a0vLwvo= Received: by 10.142.126.7 with SMTP id y7mr507278wfc.63.1308413570200; Sat, 18 Jun 2011 09:12:50 -0700 (PDT) X-BeenThere: lojban@googlegroups.com Received: by 10.68.40.9 with SMTP id t9ls696167pbk.2.gmail; Sat, 18 Jun 2011 09:12:49 -0700 (PDT) Received: by 10.68.17.65 with SMTP id m1mr623918pbd.69.1308413569484; Sat, 18 Jun 2011 09:12:49 -0700 (PDT) Received: by 10.68.17.65 with SMTP id m1mr623917pbd.69.1308413569432; Sat, 18 Jun 2011 09:12:49 -0700 (PDT) Received: from mail-pz0-f52.google.com (mail-pz0-f52.google.com [209.85.210.52]) by gmr-mx.google.com with ESMTPS id c10si8157174pbi.2.2011.06.18.09.12.49 (version=TLSv1/SSLv3 cipher=OTHER); Sat, 18 Jun 2011 09:12:49 -0700 (PDT) Received-SPF: pass (google.com: domain of blindbravado@gmail.com designates 209.85.210.52 as permitted sender) client-ip=209.85.210.52; Received: by pzd13 with SMTP id 13so3357314pzd.11 for ; Sat, 18 Jun 2011 09:12:49 -0700 (PDT) MIME-Version: 1.0 Received: by 10.68.14.102 with SMTP id o6mr1502718pbc.124.1308413569151; Sat, 18 Jun 2011 09:12:49 -0700 (PDT) Received: by 10.68.55.104 with HTTP; Sat, 18 Jun 2011 09:12:49 -0700 (PDT) In-Reply-To: References: Date: Sat, 18 Jun 2011 12:12:49 -0400 Message-ID: Subject: Re: [lojban] Re: Category theory in lojban, or coining words From: Ian Johnson To: lojban@googlegroups.com X-Original-Sender: blindbravado@gmail.com X-Original-Authentication-Results: gmr-mx.google.com; spf=pass (google.com: domain of blindbravado@gmail.com designates 209.85.210.52 as permitted sender) smtp.mail=blindbravado@gmail.com; dkim=pass (test mode) header.i=@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: Sender: lojban@googlegroups.com List-Subscribe: , List-Unsubscribe: , Content-Type: multipart/alternative; boundary=bcaec520ea9d0231f504a5fec6f7 --bcaec520ea9d0231f504a5fec6f7 Content-Type: text/plain; charset=ISO-8859-1 What are we comparing to? On Sat, Jun 18, 2011 at 11:44 AM, Alex Rozenshteyn wrote: > mu'i lo su'u kucli ku da xu .e ma vu'o poi ke'a se mriste ti curve bo cmaci > certu zmadu be mi > > Out of curiosity, is anyone on this list more experienced in pure math > (pardon the malgli) than I am? > > > On Sat, Jun 18, 2011 at 5:50 AM, Escape Landsome wrote: > >> coi >> >> What this suggests me is that some inheritance mechanism is necessary. >> >> For instance, one can argue that addition in the case of natural >> numbers is a particular case of concatenation for sequences of the >> same unit "I". >> >> (i.e.: III & IIII = IIIIIII captures the meaning of 3 + 4 = 7, yet >> concatenation is more general than addition, for IIJ & JJII = IIJJJII >> has no equivalent in the natural integers set) >> >> So, if there were a word for "concatenation", say this is the word C, >> it should bear some relation with the word for "integer addition", say >> it is the word A. >> >> C ---> A >> >> For the same reason, "integer addition" should bear a strong >> relationship with real addition, or complex addition. >> >> Natural languages resolve this problem by using the word "sum" for all >> additions, and by coining usages of "con-caten-ation", or ' other >> types of "sums" ' for the other cases... >> >> Regards >> >> -- .esk >> >> -- >> You received this message because you are subscribed to the Google Groups >> "lojban" group. >> To post to this group, send email to lojban@googlegroups.com. >> To unsubscribe from this group, send email to >> lojban+unsubscribe@googlegroups.com. >> For more options, visit this group at >> http://groups.google.com/group/lojban?hl=en. >> >> > > > -- > Alex R > > -- > You received this message because you are subscribed to the Google Groups > "lojban" group. > To post to this group, send email to lojban@googlegroups.com. > To unsubscribe from this group, send email to > lojban+unsubscribe@googlegroups.com. > For more options, visit this group at > http://groups.google.com/group/lojban?hl=en. > -- You received this message because you are subscribed to the Google Groups "lojban" group. To post to this group, send email to lojban@googlegroups.com. To unsubscribe from this group, send email to lojban+unsubscribe@googlegroups.com. For more options, visit this group at http://groups.google.com/group/lojban?hl=en. --bcaec520ea9d0231f504a5fec6f7 Content-Type: text/html; charset=ISO-8859-1 Content-Transfer-Encoding: quoted-printable What are we comparing to?

On Sat, Jun 18,= 2011 at 11:44 AM, Alex Rozenshteyn <rpglover64@gmail.com> wrote:
mu'i lo su'u kucli ku da xu .e ma vu'o poi ke'a se mriste t= i curve bo cmaci certu zmadu be mi

Out of curiosity, is anyone on th= is list more experienced in pure math (pardon the malgli) than I am?


On Sat, Jun 18, 2011 at 5:50 AM, Escape Land= some <escaaape@gmail.com> wrote:
coi

What this suggests me is that some inheritance mechanism is necessary.

For instance, one can argue that addition in the case of natural
numbers is a particular case of concatenation for sequences of the
same unit "I".

(i.e.: =A0III & IIII =3D IIIIIII captures the meaning of 3 + 4 =3D 7, y= et
concatenation is more general than addition, for IIJ & JJII =3D IIJJJII=
has no equivalent in the natural integers set)

So, if there were a word for "concatenation", say this is the wor= d C,
it should bear some relation with the word for "integer addition"= , say
it is the word A.

C ---> A

For the same reason, "integer addition" should bear a strong
relationship with real addition, or complex addition.

Natural languages resolve this problem by using the word "sum" fo= r all
additions, and by coining usages of "con-caten-ation", or ' o= ther
types of "sums" ' for the other cases...

Regards

-- .esk

--
You received this message because you are subscribed to the Google Groups &= quot;lojban" group.
To post to this group, send email to lojban@googlegroups.com.
To unsubscribe from this group, send email to lojban+unsubscribe@googlegrou= ps.com.
For more options, visit this group at http://groups.google.com/group/lojba= n?hl=3Den.




--
=A0=A0 =A0 =A0 =A0 =A0Alex R

--
You received this message because you are subscribed to the Google Groups &= quot;lojban" group.
To post to this group, send email to lojban@googlegroups.com.
To unsubscribe from this group, send email to lojban+unsubscribe@googlegrou= ps.com.
For more options, visit this group at http://groups.google.com/group/lojba= n?hl=3Den.

--
You received this message because you are subscribed to the Google Groups "= lojban" group.
To post to this group, send email to lojban@googlegroups.com.
To unsubscribe from this group, send email to lojban+unsubscribe@googlegrou= ps.com.
For more options, visit this group at http://groups.google.com/group/lojban= ?hl=3Den.
--bcaec520ea9d0231f504a5fec6f7--