Date: Mon, 27 May 2002 09:42:19 +0100 From: George Reid <george.reid@oriel.oxford.ac.uk> To: Terry Lambert <tlambert2@mindspring.com> Cc: pgreen <polytarp@m-net.arbornet.org>, Rahul Siddharthan <rsidd@online.fr>, chat@FreeBSD.ORG Subject: Re: Language in danger: Language loss Message-ID: <20020527094219.A53169@FreeBSD.org> In-Reply-To: <3CF1CD8C.C3262181@mindspring.com>; from tlambert2@mindspring.com on Sun, May 26, 2002 at 11:09:16PM -0700 References: <Pine.BSF.4.21.0205261919370.49175-100000@m-net.arbornet.org> <3CF17486.F06F3E6A@mindspring.com> <20020527005647.A50028@FreeBSD.org> <3CF1CD8C.C3262181@mindspring.com>
next in thread | previous in thread | raw e-mail | index | archive | help
On Sun, May 26, 2002 at 11:09:16PM -0700, Terry Lambert wrote: > If you could provide a proof for Goedel's Theorem, it wouldn't > be "Goedel's Theorem", it would be "Goedel's Law". I can provide you with proofs for any number of theorems, none of which are generally referred to as "laws". However, I have more important things to do than quibble over semantics. -- George C A Reid Tel: (08701) 200870 Ext. 26654 WWW: http://people.FreeBSD.org/~greid/ Mob: (07740) 197460 FreeBSD Committer/Developer greid@FreeBSD.org Oriel College, Oxford University george.reid@oriel.ox.ac.uk To Unsubscribe: send mail to majordomo@FreeBSD.org with "unsubscribe freebsd-chat" in the body of the message
Want to link to this message? Use this URL: <https://mail-archive.FreeBSD.org/cgi/mid.cgi?20020527094219.A53169>