From lojban+bncCOib25n_BhCtqvPvBBoEQ-PFKA@googlegroups.com Sat Jun 18 09:41:30 2011 Received: from mail-fx0-f61.google.com ([209.85.161.61]) by chain.digitalkingdom.org with esmtp (Exim 4.72) (envelope-from ) id 1QXyaO-0004FF-Bw; Sat, 18 Jun 2011 09:41:30 -0700 Received: by fxm14 with SMTP id 14sf5195380fxm.16 for ; Sat, 18 Jun 2011 09:41:21 -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=QnjWNou15GwAa6mk9VBFH3y7vGG1vPYOGHeE4pqfR0Y=; b=zVm+R73/yc40tl53gHbC/jywiYXCxosIeaG1IajST6fVulXr6TBW0SPT1p9BcIqAND KIBagfpJYiL4b+mHUgWsN5R8cSjhEMLeiCDTWiPSz2J9xQHYECmvYPfMls+2dsvVb/E9 L02bl2LMOd+u/3VCZgQ07VNOzxuONoZa8Ic2I= 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=YXmiHapIKHfE2rtTsDdd04OT4mKdPyYq4D0NhQfuSeTVh+NPDTazQNihc0cQupxF6q c8fbvyYIBRtWuUlf+Hep+O1u+vw3ImaRnCsTnQZQTbcurdpnMh40EcZE58dTRUol9GIQ eZZGhWjqpPsSv0bDloNVRwpCud5Fuur6S03Wk= Received: by 10.223.58.212 with SMTP id i20mr709433fah.18.1308415277745; Sat, 18 Jun 2011 09:41:17 -0700 (PDT) X-BeenThere: lojban@googlegroups.com Received: by 10.204.38.88 with SMTP id a24ls1522406bke.1.gmail; Sat, 18 Jun 2011 09:41:16 -0700 (PDT) Received: by 10.204.113.14 with SMTP id y14mr300954bkp.11.1308415276418; Sat, 18 Jun 2011 09:41:16 -0700 (PDT) Received: by 10.204.113.14 with SMTP id y14mr300953bkp.11.1308415276384; Sat, 18 Jun 2011 09:41:16 -0700 (PDT) Received: from mail-bw0-f45.google.com (mail-bw0-f45.google.com [209.85.214.45]) by gmr-mx.google.com with ESMTPS id z3si1931713bkb.0.2011.06.18.09.41.16 (version=TLSv1/SSLv3 cipher=OTHER); Sat, 18 Jun 2011 09:41:16 -0700 (PDT) Received-SPF: pass (google.com: domain of rpglover64@gmail.com designates 209.85.214.45 as permitted sender) client-ip=209.85.214.45; Received: by bwz16 with SMTP id 16so18942bwz.4 for ; Sat, 18 Jun 2011 09:41:16 -0700 (PDT) MIME-Version: 1.0 Received: by 10.204.141.146 with SMTP id m18mr2658502bku.25.1308415276168; Sat, 18 Jun 2011 09:41:16 -0700 (PDT) Received: by 10.204.50.152 with HTTP; Sat, 18 Jun 2011 09:41:16 -0700 (PDT) In-Reply-To: References: Date: Sat, 18 Jun 2011 12:41:16 -0400 Message-ID: Subject: Re: [lojban] Re: Category theory in lojban, or coining words From: Alex Rozenshteyn To: lojban@googlegroups.com X-Original-Sender: rpglover64@gmail.com X-Original-Authentication-Results: gmr-mx.google.com; spf=pass (google.com: domain of rpglover64@gmail.com designates 209.85.214.45 as permitted sender) smtp.mail=rpglover64@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=00151747b3bcc1372104a5ff2bf8 --00151747b3bcc1372104a5ff2bf8 Content-Type: text/plain; charset=ISO-8859-1 Not much. I'm a masters student in CS, currently working in a programming languages theory lab. I've been exposed to category theory and taken classes on calculus, graph theory, probability, statistics, and number theory. Notably, I'm ignorant (beyond a modicum of over-heard words) of set theory, group theory (abstract algebra in general), analysis, and topology. On Sat, Jun 18, 2011 at 12:12 PM, Ian Johnson wrote: > 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. > -- 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. --00151747b3bcc1372104a5ff2bf8 Content-Type: text/html; charset=ISO-8859-1 Content-Transfer-Encoding: quoted-printable Not much.

I'm a masters student in CS, currently working in a pr= ogramming languages theory lab.
I've been exposed to category theory= and taken classes on calculus, graph theory, probability, statistics, and = number theory.

Notably, I'm ignorant (beyond a modicum of over-heard words) of set= theory, group theory (abstract algebra in general), analysis, and topology= .

On Sat, Jun 18, 2011 at 12:12 PM, Ian J= ohnson <blin= dbravado@gmail.com> wrote:
What are we comparing to?

On Sat, Jun 18, 2011 at = 11:44 AM, Alex Rozenshteyn <rpglover64@gmail.com> wrote:<= br>
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 &= 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 "= 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.
--00151747b3bcc1372104a5ff2bf8--