Date: Sun, 4 Mar 2001 18:54:08 +0100 From: Adrian Chadd <adrian@FreeBSD.org> To: Kris Kennaway <kris@obsecurity.org> Cc: Warner Losh <imp@harmony.village.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: <20010304185408.A2288@roaming.cacheboy.net> In-Reply-To: <20010302154947.C41267@mollari.cthul.hu>; from kris@obsecurity.org on Fri, Mar 02, 2001 at 03:49:47PM -0800 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> <20010302154947.C41267@mollari.cthul.hu>
next in thread | previous in thread | raw e-mail | index | archive | help
On Fri, Mar 02, 2001, Kris Kennaway wrote: > 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). > > > > 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. .. and that brought me to remember something I saw somewhere. From 'Principia Mathematica', Volume 1, A N Whitehead and B Russell. Page 362: "From this proposition it will follow, when arithmetical addition has been defined, that 1 + 1 = 2." (no, I haven't read that book. I read about it in another book I managed to dig up. :) Adrian -- Adrian Chadd "Programming is like sex: <adrian@freebsd.org> One mistake and you have to support for a lifetime." -- rec.humor.funny 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?20010304185408.A2288>