From nobody@digitalkingdom.org Tue Oct 28 16:06:40 2008 Received: with ECARTIS (v1.0.0; list lojban-list); Tue, 28 Oct 2008 16:06:40 -0700 (PDT) Received: from nobody by chain.digitalkingdom.org with local (Exim 4.69) (envelope-from ) id 1Kuxe4-000835-6l for lojban-list-real@lojban.org; Tue, 28 Oct 2008 16:06:40 -0700 Received: from yx-out-1718.google.com ([74.125.44.155]) by chain.digitalkingdom.org with esmtp (Exim 4.69) (envelope-from ) id 1Kuxe1-00082p-4b for lojban-list@lojban.org; Tue, 28 Oct 2008 16:06:40 -0700 Received: by yx-out-1718.google.com with SMTP id 4so797641yxp.46 for ; Tue, 28 Oct 2008 16:06:36 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=gamma; h=domainkey-signature:received:received:message-id:date:from:to :subject:in-reply-to:mime-version:content-type :content-transfer-encoding:content-disposition:references; bh=HU25+c9jFnfmmCBZHmcEeObSPHPMIH1xFVo8xbuFuyQ=; b=hAhD1AFtiP06aEnJJMWXWx2baL7rPAYK4Nc59q9l8G3HlJBbLzwIZGJ3ZiHhlEO4Db dzF0c14aixaOpCKJ0dg0wES4CPBfepmbs0bqKu2RKzz+V8I6kjM5dlByDbJgGae1h6dH pSEuxl24Q5CoT0ml+N3lvthTwdr5oxINyel9I= DomainKey-Signature: a=rsa-sha1; c=nofws; d=gmail.com; s=gamma; h=message-id:date:from:to:subject:in-reply-to:mime-version :content-type:content-transfer-encoding:content-disposition :references; b=DiYmX8VpMKwdhc0xtq3pzeTGtBdHjiNH6dZ+8yC0/IfQREP3flleXP5UiNPyyQeuqE MFIO58EuWj/3Cq7mXszC9XP2CQ4CGSwMjR4kMTR/ZmqB9LbtYjuf/xn6bEjLa66pwCQ3 XvXtpyQRiWNglZch5uaFkEb8QbMqtnAZ2Oqx4= Received: by 10.151.78.15 with SMTP id f15mr9245890ybl.101.1225235196164; Tue, 28 Oct 2008 16:06:36 -0700 (PDT) Received: by 10.150.199.20 with HTTP; Tue, 28 Oct 2008 16:06:36 -0700 (PDT) Message-ID: <737b61f30810281606s186323e5n76c8c6ac7098de31@mail.gmail.com> Date: Tue, 28 Oct 2008 18:06:36 -0500 From: "Chris Capel" To: lojban-list@lojban.org Subject: [lojban] Re: [lojban-beginners] A challenge for computer science/programming geeks: The LLG wants to give you $500! In-Reply-To: <20081028215134.GK31434@digitalkingdom.org> MIME-Version: 1.0 Content-Type: text/plain; charset=ISO-8859-1 Content-Transfer-Encoding: 7bit Content-Disposition: inline References: <20081028215134.GK31434@digitalkingdom.org> X-Spam-Score: -0.0 X-Spam-Score-Int: 0 X-Spam-Bar: / X-archive-position: 14868 X-ecartis-version: Ecartis v1.0.0 Sender: lojban-list-bounce@lojban.org Errors-to: lojban-list-bounce@lojban.org X-original-sender: pdf23ds@gmail.com Precedence: bulk Reply-to: lojban-list@lojban.org X-list: lojban-list On Tue, Oct 28, 2008 at 16:51, Robin Lee Powell wrote: > For $100: Formally prove that encoding Lojban's elidable terminators > is not possible in a CFG. Hmm. Don't get too excited, there. What's the standard of formality, here? Computer proof level, or simply very explicit English? Chris Capel -- "What is it like to be a bat? What is it like to bat a bee? What is it like to be a bee being batted? What is it like to be a batted bee?" -- The Mind's I (Hofstadter, Dennet) To unsubscribe from this list, send mail to lojban-list-request@lojban.org with the subject unsubscribe, or go to http://www.lojban.org/lsg2/, or if you're really stuck, send mail to secretary@lojban.org for help.