From owner-cvs-all Sat Mar 3 6:18:51 2001 Delivered-To: cvs-all@freebsd.org Received: from salmon.maths.tcd.ie (salmon.maths.tcd.ie [134.226.81.11]) by hub.freebsd.org (Postfix) with SMTP id BBD1B37B722; Sat, 3 Mar 2001 06:18:43 -0800 (PST) (envelope-from dwmalone@maths.tcd.ie) Date: Sat, 3 Mar 2001 14:18:42 +0000 From: David Malone To: Tony Finch Cc: Kris Kennaway , Clive Lin , Dag-Erling Smorgrav , cvs-committers@FreeBSD.org, cvs-all@FreeBSD.org Subject: Re: cvs commit: CVSROOT modules Message-ID: <20010303141842.A82667@salmon.maths.tcd.ie> References: <200103011801.f21I1VW48363@freefall.freebsd.org> <20010302033532.A69557@cartier.cirx.org> <20010302033532.A69557@cartier.cirx.org>; <20010301234712.A47820@mollari.cthul.hu> <20010303055322.O412@hand.dotat.at> Mime-Version: 1.0 Content-Type: text/plain; charset=us-ascii Content-Disposition: inline User-Agent: Mutt/1.2.5i In-Reply-To: <20010303055322.O412@hand.dotat.at>; from dot@dotat.at on Sat, Mar 03, 2001 at 05:53:22AM +0000 Sender: owner-cvs-all@FreeBSD.ORG Precedence: bulk X-Loop: FreeBSD.ORG On Sat, Mar 03, 2001 at 05:53:22AM +0000, Tony Finch wrote: > >They both take their name from the Hebrew letter Aleph and the > >subscript 1, which is the notation for the mathematical concept of an > >uncountable infinity -- as opposed to a countable infinity ("aleph > >null"), i.e. an infinite set you can pair up with the natural numbers > >1, 2, 3, ... . The integers (..., -2, -1, 0, 1, 2, ...) are an example > >of a countably infinite set, whereas the real numbers are an example > >of an uncountably infinite set. > > Actually I believe that it is still unproven whether or not the > cardinality of the real numbers is aleph one or not. However IANAM... It's undecidable AFAIK - you can assume it either way and you get equally consistent systems. (I think this is called the continum hypothesis). David. To Unsubscribe: send mail to majordomo@FreeBSD.org with "unsubscribe cvs-all" in the body of the message