From lojban+bncCIywt_XDCRDRm_nvBBoEN8nC3Q@googlegroups.com Sun Jun 19 12:28:29 2011 Received: from mail-gx0-f189.google.com ([209.85.161.189]) by chain.digitalkingdom.org with esmtp (Exim 4.72) (envelope-from ) id 1QYNfX-00020y-9B; Sun, 19 Jun 2011 12:28:29 -0700 Received: by gxk3 with SMTP id 3sf510528gxk.16 for ; Sun, 19 Jun 2011 12:28: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 :x-yahoo-newman-property:x-yahoo-newman-id:message-id:x-ymail-osg :x-mailer:references:date:from:subject:to:in-reply-to:mime-version :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=2Fr7WIQlisKODF2AcQDGxVkRGZnHjyai/AyPFGo2DPw=; b=xfatyeKe6xJb6hFwlINTd3hE/g4GB+mci6M/Ypxc9zm7KUe3UdZCfcPW5TzrtjALK9 gRCoFiFNwnXJtMnUC7UBZ9mRzeLMu+J5NbO4ZuyZkG549qh8Y00U4aeLU6hIWoQJGAWy aWDOZll7wniOYP9CRusZrr5FdRt5Xq0eDe7QE= DomainKey-Signature: a=rsa-sha1; c=nofws; d=googlegroups.com; s=beta; h=x-beenthere:received-spf:x-yahoo-newman-property:x-yahoo-newman-id :message-id:x-ymail-osg:x-mailer:references:date:from:subject:to :in-reply-to:mime-version: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; b=yzGn1dgVyT5Evua2etn7fkQ9aizdsbx4eXHKAvljUbiAxgKO7YcZqrgDDs7jfJ2qwu nejsbEmpzQivutALWqrfRmrR2TqI6DTx2YIojtKxYvaH8lI0zqqYCNC2+ogPkSpVQbz+ /dgkdYJBus9002Puf9kj1YnFZsxkRITNfaCS4= Received: by 10.236.136.36 with SMTP id v24mr464865yhi.6.1308511697418; Sun, 19 Jun 2011 12:28:17 -0700 (PDT) X-BeenThere: lojban@googlegroups.com Received: by 10.101.197.18 with SMTP id z18ls1039723anp.1.gmail; Sun, 19 Jun 2011 12:28:16 -0700 (PDT) Received: by 10.101.130.36 with SMTP id h36mr2315746ann.0.1308511696531; Sun, 19 Jun 2011 12:28:16 -0700 (PDT) Received: by 10.101.130.36 with SMTP id h36mr2315745ann.0.1308511696511; Sun, 19 Jun 2011 12:28:16 -0700 (PDT) Received: from nm8.access.bullet.mail.mud.yahoo.com (nm8.access.bullet.mail.mud.yahoo.com [66.94.237.209]) by gmr-mx.google.com with SMTP id s16si4580314anj.1.2011.06.19.12.28.16; Sun, 19 Jun 2011 12:28:16 -0700 (PDT) Received-SPF: pass (google.com: best guess record for domain of kali9putra@yahoo.com designates 66.94.237.209 as permitted sender) client-ip=66.94.237.209; Received: from [66.94.237.199] by nm8.access.bullet.mail.mud.yahoo.com with NNFMP; 19 Jun 2011 19:28:16 -0000 Received: from [66.94.237.116] by tm10.access.bullet.mail.mud.yahoo.com with NNFMP; 19 Jun 2011 19:28:16 -0000 Received: from [127.0.0.1] by omp1021.access.mail.mud.yahoo.com with NNFMP; 19 Jun 2011 19:28:16 -0000 X-Yahoo-Newman-Property: ymail-3 X-Yahoo-Newman-Id: 164187.26690.bm@omp1021.access.mail.mud.yahoo.com Received: (qmail 67287 invoked by uid 60001); 19 Jun 2011 19:28:16 -0000 Message-ID: <940949.55292.qm@web81305.mail.mud.yahoo.com> X-YMail-OSG: .yyIRmcVM1msKfM_h.2Pwf3pasHOuC6gzHU3M4bI5UUzt.g Ps9CNeKPnXPEKbnG1uclS4wb2PVxKQfiwHISZ0fZWi9xlC.2vUbDaV8fO2RE sUv0e69iOo_WSjP1aui0dvK9YkqeulObsMFf1VE4o7Tz_rMHxtaHxOM.1CEe luINAeZs.1i12DSzu4RLBAR8PnBptMMvn5snmtrGEAyaTD3xYgi7feYV8L8b qJJS73RLG77i9tTPxj46akiwiV7xEMmTmOHQceZOtuFAp0haXVK_xKA7BHk_ g3.UiigRJAAiYK8ir3fpm5L5uhPsjfoaBexq9N_DXBWLtbG9_1OoPbZSZJlL URcdIw5wznBJdEatRuwCdedWGST2t9oejiclXTMcFwA69nrgn3rycq0kVs_y VS6YnaEzljt9_zFPk_QKZ383obiyUoI_lnKT9vY5QvbSG4b2SMsewZg4xwGf 3LkMjyr2wjYMOsqT_DSYO1BUfYwwzRDAiMJOgubBv5hQ- Received: from [99.92.108.41] by web81305.mail.mud.yahoo.com via HTTP; Sun, 19 Jun 2011 12:28:15 PDT X-Mailer: YahooMailRC/570 YahooMailWebService/0.8.111.304355 References: <860642.20311.qm@web81305.mail.mud.yahoo.com> Date: Sun, 19 Jun 2011 12:28:15 -0700 (PDT) From: John E Clifford Subject: Re: [lojban] non-ka properties To: lojban@googlegroups.com In-Reply-To: MIME-Version: 1.0 X-Original-Sender: kali9putra@yahoo.com X-Original-Authentication-Results: gmr-mx.google.com; spf=pass (google.com: best guess record for domain of kali9putra@yahoo.com designates 66.94.237.209 as permitted sender) smtp.mail=kali9putra@yahoo.com; dkim=pass (test mode) header.i=@yahoo.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 Are you sure? I get confused in infinity (as any right-thinking person sho= uld)=20 but I have aleph-null types and aleph-null situations giving aleph-null squ= ared=20 potential tokens. aHAH! There must be more than aleph-null situations beca= use=20 there are more than aleph-null predicates, each of which can occur alone in= at=20 least one situation. And we can't reliably reduce these variant properties= down=20 to others, even if every situation under one description is also another=20 situation under another, Never mind. ----- Original Message ---- From: Jorge Llamb=EDas To: lojban@googlegroups.com Sent: Sun, June 19, 2011 9:01:17 AM Subject: Re: [lojban] non-ka properties On Sat, Jun 18, 2011 at 5:59 PM, Alex Rozenshteyn wr= ote: > To be fair, the number of lojban utterances is countable... It depends on what you mean by utterance. If I say "coi" and you say "coi", do those count as two utterances or as one and the same? The number of utterance types is countable, the number of potential utterance tokens is uncountable, the number of actual utterance tokens is probably not just countable but finite. But we were comparing ka-expressions and properties, so I'm not sure I see how the number of utterances comes in. the number of ka-expression types is countable, and the number of properties is uncountable. mu'o mi'e xorxes --=20 You received this message because you are subscribed to the Google Groups= =20 "lojban" group. To post to this group, send email to lojban@googlegroups.com. To unsubscribe from this group, send email to=20 lojban+unsubscribe@googlegroups.com. For more options, visit this group at=20 http://groups.google.com/group/lojban?hl=3Den. --=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.