Date: Sat, 3 Mar 2001 14:18:42 +0000 From: David Malone <dwmalone@maths.tcd.ie> To: Tony Finch <dot@dotat.at> Cc: Kris Kennaway <kris@obsecurity.org>, Clive Lin <clive@CirX.ORG>, Dag-Erling Smorgrav <des@ofug.org>, cvs-committers@FreeBSD.org, cvs-all@FreeBSD.org Subject: Re: cvs commit: CVSROOT modules Message-ID: <20010303141842.A82667@salmon.maths.tcd.ie> In-Reply-To: <20010303055322.O412@hand.dotat.at>; from dot@dotat.at on Sat, Mar 03, 2001 at 05:53:22AM %2B0000 References: <200103011801.f21I1VW48363@freefall.freebsd.org> <xzpd7c147wi.fsf@flood.ping.uio.no> <20010302033532.A69557@cartier.cirx.org> <20010302033532.A69557@cartier.cirx.org>; <20010301234712.A47820@mollari.cthul.hu> <20010303055322.O412@hand.dotat.at>
next in thread | previous in thread | raw e-mail | index | archive | help
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
Want to link to this message? Use this URL: <https://mail-archive.FreeBSD.org/cgi/mid.cgi?20010303141842.A82667>