Date: 04 Mar 2001 22:31:08 +0100 From: Dag-Erling Smorgrav <des@ofug.org> To: Adrian Chadd <adrian@FreeBSD.org> Cc: Kris Kennaway <kris@obsecurity.org>, Warner Losh <imp@harmony.village.org>, Clive Lin <clive@CirX.ORG>, cvs-committers@FreeBSD.org, cvs-all@FreeBSD.org Subject: Re: cvs commit: CVSROOT modules Message-ID: <xzpbsrh5ihv.fsf@flood.ping.uio.no> In-Reply-To: Adrian Chadd's message of "Sun, 4 Mar 2001 18:54:08 %2B0100" 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> <20010304185408.A2288@roaming.cacheboy.net>
next in thread | previous in thread | raw e-mail | index | archive | help
Adrian Chadd <adrian@FreeBSD.org> 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
Want to link to this message? Use this URL: <https://mail-archive.FreeBSD.org/cgi/mid.cgi?xzpbsrh5ihv.fsf>