From lojban+bncCK30vq5WEI_VmOkEGgRsyK7R@googlegroups.com Thu Jan 06 12:48:31 2011 Received: from mail-px0-f189.google.com ([209.85.212.189]) by chain.digitalkingdom.org with esmtp (Exim 4.72) (envelope-from ) id 1Pawl1-00077a-4A; Thu, 06 Jan 2011 12:48:31 -0800 Received: by pxi19 with SMTP id 19sf6654271pxi.16 for ; Thu, 06 Jan 2011 12:48:21 -0800 (PST) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=googlegroups.com; s=beta; h=domainkey-signature:received:x-beenthere:received:received:received :received:received-spf:received:date:from:to:subject:message-id :references:mime-version:in-reply-to:user-agent:x-original-sender :x-original-authentication-results:reply-to:precedence:mailing-list :list-id:list-post:list-help:list-archive:sender:list-subscribe :list-unsubscribe:content-type:content-disposition :content-transfer-encoding; bh=PwAV+aOOzQkA0xViEjgJjkeIDy8fCDDDZR9IK2D8i54=; b=zUC+kHNsLq1fJOF1QenrvHLUhJxdf/efaoiqYqufsiQlntfWsgiCE99AyGe7xqzPor sH62FCvWT4BXgHPZWpmDuqBy/MqHwsgRSaitSywO28Yifz+CreXnKUSvBd8lQtmHQyYR VWg3MtFZB+0dM9bm3DFwuIZB6ArLQ7TzoI+Mg= DomainKey-Signature: a=rsa-sha1; c=nofws; d=googlegroups.com; s=beta; h=x-beenthere:received-spf:date:from:to:subject:message-id:references :mime-version:in-reply-to:user-agent:x-original-sender :x-original-authentication-results:reply-to:precedence:mailing-list :list-id:list-post:list-help:list-archive:sender:list-subscribe :list-unsubscribe:content-type:content-disposition :content-transfer-encoding; b=jo41+1rUhE9LKsjvMNgv2K2YJBD0eY77OmsJZKJWXWdbourUAba+4K+fp4bhjeoZ0K 2+vw19w/ACB+V0VgfU9KphkG2x3v3IQ4f0CvFTKCgOis/iCKlcwb01uxijhYl3AFo7tj 9FPpzoL4s//3rCyvXkKHonLDUZR2ztrbafeCk= Received: by 10.143.85.5 with SMTP id n5mr91468wfl.39.1294346895817; Thu, 06 Jan 2011 12:48:15 -0800 (PST) X-BeenThere: lojban@googlegroups.com Received: by 10.142.249.41 with SMTP id w41ls29074013wfh.1.p; Thu, 06 Jan 2011 12:48:15 -0800 (PST) Received: by 10.142.170.21 with SMTP id s21mr1105384wfe.1.1294346894848; Thu, 06 Jan 2011 12:48:14 -0800 (PST) Received: by 10.142.170.21 with SMTP id s21mr1105382wfe.1.1294346894803; Thu, 06 Jan 2011 12:48:14 -0800 (PST) Received: from chain.digitalkingdom.org (digitalkingdom.org [173.13.139.234]) by gmr-mx.google.com with ESMTPS id f13si1374683wfo.4.2011.01.06.12.48.14 (version=TLSv1/SSLv3 cipher=RC4-MD5); Thu, 06 Jan 2011 12:48:14 -0800 (PST) Received-SPF: pass (google.com: best guess record for domain of rlpowell@digitalkingdom.org designates 173.13.139.234 as permitted sender) client-ip=173.13.139.234; Received: from rlpowell by chain.digitalkingdom.org with local (Exim 4.72) (envelope-from ) id 1Pawkn-00077Q-Cc for lojban@googlegroups.com; Thu, 06 Jan 2011 12:48:13 -0800 Date: Thu, 6 Jan 2011 12:48:13 -0800 From: Robin Lee Powell To: lojban@googlegroups.com Subject: 2011 jbonunsla planning (was Re: [lojban] Semantic Representation of Lojban) Message-ID: <20110106204813.GI23787@digitalkingdom.org> References: <20110106204534.GF27821@alice.local> MIME-Version: 1.0 In-Reply-To: <20110106204534.GF27821@alice.local> User-Agent: Mutt/1.5.20 (2009-06-14) X-Original-Sender: rlpowell@digitalkingdom.org X-Original-Authentication-Results: gmr-mx.google.com; spf=pass (google.com: best guess record for domain of rlpowell@digitalkingdom.org designates 173.13.139.234 as permitted sender) smtp.mail=rlpowell@digitalkingdom.org Reply-To: lojban@googlegroups.com Precedence: list Mailing-list: list lojban@googlegroups.com; contact lojban+owners@googlegroups.com List-ID: List-Post: , List-Help: , List-Archive: Sender: lojban@googlegroups.com List-Subscribe: , List-Unsubscribe: , Content-Type: text/plain; charset=windows-1252 Content-Disposition: inline Content-Transfer-Encoding: quoted-printable On Thu, Jan 06, 2011 at 01:45:34PM -0700, .alyn.post. wrote: > [I've moved this to it's own thread for higher visibility of the > topic.] >=20 > On Thu, Jan 06, 2011 at 12:38:23PM -0800, Robin Lee Powell wrote: > > > Well, to a certain extent you're right, but if you choose the > > > right kind of semantic representation, you can do things like > > > proving that two different strings of Lojban have the same > > > meaning. Correct me if I'm wrong, but at the moment no machine > > > grammar of Lojban represents the fact that =93mi viska do=94 is > > > equivalent to =93do se viska mi=94. > >=20 > > Right, very true. People have started playing with that. > >=20 >=20 > I've started playing with it, certainly. Enough to where I'm > considering flying out to Penguicon to brainstorm and talk about > it with other Lojbanists. jbonunsla (as organized by me, anyways, and no-one else has stepped up) will not be at Penguicon this year, it'll be in the San Francisco bay area. Suggestions as to time, and in particular whether it should be conjoined with an SF convention or just a bunch of Lojbanists in a room together, would be very welcome. I have a mild preference for the latter, but it gets draining after a while. -Robin --=20 http://singinst.org/ : Our last, best hope for a fantastic future. Lojban (http://www.lojban.org/): The language in which "this parrot is dead" is "ti poi spitaki cu morsi", but "this sentence is false" is "na nei". My personal page: http://www.digitalkingdom.org/rlp/ --=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.