Return-path: X-Spam-Checker-Version: SpamAssassin 3.3.1 (2010-03-16) on chain.digitalkingdom.org X-Spam-Level: X-Spam-Status: No, score=-1.8 required=5.0 tests=BAYES_00,DKIM_ADSP_CUSTOM_MED, DKIM_SIGNED,FREEMAIL_FROM,RCVD_IN_DNSWL_NONE,SPF_PASS,T_DKIM_INVALID, T_TO_NO_BRKTS_FREEMAIL autolearn=no version=3.3.1 X-Spam-Personal-Checker-Version: SpamAssassin 3.3.1 (2010-03-16) on chain.digitalkingdom.org Envelope-to: rlpowell@digitalkingdom.org Delivery-date: Sun, 18 Jul 2010 07:28:59 -0700 Received: from chain.digitalkingdom.org ([192.168.123.127]) by chain.digitalkingdom.org with esmtp (Exim 4.72) (envelope-from ) id 1OaUr0-00056U-En; Sun, 18 Jul 2010 07:28:35 -0700 Received: with ECARTIS (v1.0.0; list jbovlaste); Sun, 18 Jul 2010 07:27:53 -0700 (PDT) Received: from nobody by chain.digitalkingdom.org with local (Exim 4.72) (envelope-from ) id 1OaUqJ-00055H-Q6 for jbovlaste-real@lojban.org; Sun, 18 Jul 2010 07:27:48 -0700 Received: from mail-qw0-f53.google.com ([209.85.216.53]) by chain.digitalkingdom.org with esmtp (Exim 4.72) (envelope-from ) id 1OaUq0-0004oT-Ns for jbovlaste@lojban.org; Sun, 18 Jul 2010 07:27:46 -0700 Received: by qwj8 with SMTP id 8so1467813qwj.40 for ; Sun, 18 Jul 2010 07:27:22 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=gamma; h=domainkey-signature:mime-version:received:received:in-reply-to :references:date:message-id:subject:from:to:content-type :content-transfer-encoding; bh=Kjic3lq9jAZdjmBqXNSp+dkF4v+3ynZLjsd08gWAUJw=; b=e1y99G9FHLgYr7YttSeoFn0D4J4nLbe4XNE2mTsZxCA942dusMSEcOqSIyQLs6EZL1 jqmEmrAXmsKH6j82ciePr8MnLEr7Ydh2i2TvED5aLVYLK8KHYmfeAodvFh4LgNbH0UWZ 0wE/CqbenoKZzzmd+++IdM18a6qOYw9cAMrz8= DomainKey-Signature: a=rsa-sha1; c=nofws; d=gmail.com; s=gamma; h=mime-version:in-reply-to:references:date:message-id:subject:from:to :content-type:content-transfer-encoding; b=IHgnFzXVS5raGCu5lJqoI4+Yuc7to+2WdvTaBEtwhKovSV8hXzZ/WkoF4BhCd8JVJl wfCuCrX825u7YLjXkEwmR6eg6kgd5Ok7Efn+pWq6EpIu4qupwgU2KlL0Fh/gOt/2BWAW zDdS4h6OoeQVYda1bwgW+wfpdze7U/rDsoswU= MIME-Version: 1.0 Received: by 10.224.100.142 with SMTP id y14mr3134311qan.282.1279463242222; Sun, 18 Jul 2010 07:27:22 -0700 (PDT) Received: by 10.229.75.74 with HTTP; Sun, 18 Jul 2010 07:27:22 -0700 (PDT) In-Reply-To: <201007172144.38435.phma@phma.optus.nu> References: <201007172144.38435.phma@phma.optus.nu> Date: Sun, 18 Jul 2010 11:27:22 -0300 Message-ID: Subject: [jbovlaste] Re: On formally undecidable propositions From: =?ISO-8859-1?Q?Jorge_Llamb=EDas?= To: jbovlaste@lojban.org Content-Type: text/plain; charset=ISO-8859-1 Content-Transfer-Encoding: 8bit X-MIME-Autoconverted: from quoted-printable to 8bit by Ecartis X-ecartis-version: Ecartis v1.0.0 Sender: jbovlaste-bounce@lojban.org Errors-to: jbovlaste-bounce@lojban.org X-original-sender: jjllambias@gmail.com Precedence: bulk Reply-to: jbovlaste@lojban.org X-list: jbovlaste Content-Length: 444 Lines: 12 On Sat, Jul 17, 2010 at 10:44 PM, Pierre Abbat wrote: > I just wrote a bit more in the Kurt Gödel article and translated the title of > his famous writeup as "la'o ly. Principia Mathematica .ly. e lo simsa ciste > zo'u da poi bridi na ka'e lojysu'a te jdice". I'm not at all sure that I got > the right word for "formal". Ideas? I think "formal" is "tamra'a". Relating to form, as opposed to content. mu'o mi'e xorxes