From rlpowell@digitalkingdom.org Wed Oct 22 15:10:52 2008 Received: with ECARTIS (v1.0.0; list llg-board); Wed, 22 Oct 2008 15:10:52 -0700 (PDT) Received: from rlpowell by chain.digitalkingdom.org with local (Exim 4.69) (envelope-from ) id 1Kslum-00058D-4U for llg-board@lojban.org; Wed, 22 Oct 2008 15:10:52 -0700 Date: Wed, 22 Oct 2008 15:10:52 -0700 From: Robin Lee Powell To: llg-board@lojban.org Subject: [llg-board] Re: A request to spend money. Message-ID: <20081022221052.GE23512@digitalkingdom.org> Mail-Followup-To: llg-board@lojban.org References: <20081022214253.GD23512@digitalkingdom.org> <20081022215812.GF2447@nvg.org> MIME-Version: 1.0 Content-Type: text/plain; charset=us-ascii Content-Disposition: inline In-Reply-To: <20081022215812.GF2447@nvg.org> User-Agent: Mutt/1.5.18 (2008-05-17) X-archive-position: 421 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 11:58:12PM +0200, Arnt Richard Johansen wrote: > On Wed, Oct 22, 2008 at 02:42:53PM -0700, Robin Lee Powell wrote: > > > > 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. > > > > The formal proof would actually be more work, I expect, but > > that's (1) not the result I want and (2) the more likely result, > > so I'd like us to pay less for it. > > > > This is a motion. May I have a second? > > Good idea, but in the case of a formal proof, who would evaluate > the proof's correctness? I have the required skills, as does jcowan. I expect we could find one or two more. But I was planning on relying on that most well-trammeled of geek practices: when in doubt, post something you know is wrong to a relevant mailing list. That is, I'm pretty sure that posting it to the main list would find any issues quite quickly. -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/