From rlpowell@digitalkingdom.org Mon Aug 23 12:18:27 2004 Received: with ECARTIS (v1.0.0; list lojban-beginners); Mon, 23 Aug 2004 12:18:27 -0700 (PDT) Received: from rlpowell by chain.digitalkingdom.org with local (Exim 4.34) id 1BzKKp-0000eU-L2 for lojban-beginners@chain.digitalkingdom.org; Mon, 23 Aug 2004 12:18:27 -0700 Date: Mon, 23 Aug 2004 12:18:27 -0700 To: lojban-beginners@chain.digitalkingdom.org Subject: [lojban-beginners] Re: logical proofs? Message-ID: <20040823191827.GT3257@chain.digitalkingdom.org> References: <20040823153053.GI3257@chain.digitalkingdom.org> <20040823161720.89788.qmail@web41906.mail.yahoo.com> <20040823145459.B32026@fresco.Math.McGill.CA> Mime-Version: 1.0 Content-Type: text/plain; charset=us-ascii Content-Disposition: inline In-Reply-To: <20040823145459.B32026@fresco.Math.McGill.CA> User-Agent: Mutt/1.5.6+20040722i From: Robin Lee Powell X-archive-position: 724 X-Approved-By: rlpowell@digitalkingdom.org X-ecartis-version: Ecartis v1.0.0 Sender: lojban-beginners-bounce@chain.digitalkingdom.org Errors-to: lojban-beginners-bounce@chain.digitalkingdom.org X-original-sender: rlpowell@digitalkingdom.org Precedence: bulk Reply-to: lojban-beginners@chain.digitalkingdom.org X-list: lojban-beginners On Mon, Aug 23, 2004 at 02:54:59PM -0400, Andrew Archibald wrote: > > > > > If you'd like this a little more self-contained (you'll still > > > > need to depend on some properties of multiplication, addition, > > > > and ordering of the natural numbers) you can prepend the > > > > definition of a prime number: a natural number (i.e., positive > > > > integer) such that it can be written as a product of natural > > > > numbers in exactly one way, as one times itself. > > > > > > da poi mulna'usle cei broda cu ma'u zei mulna'u gi'e mulna'u pilji > > > po'o pa da > > > > Only "1" is mulna'u pilji pa da, all other primes have exactly two > > natural divisors. > > Ah. Forgive me; I must have been tired. The definition I gave is not > quite correct; 1 is not a prime number. This may be better: > > A prime number is a natural number greater than one not divisible by > any natural number greater than one but less than itself. da poi mulna'usle cu ma'u zei mulna'e gi'e na mulpi'i de di .i je de .e di vu'o poi mulna'e cu zmadu li pi gi'e mleca da -Robin -- http://www.digitalkingdom.org/~rlpowell/ *** http://www.lojban.org/ Reason #237 To Learn Lojban: "Homonyms: Their Grate!"