[lojban] Re: [lojban-beginners] A challenge for computer science/programming geeks: The LLG wants to give you $500!

[Robin Lee Powell <rlpowell@digitalkingdom.org>]

On Tue, Oct 28, 2008 at 06:06:36PM -0500, Chris Capel wrote:
> On Tue, Oct 28, 2008 at 16:51, Robin Lee Powell
> <rlpowell@digitalkingdom.org> 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.