From owner-freebsd-chat Mon May 27 1:42:26 2002 Delivered-To: freebsd-chat@freebsd.org Received: from oxmail.ox.ac.uk (oxmail4.ox.ac.uk [163.1.2.33]) by hub.freebsd.org (Postfix) with ESMTP id 642FE37B404 for ; Mon, 27 May 2002 01:42:22 -0700 (PDT) Received: from greid.oriel.ox.ac.uk ([163.1.146.151] helo=sobek.lan) by oxmail.ox.ac.uk with esmtp (Exim 3.36 #1) id 17CG56-0000hg-04; Mon, 27 May 2002 09:42:20 +0100 Received: (from greid@localhost) by sobek.lan (8.11.6/8.11.6) id g4R8gJZ53235; Mon, 27 May 2002 09:42:19 +0100 (BST) (envelope-from george.reid@oriel.ox.ac.uk) X-Authentication-Warning: sobek.lan: greid set sender to george.reid@oriel.ox.ac.uk using -f Date: Mon, 27 May 2002 09:42:19 +0100 From: George Reid To: Terry Lambert Cc: pgreen , Rahul Siddharthan , chat@FreeBSD.ORG Subject: Re: Language in danger: Language loss Message-ID: <20020527094219.A53169@FreeBSD.org> References: <3CF17486.F06F3E6A@mindspring.com> <20020527005647.A50028@FreeBSD.org> <3CF1CD8C.C3262181@mindspring.com> Mime-Version: 1.0 Content-Type: text/plain; charset=us-ascii Content-Disposition: inline User-Agent: Mutt/1.2.5.1i In-Reply-To: <3CF1CD8C.C3262181@mindspring.com>; from tlambert2@mindspring.com on Sun, May 26, 2002 at 11:09:16PM -0700 Sender: owner-freebsd-chat@FreeBSD.ORG Precedence: bulk List-ID: List-Archive: (Web Archive) List-Help: (List Instructions) List-Subscribe: List-Unsubscribe: X-Loop: FreeBSD.org 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