From owner-cvs-all Sun Mar 4 13:31:20 2001 Delivered-To: cvs-all@freebsd.org Received: from flood.ping.uio.no (flood.ping.uio.no [129.240.78.31]) by hub.freebsd.org (Postfix) with ESMTP id AF4FD37B719; Sun, 4 Mar 2001 13:31:10 -0800 (PST) (envelope-from des@ofug.org) Received: (from des@localhost) by flood.ping.uio.no (8.9.3/8.9.3) id WAA97185; Sun, 4 Mar 2001 22:31:08 +0100 (CET) (envelope-from des@ofug.org) X-URL: http://www.ofug.org/~des/ X-Disclaimer: The views expressed in this message do not necessarily coincide with those of any organisation or company with which I am or have been affiliated. To: Adrian Chadd Cc: Kris Kennaway , Warner Losh , Clive Lin , cvs-committers@FreeBSD.org, cvs-all@FreeBSD.org Subject: Re: cvs commit: CVSROOT modules 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> From: Dag-Erling Smorgrav Date: 04 Mar 2001 22:31:08 +0100 In-Reply-To: Adrian Chadd's message of "Sun, 4 Mar 2001 18:54:08 +0100" Message-ID: Lines: 21 User-Agent: Gnus/5.0802 (Gnus v5.8.2) Emacs/20.4 MIME-Version: 1.0 Content-Type: text/plain; charset=iso-8859-1 Content-Transfer-Encoding: 8bit Sender: owner-cvs-all@FreeBSD.ORG Precedence: bulk X-Loop: FreeBSD.ORG 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_) DES -- Dag-Erling Smorgrav - des@ofug.org To Unsubscribe: send mail to majordomo@FreeBSD.org with "unsubscribe cvs-all" in the body of the message