[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
[jbovlaste] Re: On formally undecidable propositions
- To: jbovlaste@lojban.org
- Subject: [jbovlaste] Re: On formally undecidable propositions
- From: Jorge Llambías <jjllambias@gmail.com>
- Date: Sun, 18 Jul 2010 11:27:22 -0300
- Delivery-date: Sun, 18 Jul 2010 07:28:59 -0700
- 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=
- Envelope-to: rlpowell@digitalkingdom.org
- In-reply-to: <201007172144.38435.phma@phma.optus.nu>
- References: <201007172144.38435.phma@phma.optus.nu>
- Reply-to: jbovlaste@lojban.org
- Sender: jbovlaste-bounce@lojban.org
On Sat, Jul 17, 2010 at 10:44 PM, Pierre Abbat <phma@phma.optus.nu> 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