From owner-cvs-all Fri Mar 2 15:49:52 2001 Delivered-To: cvs-all@freebsd.org Received: from obsecurity.dyndns.org (adsl-63-207-60-158.dsl.lsan03.pacbell.net [63.207.60.158]) by hub.freebsd.org (Postfix) with ESMTP id 44CD037B71A; Fri, 2 Mar 2001 15:49:48 -0800 (PST) (envelope-from kris@obsecurity.org) Received: by obsecurity.dyndns.org (Postfix, from userid 1000) id F179F66F09; Fri, 2 Mar 2001 15:49:47 -0800 (PST) Date: Fri, 2 Mar 2001 15:49:47 -0800 From: Kris Kennaway To: Warner Losh Cc: Clive Lin , Dag-Erling Smorgrav , cvs-committers@FreeBSD.org, cvs-all@FreeBSD.org Subject: Re: cvs commit: CVSROOT modules Message-ID: <20010302154947.C41267@mollari.cthul.hu> References: <20010301234712.A47820@mollari.cthul.hu> <200103011801.f21I1VW48363@freefall.freebsd.org> <20010302033532.A69557@cartier.cirx.org> <20010301234712.A47820@mollari.cthul.hu> <200103021706.f22H6Ad58131@harmony.village.org> Mime-Version: 1.0 Content-Type: multipart/signed; micalg=pgp-md5; protocol="application/pgp-signature"; boundary="i9LlY+UWpKt15+FH" Content-Disposition: inline User-Agent: Mutt/1.2.5i In-Reply-To: <200103021706.f22H6Ad58131@harmony.village.org>; from imp@harmony.village.org on Fri, Mar 02, 2001 at 10:06:10AM -0700 Sender: owner-cvs-all@FreeBSD.ORG Precedence: bulk X-Loop: FreeBSD.ORG --i9LlY+UWpKt15+FH Content-Type: text/plain; charset=us-ascii Content-Disposition: inline Content-Transfer-Encoding: quoted-printable On Fri, Mar 02, 2001 at 10:06:10AM -0700, Warner Losh wrote: > In message <20010301234712.A47820@mollari.cthul.hu> Kris Kennaway writes: > : 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). >=20 > Didn't he prove that the best answer to many mathematical problems is > "maybe." Eg, there were some questions that an axiomatic system > couldn't answer. Who shaves the barber, being the most famous. Yep. i.e. all formulations of mathematics are necessarily incomplete, in that they allow formulation of questions which have no provable or disprovable answer within the logical framework of that system. Kris --i9LlY+UWpKt15+FH Content-Type: application/pgp-signature Content-Disposition: inline -----BEGIN PGP SIGNATURE----- Version: GnuPG v1.0.4 (FreeBSD) Comment: For info see http://www.gnupg.org iD8DBQE6oDGbWry0BWjoQKURAnLqAKCUfYmwk6Pvljd8SCGOfiqG5ZCysACgyWyq wEmrbmMzuFpSNkZsrdIyAEI= =etJ4 -----END PGP SIGNATURE----- --i9LlY+UWpKt15+FH-- To Unsubscribe: send mail to majordomo@FreeBSD.org with "unsubscribe cvs-all" in the body of the message