From rlpowell@digitalkingdom.org Thu Oct 23 13:57:40 2008 Received: with ECARTIS (v1.0.0; list llg-board); Thu, 23 Oct 2008 13:57:40 -0700 (PDT) Received: from rlpowell by chain.digitalkingdom.org with local (Exim 4.69) (envelope-from ) id 1Kt7FT-0003pM-UG for llg-board@lojban.org; Thu, 23 Oct 2008 13:57:39 -0700 Date: Thu, 23 Oct 2008 13:57:39 -0700 From: Robin Lee Powell To: llg-board@lojban.org Subject: [llg-board] Re: A request to spend money. Message-ID: <20081023205739.GH31898@digitalkingdom.org> Mail-Followup-To: llg-board@lojban.org References: <20081022214253.GD23512@digitalkingdom.org> <20081022223521.GB31254@mercury.ccil.org> <20081022225329.GG23512@digitalkingdom.org> <20081022232701.GH23512@digitalkingdom.org> MIME-Version: 1.0 Content-Type: text/plain; charset=us-ascii Content-Disposition: inline In-Reply-To: <20081022232701.GH23512@digitalkingdom.org> User-Agent: Mutt/1.5.18 (2008-05-17) X-archive-position: 437 X-ecartis-version: Ecartis v1.0.0 Sender: llg-board-bounce@lojban.org Errors-to: llg-board-bounce@lojban.org X-original-sender: rlpowell@digitalkingdom.org Precedence: bulk Reply-to: llg-board@lojban.org X-list: llg-board On Wed, Oct 22, 2008 at 04:27:01PM -0700, Robin Lee Powell wrote: > On Wed, Oct 22, 2008 at 03:53:29PM -0700, Robin Lee Powell wrote: > > On Wed, Oct 22, 2008 at 06:35:21PM -0400, John Cowan wrote: > > > Robin Lee Powell scripsit: > > > > > > > I would like to offer $500 to anyone that comes up with a > > > > CFG that can encode Lojban elidable terminators (I strongly > > > > believe this to be impossible) or $100 for a formal proof > > > > that it's impossible. This would be out of the LLG moneys. > > > > > > Hmm. I think this reduces to a proof about a grammar with > > > nothing but (, ), [, and ], where () can group either (...) > > > or [...], and [] can group either [...] or (...), and ] and ) > > > are elidable terminators. > > > > I'd even like to see that, but I was going to specify that there > > must be clear steps from there to generating a complete Lojban > > grammar, and the number of productions must not explode > > exponentially in doing so. > > Or even: $100 for a counter-proof, $300 for an example with > several (let's make it 5 rather than 2) elidable terminators and a > demonstration of how to non-explosively add new ones, $500 for a > full grammar in less than 2, 000 productions (the yacc grammar is > around 500). OK, since no-one seems to have complained much yet, I'm going to call for objections to this form of the offer, with assurances that I'll write it up better than that when the time comes. Since everyone's pretty much already weighed in, the deadline is Monday, 27 Oct 2008. If there are objections, we'll do a real vote. -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/