From owner-freebsd-chat  Mon May 27 10:26:27 2002
Delivered-To: freebsd-chat@freebsd.org
Received: from goose.prod.itd.earthlink.net (goose.mail.pas.earthlink.net [207.217.120.18])
	by hub.freebsd.org (Postfix) with ESMTP id 0DAE037B404
	for <chat@freebsd.org>; Mon, 27 May 2002 10:26:23 -0700 (PDT)
Received: from pool0200.cvx22-bradley.dialup.earthlink.net ([209.179.198.200] helo=mindspring.com)
	by goose.prod.itd.earthlink.net with esmtp (Exim 3.33 #2)
	id 17COG6-0003tO-00; Mon, 27 May 2002 10:26:14 -0700
Message-ID: <3CF26C11.BB49C671@mindspring.com>
Date: Mon, 27 May 2002 10:25:37 -0700
From: Terry Lambert <tlambert2@mindspring.com>
X-Mailer: Mozilla 4.7 [en]C-CCK-MCD {Sony}  (Win98; U)
X-Accept-Language: en
MIME-Version: 1.0
To: Rahul Siddharthan <rsidd@online.fr>
Cc: George Reid <george.reid@oriel.oxford.ac.uk>,
	pgreen <polytarp@m-net.arbornet.org>, chat@FreeBSD.ORG
Subject: Re: Language in danger: Language loss
References: <Pine.BSF.4.21.0205261919370.49175-100000@m-net.arbornet.org> <3CF17486.F06F3E6A@mindspring.com> <20020527005647.A50028@FreeBSD.org> <3CF1CD8C.C3262181@mindspring.com> <20020527094219.A53169@FreeBSD.org> <20020527112644.F71216@lpt.ens.fr>
Content-Type: text/plain; charset=iso-8859-1
Content-Transfer-Encoding: quoted-printable
Sender: owner-freebsd-chat@FreeBSD.ORG
Precedence: bulk
List-ID: <freebsd-chat.FreeBSD.ORG>
List-Archive: <http://docs.freebsd.org/mail/> (Web Archive)
List-Help: <mailto:majordomo@FreeBSD.ORG?subject=help> (List Instructions)
List-Subscribe: <mailto:majordomo@FreeBSD.ORG?subject=subscribe%20freebsd-chat>
List-Unsubscribe: <mailto:majordomo@FreeBSD.ORG?subject=unsubscribe%20freebsd-chat>
X-Loop: FreeBSD.org

Rahul Siddharthan wrote:
> 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=F6del's theorem, its original proof, and the way it fits in with late=
r
> developments such as algorithmic information theory.  Some people
> would say that today G=F6del's theorem is rather obvious.  See for
> instance
> http://www.cs.auckland.ac.nz/CDMTCS/chaitin/georgia.html

The proof by Wiles also proved Taniyama-Shimura, which was, at
least algorithmically, more important.  If you look at the
second edition Kunth volumes, there are 4 or 5 "new" algorithms,
now that it's been "proven".

8-).

-- Terry

To Unsubscribe: send mail to majordomo@FreeBSD.org
with "unsubscribe freebsd-chat" in the body of the message