Received: from mail-wi0-f189.google.com ([209.85.212.189]:47657) by stodi.digitalkingdom.org with esmtps (TLSv1:RC4-SHA:128) (Exim 4.76) (envelope-from ) id 1S777C-0005Nv-47; Mon, 12 Mar 2012 08:24:55 -0700 Received: by wibhq12 with SMTP id hq12sf4555928wib.16 for ; Mon, 12 Mar 2012 08:24:42 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; 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 :content-transfer-encoding; bh=7743BoMVqK2GdkpU1bb9cpF/ADrPlFFZj2GTPu+th78=; b=t/nb/+eQuoQN8oE96gObyNSDKiXcA5dNdZRal/a2TFim2AiVLl+tJI0vn290mJv2i4 vkdz6Um+mPtJuAIhZXEBh6BKAyCMJbw0qkqsfr0ReH434eUiQi/WRwOQ1Kie/JEA/5CI TH+mFde4XagjUmnTk4bcDFT2aAwvQzcEyXQQ4= Received: by 10.204.145.80 with SMTP id c16mr1024239bkv.34.1331565878727; Mon, 12 Mar 2012 08:24:38 -0700 (PDT) X-BeenThere: lojban@googlegroups.com Received: by 10.205.142.4 with SMTP id jg4ls5541359bkc.6.gmail; Mon, 12 Mar 2012 08:24:37 -0700 (PDT) Received: by 10.204.150.90 with SMTP id x26mr921971bkv.6.1331565877638; Mon, 12 Mar 2012 08:24:37 -0700 (PDT) Received: by 10.204.150.90 with SMTP id x26mr921970bkv.6.1331565877617; Mon, 12 Mar 2012 08:24:37 -0700 (PDT) Received: from mail-lpp01m010-f45.google.com (mail-lpp01m010-f45.google.com [209.85.215.45]) by gmr-mx.google.com with ESMTPS id ba12si17979128bkb.2.2012.03.12.08.24.37 (version=TLSv1/SSLv3 cipher=OTHER); Mon, 12 Mar 2012 08:24:37 -0700 (PDT) Received-SPF: pass (google.com: domain of jjllambias@gmail.com designates 209.85.215.45 as permitted sender) client-ip=209.85.215.45; Received: by mail-lpp01m010-f45.google.com with SMTP id e6so4039217lah.4 for ; Mon, 12 Mar 2012 08:24:37 -0700 (PDT) MIME-Version: 1.0 Received: by 10.152.108.171 with SMTP id hl11mr6129075lab.29.1331565877257; Mon, 12 Mar 2012 08:24:37 -0700 (PDT) Received: by 10.112.38.33 with HTTP; Mon, 12 Mar 2012 08:24:37 -0700 (PDT) In-Reply-To: References: Date: Mon, 12 Mar 2012 12:24:37 -0300 Message-ID: Subject: Re: [lojban] footnotes, etc? From: =?ISO-8859-1?Q?Jorge_Llamb=EDas?= To: lojban@googlegroups.com X-Original-Sender: jjllambias@gmail.com X-Original-Authentication-Results: gmr-mx.google.com; spf=pass (google.com: domain of jjllambias@gmail.com designates 209.85.215.45 as permitted sender) smtp.mail=jjllambias@gmail.com; dkim=pass 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: text/plain; charset=ISO-8859-1 Content-Transfer-Encoding: quoted-printable X-Spam-Score: 0.0 (/) X-Spam_score: 0.0 X-Spam_score_int: 0 X-Spam_bar: / 2012/3/12 Jorge Llamb=EDas : > 2012/3/12 Felipe Gon=E7alves Assis : >> doi xorxes, >> >> Can't you define an equivalence relation among valid written texts, >> another one among valid speech streams, and then pair-up the >> equivalence classes? >> >> Wouldn't that still be an isomorphism? >> >> I understand that the concept is more subtle, but the name is still vali= d. > > OK, as long as it's understood that way, fine. But then what does that > have to do with the footnotes issue? I'm just saying it is not the > case that to each speech stream corresponds one spelling and to each > spelling corresponds one speech stream. Also, if you want the isomorphism to hold at the level of classes of texts, then "choose your own adventure" books cannot be translated into Lojban, since the whole point of them is that one text can be read in more than one non-equivalent way. So I still say we drop the "isomorphism" terminology. mu'o mi'e xorxes --=20 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.