From owner-cvs-all Fri Mar 2 9: 6:49 2001 Delivered-To: cvs-all@freebsd.org Received: from harmony.village.org (rover.bsdimp.com [204.144.255.66]) by hub.freebsd.org (Postfix) with ESMTP id 0184337B71A; Fri, 2 Mar 2001 09:06:42 -0800 (PST) (envelope-from imp@harmony.village.org) Received: from harmony.village.org (localhost.village.org [127.0.0.1]) by harmony.village.org (8.11.1/8.11.1) with ESMTP id f22H6Ad58131; Fri, 2 Mar 2001 10:06:10 -0700 (MST) (envelope-from imp@harmony.village.org) Message-Id: <200103021706.f22H6Ad58131@harmony.village.org> To: Kris Kennaway Subject: Re: cvs commit: CVSROOT modules Cc: Clive Lin , Dag-Erling Smorgrav , cvs-committers@FreeBSD.org, cvs-all@FreeBSD.org In-reply-to: Your message of "Thu, 01 Mar 2001 23:47:13 PST." <20010301234712.A47820@mollari.cthul.hu> References: <20010301234712.A47820@mollari.cthul.hu> <200103011801.f21I1VW48363@freefall.freebsd.org> <20010302033532.A69557@cartier.cirx.org> Date: Fri, 02 Mar 2001 10:06:10 -0700 From: Warner Losh Sender: owner-cvs-all@FreeBSD.ORG Precedence: bulk X-Loop: FreeBSD.ORG 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. Warner To Unsubscribe: send mail to majordomo@FreeBSD.org with "unsubscribe cvs-all" in the body of the message