Date: Sat, 3 Mar 2001 13:34:27 +0100 (CET) From: Michiel Boland <boland@carmel.diva.nl> To: Kris Kennaway <kris@obsecurity.org> Cc: 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: <Pine.BSF.4.05.10103031324290.24647-100000@carmel.diva.nl> In-Reply-To: <20010301234712.A47820@mollari.cthul.hu>
next in thread | previous in thread | raw e-mail | index | archive | help
[is there something between aleph_0 and aleph_1] > In fact this is David Hilbert's first > Unsolved Problem from the International Congress of Mathematics in > Paris, 1900 (where he presented a list of 23 major unsolved problems > he believed would serve as challenges and inspirations for > mathematicians in the upcoming century. Many remain unsolved). I > believe this question was resolved by Kurt Godel with the answer being > "it depends" (on the axioms of your brand of mathematics you choose). Minor nit. G\"odel only proved that you could assume the continuum hypothesis, as the problem is more generally known, as an extra axiom on top of the (axioms of) set theory and still have a consistent theory, assuming that set theory itself is consistent. Later, Cohen proved that you could also assume the *opposite* of the continuum hypotheses on top of set theory and *also* get a consistent theory. So you now have two mathematics: one in which the CH is true, and another in which it is not true. Obviously this does not affect real life though. :) Cheers Michiel 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?Pine.BSF.4.05.10103031324290.24647-100000>