From lojban+bncCLr6ktCfBBD305jpBBoEOFmLhg@googlegroups.com Thu Jan 06 12:46:00 2011 Received: from mail-yw0-f61.google.com ([209.85.213.61]) by chain.digitalkingdom.org with esmtp (Exim 4.72) (envelope-from ) id 1PawiZ-00074G-6o; Thu, 06 Jan 2011 12:46:00 -0800 Received: by ywh1 with SMTP id 1sf15661848ywh.16 for ; Thu, 06 Jan 2011 12:45:48 -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:received:received:date:from:to :subject:message-id:mail-followup-to:mime-version: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=SLIr762ylwCxLHVj/RxxxdbqJWA154vYH3BffgKjfY4=; b=2KtG70LW0mstud7mYGsyEp6mZ0YPvV/y9qbuJPQ3/GkYHVQO45G0ojTkhXbZCbpRQb plGxFw/sWMw1PfgF1Y5Na3NY3V/lHqPH598RVo7VfyeMoTJaSXsQV+Q3EuxXEvEa5BvO KQqCkF3BGidksbewb5KH1CiKS0VNoPpwR32TA= DomainKey-Signature: a=rsa-sha1; c=nofws; d=googlegroups.com; s=beta; h=x-beenthere:received-spf:date:from:to:subject:message-id :mail-followup-to:mime-version: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=UxABa4wQXCK79Rw5/KBf3I3qyVE5uQ16YUp6DEv4gVTvaLk18LO7a1NaYu5fS45ikX rDBtkMBPuttKq5vRrfvnoJTNVxdz4H8rAUrIu+iqN0u++lnDnJT9etPZafLZRLD3X0/H 89+4/d+9/h9CDVUAqO8llks7ZVtiUm7KXqeRo= Received: by 10.91.94.3 with SMTP id w3mr177356agl.16.1294346743905; Thu, 06 Jan 2011 12:45:43 -0800 (PST) X-BeenThere: lojban@googlegroups.com Received: by 10.101.105.19 with SMTP id h19ls109887anm.5.p; Thu, 06 Jan 2011 12:45:42 -0800 (PST) Received: by 10.100.241.12 with SMTP id o12mr1434792anh.52.1294346742576; Thu, 06 Jan 2011 12:45:42 -0800 (PST) Received: by 10.100.241.12 with SMTP id o12mr1434791anh.52.1294346742554; Thu, 06 Jan 2011 12:45:42 -0800 (PST) Received: from mail-yw0-f52.google.com (mail-yw0-f52.google.com [209.85.213.52]) by gmr-mx.google.com with ESMTPS id a26si10302491ana.5.2011.01.06.12.45.42 (version=TLSv1/SSLv3 cipher=RC4-MD5); Thu, 06 Jan 2011 12:45:42 -0800 (PST) Received-SPF: neutral (google.com: 209.85.213.52 is neither permitted nor denied by best guess record for domain of alanpost@sunflowerriver.org) client-ip=209.85.213.52; Received: by ywf9 with SMTP id 9so9840607ywf.25 for ; Thu, 06 Jan 2011 12:45:42 -0800 (PST) Received: by 10.151.153.13 with SMTP id f13mr23723722ybo.223.1294346742015; Thu, 06 Jan 2011 12:45:42 -0800 (PST) Received: from sunflowerriver.org (173-10-243-253-Albuquerque.hfc.comcastbusiness.net [173.10.243.253]) by mx.google.com with ESMTPS id e44sm4817458yha.34.2011.01.06.12.45.37 (version=TLSv1/SSLv3 cipher=RC4-MD5); Thu, 06 Jan 2011 12:45:40 -0800 (PST) Date: Thu, 6 Jan 2011 13:45:34 -0700 From: ".alyn.post." To: lojban@googlegroups.com Subject: [lojban] Semantic Representation of Lojban Message-ID: <20110106204534.GF27821@alice.local> Mail-Followup-To: lojban@googlegroups.com Mime-Version: 1.0 X-Original-Sender: alyn.post@lodockikumazvati.org X-Original-Authentication-Results: gmr-mx.google.com; spf=neutral (google.com: 209.85.213.52 is neither permitted nor denied by best guess record for domain of alanpost@sunflowerriver.org) smtp.mail=alanpost@sunflowerriver.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 [I've moved this to it's own thread for higher visibility of the topic.] 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 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. If others of you are working on it and are able and interested in meeting about it, will you speak up? -Alan --=20 .i ko djuno fi le do sevzi --=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.