From lojban+bncCMHEmaCOBhDl6_TvBBoEa_oFNg@googlegroups.com Sat Jun 18 16:34: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 1QY51j-0004qg-V0; Sat, 18 Jun 2011 16:34:12 -0700 Received: by fxm14 with SMTP id 14sf5547187fxm.16 for ; Sat, 18 Jun 2011 16:34:01 -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=R/igvDjabROFX03RyN1E+i5OTWZfoOt3DOIc4PqmdqM=; b=2n8JcetCTOPyO8opkodWoYEHlYNxzarnQROPm7uBcfcxy74YKLbBMf4fwDgbWavMfC ng2Tm4b6PNycQ48aIGUMK5WKPvyX7bGssHXS3Qg+dSo+sazGnZHl13ZAV9/uPk/f9ql5 hdR8Wd4tz0vg/Ffir9cRFMfzsRxz/hQ13m4v4= 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=IcQOoFLTi4XkOQoAXy3eFN4P+o3UkDcikCCLty4xuHa33wpmtwM36MKOXfNu2ILGGe gQo7H8Kv2j4pdtYiO8WT8845ZUD0ULjcgGVQgZpSNSCdq4RdLcOQZ9SpZpEou3H5zr3N 2RJxD0g6yaomoV6SX497okcVs4zk33jVJIhMs= Received: by 10.223.6.14 with SMTP id 14mr641533fax.21.1308440037683; Sat, 18 Jun 2011 16:33:57 -0700 (PDT) X-BeenThere: lojban@googlegroups.com Received: by 10.204.166.66 with SMTP id l2ls1572171bky.2.gmail; Sat, 18 Jun 2011 16:33:56 -0700 (PDT) Received: by 10.204.16.70 with SMTP id n6mr278889bka.16.1308440036572; Sat, 18 Jun 2011 16:33:56 -0700 (PDT) Received: by 10.204.16.70 with SMTP id n6mr278888bka.16.1308440036495; Sat, 18 Jun 2011 16:33:56 -0700 (PDT) Received: from mail-bw0-f53.google.com (mail-bw0-f53.google.com [209.85.214.53]) by gmr-mx.google.com with ESMTPS id j17si2081665bkt.3.2011.06.18.16.33.56 (version=TLSv1/SSLv3 cipher=OTHER); Sat, 18 Jun 2011 16:33:56 -0700 (PDT) Received-SPF: pass (google.com: domain of eyeonus@gmail.com designates 209.85.214.53 as permitted sender) client-ip=209.85.214.53; Received: by mail-bw0-f53.google.com with SMTP id 12so2699392bwg.40 for ; Sat, 18 Jun 2011 16:33:56 -0700 (PDT) MIME-Version: 1.0 Received: by 10.205.83.68 with SMTP id af4mr1578690bkc.187.1308440036325; Sat, 18 Jun 2011 16:33:56 -0700 (PDT) Received: by 10.204.78.210 with HTTP; Sat, 18 Jun 2011 16:33:56 -0700 (PDT) In-Reply-To: References: Date: Sat, 18 Jun 2011 17:33:56 -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.53 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=bcaec5540176933b2104a604ef7f --bcaec5540176933b2104a604ef7f Content-Type: text/plain; charset=ISO-8859-1 Okay, no, I'm definitely not. On Sat, Jun 18, 2011 at 10:41 AM, Alex Rozenshteyn wrote: > 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. > -- 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. --bcaec5540176933b2104a604ef7f Content-Type: text/html; charset=ISO-8859-1 Content-Transfer-Encoding: quoted-printable Okay, no, I'm definitely not.

On Sat,= Jun 18, 2011 at 10:41 AM, Alex Rozenshteyn <rpglover64@gmail.com> wrote:=
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 Sa= t, Jun 18, 2011 at 12:12 PM, Ian Johnson <blindbravado@gmail.com&= gt; wrote:
What are we comparing to?

On Sat, Jun 18, 2011 at 11:44 AM, Ale= x 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 &= 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.
--bcaec5540176933b2104a604ef7f--