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.9 required=5.0 tests=BAYES_00,RCVD_IN_DNSWL_NONE autolearn=ham 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: Sat, 17 Jul 2010 18:46:14 -0700 Received: from chain.digitalkingdom.org ([192.168.123.127]) by chain.digitalkingdom.org with esmtp (Exim 4.72) (envelope-from ) id 1OaIwq-0006Cn-Gp; Sat, 17 Jul 2010 18:45:47 -0700 Received: with ECARTIS (v1.0.0; list jbovlaste); Sat, 17 Jul 2010 18:44:52 -0700 (PDT) Received: from nobody by chain.digitalkingdom.org with local (Exim 4.72) (envelope-from ) id 1OaIvz-0006Ch-JK for jbovlaste-real@lojban.org; Sat, 17 Jul 2010 18:44:51 -0700 Received: from cdptpa-omtalb.mail.rr.com ([75.180.132.120]) by chain.digitalkingdom.org with esmtp (Exim 4.72) (envelope-from ) id 1OaIvv-0006CQ-Qd for jbovlaste@lojban.org; Sat, 17 Jul 2010 18:44:51 -0700 X-Authority-Analysis: v=1.1 cv=TSV1i1kheUGiq8s4rKVB1dciFK8UFk/7QsFh0ewzn+A= c=1 sm=0 a=ORa4HqFjfvEA:10 a=8nJEP1OIZ-IA:10 a=ITGCJgwGTuG7H/gKGaarIQ==:17 a=Yrr8HZqw4lR6WPwYjv0A:9 a=7ebFWDYYvG-tVvLVcb5gmD6keE8A:4 a=wPNLvfGTeEIA:10 a=ITGCJgwGTuG7H/gKGaarIQ==:117 X-Cloudmark-Score: 0 X-Originating-IP: 71.71.198.100 Received: from [71.71.198.100] ([71.71.198.100:33882] helo=chausie) by cdptpa-oedge03.mail.rr.com (envelope-from ) (ecelerity 2.2.2.39 r()) with ESMTP id 49/7E-21397-98C524C4; Sun, 18 Jul 2010 01:44:41 +0000 Received: from localhost (localhost [127.0.0.1]) by chausie (Postfix) with ESMTP id 5269B101FE for ; Sat, 17 Jul 2010 21:44:40 -0400 (EDT) From: Pierre Abbat To: jbovlaste@lojban.org Subject: [jbovlaste] On formally undecidable propositions Date: Sat, 17 Jul 2010 21:44:37 -0400 User-Agent: KMail/1.9.6 (enterprise 0.20070907.709405) MIME-Version: 1.0 Content-Type: text/plain; charset="iso-8859-1" Content-Transfer-Encoding: 8bit X-MIME-Autoconverted: from quoted-printable to 8bit by Ecartis Content-Disposition: inline Message-Id: <201007172144.38435.phma@phma.optus.nu> X-ecartis-version: Ecartis v1.0.0 Sender: jbovlaste-bounce@lojban.org Errors-to: jbovlaste-bounce@lojban.org X-original-sender: phma@phma.optus.nu Precedence: bulk Reply-to: jbovlaste@lojban.org X-list: jbovlaste Content-Length: 375 Lines: 13 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? Pierre -- .i toljundi do .ibabo mi'afra tu'a do .ibabo damba do .ibabo do jinga .icu'u la ma'atman.