From nobody@digitalkingdom.org Tue Oct 28 17:15:54 2008 Received: with ECARTIS (v1.0.0; list lojban-list); Tue, 28 Oct 2008 17:15:55 -0700 (PDT) Received: from nobody by chain.digitalkingdom.org with local (Exim 4.69) (envelope-from ) id 1Kuyj4-0003Ww-Sj for lojban-list-real@lojban.org; Tue, 28 Oct 2008 17:15:54 -0700 Received: from rlpowell by chain.digitalkingdom.org with local (Exim 4.69) (envelope-from ) id 1Kuyj4-0003Wo-QN for lojban-list@lojban.org; Tue, 28 Oct 2008 17:15:54 -0700 Date: Tue, 28 Oct 2008 17:15:54 -0700 From: Robin Lee Powell To: lojban-list@lojban.org Subject: [lojban] Re: [lojban-beginners] A challenge for computer science/programming geeks: The LLG wants to give you $500! Message-ID: <20081029001554.GD26657@digitalkingdom.org> Mail-Followup-To: lojban-list@lojban.org References: <20081028215134.GK31434@digitalkingdom.org> <737b61f30810281606s186323e5n76c8c6ac7098de31@mail.gmail.com> MIME-Version: 1.0 Content-Type: text/plain; charset=us-ascii Content-Disposition: inline In-Reply-To: <737b61f30810281606s186323e5n76c8c6ac7098de31@mail.gmail.com> User-Agent: Mutt/1.5.18 (2008-05-17) X-archive-position: 14869 X-ecartis-version: Ecartis v1.0.0 Sender: lojban-list-bounce@lojban.org Errors-to: lojban-list-bounce@lojban.org X-original-sender: rlpowell@digitalkingdom.org Precedence: bulk Reply-to: lojban-list@lojban.org X-list: lojban-list On Tue, Oct 28, 2008 at 06:06:36PM -0500, Chris Capel wrote: > 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? I don't know what "computer proof" means. I had in mind a normal mathematical proof; something like http://en.wikipedia.org/wiki/Cook%E2%80%93Levin_theorem -Robin -- They say: "The first AIs will be built by the military as weapons." And I'm thinking: "Does it even occur to you to try for something other than the default outcome?" -- http://shorl.com/tydruhedufogre http://www.digitalkingdom.org/~rlpowell/ *** http://www.lojban.org/ 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.