From owner-freebsd-chat Sun Mar 4 13:41: 4 2001 Delivered-To: freebsd-chat@freebsd.org Received: from roaming.cacheboy.net (roaming.cacheboy.net [203.56.168.69]) by hub.freebsd.org (Postfix) with ESMTP id 174FC37B719 for ; Sun, 4 Mar 2001 13:40:57 -0800 (PST) (envelope-from adrian@roaming.cacheboy.net) Received: (from adrian@localhost) by roaming.cacheboy.net (8.11.1/8.11.1) id f24Lfpf03285; Sun, 4 Mar 2001 22:41:52 +0100 (CET) (envelope-from adrian) Date: Sun, 4 Mar 2001 22:41:51 +0100 From: Adrian Chadd To: Dag-Erling Smorgrav Cc: freebsd-chat@freebsd.org Subject: Re: cvs commit: CVSROOT modules Message-ID: <20010304224151.A3264@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> <20010304185408.A2288@roaming.cacheboy.net> Mime-Version: 1.0 Content-Type: text/plain; charset=iso-8859-1 Content-Disposition: inline Content-Transfer-Encoding: 8bit User-Agent: Mutt/1.2.5i In-Reply-To: ; from des@ofug.org on Sun, Mar 04, 2001 at 10:31:08PM +0100 Sender: owner-freebsd-chat@FreeBSD.ORG Precedence: bulk X-Loop: FreeBSD.org [moved to -chat, which I'm thankfully not on atm :-] On Sun, Mar 04, 2001, Dag-Erling Smorgrav wrote: > Adrian Chadd writes: > > .. 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." > > ISTR that _Principa Mathematica_ is the book (nay, monument) that > Gödel set out to abolish. PM's authors were of the opinion that > everything could be described using mathematics, whereas Gödel proved > that no matter what level of abstraction you chose, there would always > be statements that couldn't be formulated at that level. > > (based on my recollections of Hofstädter's _Gödel, Escher, Bach: An > Eternal Golden Braid_) ISTR that too. I just don't want to find my copy of that and search through it before I go to bed. :-) In any case, this book mentions right before the Mathematica "quote" that Russell observed that "the mathematician can never put onto paper the 'complete process of reasoning', but rather must settle for 'such an abstract of the proof as is sufficient to convince a properly instructed mind.'" It then runs off to question why Russell then went to co-author PM. Perhaps there's a lesson in here somewhere? :) Thanks guys. I now have the motivation to re-read or finish some of the books I have lying on my shelf gathering dust. :-P 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 freebsd-chat" in the body of the message