[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
[lojban] Re: [lojban-beginners] A challenge for computer science/programming geeks: The LLG wants to give you $500!
- To: lojban-list@lojban.org
- Subject: [lojban] Re: [lojban-beginners] A challenge for computer science/programming geeks: The LLG wants to give you $500!
- From: "Chris Capel" <pdf23ds@gmail.com>
- Date: Tue, 28 Oct 2008 18:06:36 -0500
- Dkim-signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=gamma; h=domainkey-signature:received:received:message-id:date:from:to :subject:in-reply-to:mime-version:content-type :content-transfer-encoding:content-disposition:references; bh=HU25+c9jFnfmmCBZHmcEeObSPHPMIH1xFVo8xbuFuyQ=; b=hAhD1AFtiP06aEnJJMWXWx2baL7rPAYK4Nc59q9l8G3HlJBbLzwIZGJ3ZiHhlEO4Db dzF0c14aixaOpCKJ0dg0wES4CPBfepmbs0bqKu2RKzz+V8I6kjM5dlByDbJgGae1h6dH pSEuxl24Q5CoT0ml+N3lvthTwdr5oxINyel9I=
- Domainkey-signature: a=rsa-sha1; c=nofws; d=gmail.com; s=gamma; h=message-id:date:from:to:subject:in-reply-to:mime-version :content-type:content-transfer-encoding:content-disposition :references; b=DiYmX8VpMKwdhc0xtq3pzeTGtBdHjiNH6dZ+8yC0/IfQREP3flleXP5UiNPyyQeuqE MFIO58EuWj/3Cq7mXszC9XP2CQ4CGSwMjR4kMTR/ZmqB9LbtYjuf/xn6bEjLa66pwCQ3 XvXtpyQRiWNglZch5uaFkEb8QbMqtnAZ2Oqx4=
- In-reply-to: <20081028215134.GK31434@digitalkingdom.org>
- References: <20081028215134.GK31434@digitalkingdom.org>
- Reply-to: lojban-list@lojban.org
- Sender: lojban-list-bounce@lojban.org
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?
Chris Capel
--
"What is it like to be a bat? What is it like to bat a bee? What is it
like to be a bee being batted? What is it like to be a batted bee?"
-- The Mind's I (Hofstadter, Dennet)
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.