Skip site navigation (1)Skip section navigation (2)
Date:      Mon, 27 May 2002 10:25:37 -0700
From:      Terry Lambert <tlambert2@mindspring.com>
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
Message-ID:  <3CF26C11.BB49C671@mindspring.com>
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>

next in thread | previous in thread | raw e-mail | index | archive | help
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




Want to link to this message? Use this URL: <https://mail-archive.FreeBSD.org/cgi/mid.cgi?3CF26C11.BB49C671>