Date: Fri, 2 Mar 2001 15:49:47 -0800 From: Kris Kennaway <kris@obsecurity.org> To: Warner Losh <imp@harmony.village.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: <20010302154947.C41267@mollari.cthul.hu> In-Reply-To: <200103021706.f22H6Ad58131@harmony.village.org>; from imp@harmony.village.org on Fri, Mar 02, 2001 at 10:06:10AM -0700 References: <20010301234712.A47820@mollari.cthul.hu> <200103011801.f21I1VW48363@freefall.freebsd.org> <xzpd7c147wi.fsf@flood.ping.uio.no> <20010302033532.A69557@cartier.cirx.org> <20010301234712.A47820@mollari.cthul.hu> <200103021706.f22H6Ad58131@harmony.village.org>
next in thread | previous in thread | raw e-mail | index | archive | help
--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
Want to link to this message? Use this URL: <https://mail-archive.FreeBSD.org/cgi/mid.cgi?20010302154947.C41267>