From lojban+bncCMHEmaCOBhCn6_TvBBoEtYcZ8Q@googlegroups.com Sat Jun 18 16:33:12 2011 Received: from mail-fx0-f61.google.com ([209.85.161.61]) by chain.digitalkingdom.org with esmtp (Exim 4.72) (envelope-from ) id 1QY50l-0004oO-0Q; Sat, 18 Jun 2011 16:33:12 -0700 Received: by fxm14 with SMTP id 14sf5546686fxm.16 for ; Sat, 18 Jun 2011 16:33:00 -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=UtfDWXfawdJym5REe1VpAvK2qAh5yJCx3LqwkWR/HW8=; b=jpb3n6rrU9MhE0W+yjqBzXkpNgEOeC+e/WA/YUOgRp68NuReh/CJOS15q9Q9vEeMxH ypZqW2ZUruiBlxF/+imYgGeuGoHzJO/2crD0jxG8TenqbgeH9l8WxjerylsbuZyYU5Id F5qBZjUBOn7dzKBhYstJwqD8XM3+O6vPa7w8w= 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=bSEoX5LJfEIlNjmtGjxthX7NfNOcvdEvHTPQgK2HosC0AO5z83Tm7VwVyH9h2QJduR 9KLfOEwHESl5MhyBMSYF1et8K/CtsGvF/+YV9Q6WEZc7oKwnX0Nx85IKWWYj2NuY96yb UZySXu8boQ7eJinDRFFSWJDM5YQyBMkC1Mt3o= Received: by 10.223.94.70 with SMTP id y6mr745762fam.34.1308439975533; Sat, 18 Jun 2011 16:32:55 -0700 (PDT) X-BeenThere: lojban@googlegroups.com Received: by 10.204.34.76 with SMTP id k12ls1568878bkd.0.gmail; Sat, 18 Jun 2011 16:32:54 -0700 (PDT) Received: by 10.204.10.141 with SMTP id p13mr316397bkp.4.1308439974246; Sat, 18 Jun 2011 16:32:54 -0700 (PDT) Received: by 10.204.10.141 with SMTP id p13mr316396bkp.4.1308439974224; Sat, 18 Jun 2011 16:32:54 -0700 (PDT) Received: from mail-bw0-f44.google.com (mail-bw0-f44.google.com [209.85.214.44]) by gmr-mx.google.com with ESMTPS id y18si2081798bkf.2.2011.06.18.16.32.54 (version=TLSv1/SSLv3 cipher=OTHER); Sat, 18 Jun 2011 16:32:54 -0700 (PDT) Received-SPF: pass (google.com: domain of eyeonus@gmail.com designates 209.85.214.44 as permitted sender) client-ip=209.85.214.44; Received: by mail-bw0-f44.google.com with SMTP id 13so3355521bwz.31 for ; Sat, 18 Jun 2011 16:32:54 -0700 (PDT) MIME-Version: 1.0 Received: by 10.204.42.69 with SMTP id r5mr2728953bke.52.1308439973978; Sat, 18 Jun 2011 16:32:53 -0700 (PDT) Received: by 10.204.78.210 with HTTP; Sat, 18 Jun 2011 16:32:53 -0700 (PDT) In-Reply-To: References: Date: Sat, 18 Jun 2011 17:32:53 -0600 Message-ID: Subject: Re: [lojban] Re: Category theory in lojban, or coining words From: Jonathan Jones To: lojban@googlegroups.com X-Original-Sender: eyeonus@gmail.com X-Original-Authentication-Results: gmr-mx.google.com; spf=pass (google.com: domain of eyeonus@gmail.com designates 209.85.214.44 as permitted sender) smtp.mail=eyeonus@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=bcaec554e01adbe49404a604ebd1 --bcaec554e01adbe49404a604ebd1 Content-Type: text/plain; charset=ISO-8859-1 I just finished Calculus I in college with an A, so I might. On Sat, Jun 18, 2011 at 9: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. > -- mu'o mi'e .aionys. .i.e'ucai ko cmima lo pilno be denpa bu .i doi.luk. mi patfu do zo'o (Come to the Dot Side! Luke, I am your father. :D ) -- 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. --bcaec554e01adbe49404a604ebd1 Content-Type: text/html; charset=ISO-8859-1 Content-Transfer-Encoding: quoted-printable I just finished Calculus I in college with an A, so I might.

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

O= ut of curiosity, is anyone on this list more experienced in pure math (pard= on 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.



--
mu'o mi= 'e .aionys.

.i.e'ucai ko cmima lo pilno be denpa bu .i doi.l= uk. mi patfu do zo'o
(Come to the Dot Side! Luke, I am your father. = :D )

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