From owner-freebsd-chat Mon May 27 2:26:51 2002 Delivered-To: freebsd-chat@freebsd.org Received: from nef.ens.fr (nef.ens.fr [129.199.96.32]) by hub.freebsd.org (Postfix) with ESMTP id EE4C637B404 for ; Mon, 27 May 2002 02:26:47 -0700 (PDT) Received: from corto.lpt.ens.fr (corto.lpt.ens.fr [129.199.122.2]) by nef.ens.fr (8.10.1/1.01.28121999) with ESMTP id g4R9Qkp27177 ; Mon, 27 May 2002 11:26:46 +0200 (CEST) Received: from (rsidd@localhost) by corto.lpt.ens.fr (8.9.3/jtpda-5.3.1) id LAA74532 ; Mon, 27 May 2002 11:26:45 +0200 (CEST) Date: Mon, 27 May 2002 11:26:44 +0200 From: Rahul Siddharthan To: George Reid Cc: Terry Lambert , pgreen , Rahul Siddharthan , chat@FreeBSD.ORG Subject: Re: Language in danger: Language loss Message-ID: <20020527112644.F71216@lpt.ens.fr> References: <3CF17486.F06F3E6A@mindspring.com> <20020527005647.A50028@FreeBSD.org> <3CF1CD8C.C3262181@mindspring.com> <20020527094219.A53169@FreeBSD.org> 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: <20020527094219.A53169@FreeBSD.org>; from george.reid@oriel.oxford.ac.uk on Mon, May 27, 2002 at 09:42:19AM +0100 X-Operating-System: FreeBSD 3.4-STABLE i386 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 George Reid said on May 27, 2002 at 09:42:19: > 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. And if you *couldn't* prove Gödel's theorem, it would be Gödel's conjecture or Gödel's hypothesis. But in fact Gödel himself supplied a proof. That's what made it such a significant development. Some "theorems" like Fermat's Last Theorem shouldn't have been called theorems at all, until they were proved. Even today only a handful of people can claim to understand Wiles' proof of Fermat's last theorem. But just about every mathematician and computer scientist understands Gödel's theorem, its original proof, and the way it fits in with later developments such as algorithmic information theory. Some people would say that today Gödel's theorem is rather obvious. See for instance http://www.cs.auckland.ac.nz/CDMTCS/chaitin/georgia.html - Rahul To Unsubscribe: send mail to majordomo@FreeBSD.org with "unsubscribe freebsd-chat" in the body of the message