From owner-cvs-all Sat Mar 3 4:35: 0 2001 Delivered-To: cvs-all@freebsd.org Received: from carmel.diva.nl (carmel.diva.nl [195.86.140.150]) by hub.freebsd.org (Postfix) with ESMTP id D788D37B71A; Sat, 3 Mar 2001 04:34:51 -0800 (PST) (envelope-from boland@carmel.diva.nl) Received: from localhost (boland@localhost) by carmel.diva.nl (8.11.1/8.11.1) with ESMTP id f23CYRS24983; Sat, 3 Mar 2001 13:34:27 +0100 (CET) Date: Sat, 3 Mar 2001 13:34:27 +0100 (CET) From: Michiel Boland To: Kris Kennaway Cc: Clive Lin , Dag-Erling Smorgrav , cvs-committers@FreeBSD.ORG, cvs-all@FreeBSD.ORG Subject: Re: cvs commit: CVSROOT modules In-Reply-To: <20010301234712.A47820@mollari.cthul.hu> Message-ID: MIME-Version: 1.0 Content-Type: TEXT/PLAIN; charset=US-ASCII Sender: owner-cvs-all@FreeBSD.ORG Precedence: bulk X-Loop: FreeBSD.ORG [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