Date: Mon, 27 May 2002 17:56:13 -0700 From: David Schultz <dschultz@uclink.Berkeley.EDU> To: "Greg 'groggy' Lehey" <grog@FreeBSD.ORG> Cc: Giorgos Keramidas <keramida@FreeBSD.ORG>, chat@FreeBSD.ORG Subject: Re: Language in danger: Language loss Message-ID: <20020527175613.A1214@HAL9000.wox.org> In-Reply-To: <20020528095208.A16567@wantadilla.lemis.com>; from grog@FreeBSD.ORG on Tue, May 28, 2002 at 09:52:08AM %2B0930 References: <Pine.BSF.4.21.0205261919370.49175-100000@m-net.arbornet.org> <3CF17486.F06F3E6A@mindspring.com> <20020527005647.A50028@FreeBSD.org> <3CF1CD8C.C3262181@mindspring.com> <20020527014353.B1951@HAL9000.wox.org> <20020528091410.G29491@wantadilla.lemis.com> <20020528001001.GA20175@hades.hell.gr> <20020528095208.A16567@wantadilla.lemis.com>
next in thread | previous in thread | raw e-mail | index | archive | help
Thus spake Greg 'groggy' Lehey <grog@FreeBSD.ORG>: > On Tuesday, 28 May 2002 at 3:10:02 +0300, Giorgos Keramidas wrote: > > On 2002-05-28 09:14, Greg 'groggy' Lehey wrote: > >> On Monday, 27 May 2002 at 1:43:53 -0700, David Schultz wrote: > >>>> Feel free to provide the counter example originally requested. It > >>>> would be amusing to see someone find a way to discredit Goedel's > >>>> Theorem on a "-chat" mailing list. > >>> > >>> Eh? What's wrong with Godel's proof for Godel's Theorem? > >> > >> Who's Godel? > > > > Instead of trying to duplicate the wealth of information that the > > Internet has already, here's a few references: > > > > Kurt Goedel was a mathematician. > > Ah, you mean Gödel, not Godel. Yes. I don't use umlauts often enough outside of TeX to bother to figure out an easy way to enter them on my keyboard. Besides, extended ASCII characters get mangled somewhere on the way from mutt to Emacs, and the last time I tried to debug a misfeature in Emacs it took me two days. Next time I need to refer to the proof, I'll just cite Turing's version of it instead, even though that came a few years later. 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?20020527175613.A1214>