From owner-cvs-all Sun Mar 4 9:54: 5 2001 Delivered-To: cvs-all@freebsd.org Received: from roaming.cacheboy.net (roaming.cacheboy.net [203.56.168.69]) by hub.freebsd.org (Postfix) with ESMTP id E3C8337B718; Sun, 4 Mar 2001 09:53:58 -0800 (PST) (envelope-from adrian@roaming.cacheboy.net) Received: (from adrian@localhost) by roaming.cacheboy.net (8.11.1/8.11.1) id f24Hs8p02346; Sun, 4 Mar 2001 18:54:08 +0100 (CET) (envelope-from adrian) Date: Sun, 4 Mar 2001 18:54:08 +0100 From: Adrian Chadd To: Kris Kennaway Cc: Warner Losh , Clive Lin , Dag-Erling Smorgrav , cvs-committers@FreeBSD.org, cvs-all@FreeBSD.org Subject: Re: cvs commit: CVSROOT modules Message-ID: <20010304185408.A2288@roaming.cacheboy.net> 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> <20010302154947.C41267@mollari.cthul.hu> Mime-Version: 1.0 Content-Type: text/plain; charset=us-ascii Content-Disposition: inline User-Agent: Mutt/1.2.5i In-Reply-To: <20010302154947.C41267@mollari.cthul.hu>; from kris@obsecurity.org on Fri, Mar 02, 2001 at 03:49:47PM -0800 Sender: owner-cvs-all@FreeBSD.ORG Precedence: bulk X-Loop: FreeBSD.ORG 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: 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