From rlpowell@digitalkingdom.org Wed Oct 22 14:42:53 2008 Received: with ECARTIS (v1.0.0; list llg-board); Wed, 22 Oct 2008 14:42:53 -0700 (PDT) Received: from rlpowell by chain.digitalkingdom.org with local (Exim 4.69) (envelope-from ) id 1KslTh-0003Ki-CJ for llg-board@lojban.org; Wed, 22 Oct 2008 14:42:53 -0700 Date: Wed, 22 Oct 2008 14:42:53 -0700 From: Robin Lee Powell To: llg-board@lojban.org Subject: [llg-board] A request to spend money. Message-ID: <20081022214253.GD23512@digitalkingdom.org> Mail-Followup-To: llg-board@lojban.org MIME-Version: 1.0 Content-Type: text/plain; charset=us-ascii Content-Disposition: inline User-Agent: Mutt/1.5.18 (2008-05-17) X-archive-position: 419 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 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? -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/