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>